Konferenzschrift | Kongress
Logic for programming, artificial intelligence, and reasoning : 11th international conference ; proceedings
This book constitutes the refereed proceedings of the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2004, held in Montevideo, Uruguay in March 2005. The 33 revised full papers presented together with abstracts of 4 invited papers were carefully reviewed and selected from 77 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, fuzzy logic, linear logic, multi-modal logic, proof theory, formal verification, protocol verification, constraint logic programming, programming calculi, theorem proving, etc
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540252368
3540252363
- Maße
-
24 cm
- Umfang
-
XI, 562 S.
- Sprache
-
Englisch
- Anmerkungen
-
Literaturangaben
- Erschienen in
-
Lecture notes in computer science ; Vol. 3452 : Lecture notes in artificial intelligence
- Klassifikation
-
Informatik
Mathematik
- Schlagwort
-
Logische Programmierung
Automatisches Beweisverfahren
Programmierlogik
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York
- (wer)
-
Springer
- (wann)
-
2005
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:47 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Konferenzschrift
- Kongress
Beteiligte
- Baader, Franz
- LPAR (11 : 2005 : Montevideo)
- Springer
Entstanden
- 2005
Ähnliche Objekte (12)
Terminological cycles in a description logic with existential restrictions
The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
Runtime Verification Using a Temporal Description Logic Revisited
Exploring finite models in the Description Logic ELgfp
Verification of Golog Programs over Description Logic Actions
How to prefer more specific defaults in terminological default logic
Extending the Description Logic τEL(deg) with Acyclic TBoxes
Unification in a Description Logic with Transitive Closure of Roles
Matching with respect to general concept inclusions in the Description Logic EL
Role-Value Maps and General Concept Inclusions in the Description Logic FL₀
Terminological cycles in a description logic with existential restrictions
The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
Runtime Verification Using a Temporal Description Logic Revisited
Exploring finite models in the Description Logic ELgfp
Verification of Golog Programs over Description Logic Actions
How to prefer more specific defaults in terminological default logic
Extending the Description Logic τEL(deg) with Acyclic TBoxes
Unification in a Description Logic with Transitive Closure of Roles
Matching with respect to general concept inclusions in the Description Logic EL
Role-Value Maps and General Concept Inclusions in the Description Logic FL₀
Terminological cycles in a description logic with existential restrictions
The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
Runtime Verification Using a Temporal Description Logic Revisited
Exploring finite models in the Description Logic ELgfp
Verification of Golog Programs over Description Logic Actions
How to prefer more specific defaults in terminological default logic
Extending the Description Logic τEL(deg) with Acyclic TBoxes
Unification in a Description Logic with Transitive Closure of Roles
Matching with respect to general concept inclusions in the Description Logic EL