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
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540252368
3540252363
- Dimensions
-
24 cm
- Extent
-
XI, 562 S.
- Language
-
Englisch
- Notes
-
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 3452 : Lecture notes in artificial intelligence
- Classification
-
Informatik
Mathematik
- Keyword
-
Logische Programmierung
Automatisches Beweisverfahren
Programmierlogik
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York
- (who)
-
Springer
- (when)
-
2005
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:47 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Baader, Franz
- LPAR (11 : 2005 : Montevideo)
- Springer
Time of origin
- 2005
Other Objects (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
Verification of Golog Programs over Description Logic Actions
Exploring finite models in the Description Logic ELgfp
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
Role-Value Maps and General Concept Inclusions in the Description Logic FL₀
Matching with respect to general concept inclusions in the Description Logic EL
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
Verification of Golog Programs over Description Logic Actions
Exploring finite models in the Description Logic ELgfp
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
Role-Value Maps and General Concept Inclusions in the Description Logic FL₀
Matching with respect to general concept inclusions in the Description Logic EL
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
Verification of Golog Programs over Description Logic Actions
Exploring finite models in the Description Logic ELgfp
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
Role-Value Maps and General Concept Inclusions in the Description Logic FL₀