This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming.
The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and cross-fertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently attracted much interest.
Author(s): Thomas Eiter, Georg Gottlob, Nicola Leone (auth.), V. Wiktor Marek, Anil Nerode, M. Truszczyński (eds.)
Series: Lecture Notes in Computer Science 928 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1995
Language: English
Pages: 415
Tags: Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Programming Techniques; Mathematical Logic and Foundations
Complexity results for abductive logic programming....Pages 1-14
A terminological interpretation of (abductive) logic programming....Pages 15-28
Abduction over 3-valued extended logic programs....Pages 29-42
On logical constraints in logic programming....Pages 43-56
An operator for composing deductive data bases with theories of constraints....Pages 57-70
Update rules in datalog programs....Pages 71-84
Characterizations of the stable semantics by partial evaluation....Pages 85-98
Game characterizations of logic program properties....Pages 99-112
Computing the well-founded semantics faster....Pages 113-126
Loop checking and the well-founded semantics....Pages 127-142
Annotated revision specification programs....Pages 143-155
Update by means of inference rules....Pages 156-174
A sphere world semantics for default reasoning....Pages 175-188
Revision by communication....Pages 189-202
Hypothetical updates, priority and inconsistency in a logic programming language....Pages 203-216
Situation calculus specifications for event calculus logic programs....Pages 217-230
On the extension of logic programming with negation through uniform proofs....Pages 231-244
Default consequence relations as a logical framework for logic programs....Pages 245-258
Skeptical rational extensions....Pages 259-272
Reasoning with stratified default theories....Pages 273-286
Incremental methods for optimizing partial instantiation....Pages 287-301
A transformation of propositional Prolog programs into classical logic....Pages 302-315
Nonmonotonic inheritance, argumentation and logic programming....Pages 316-329
An abductive framework for extended logic programming....Pages 330-343
Embedding circumscriptive theories in general disjunctive programs....Pages 344-357
Stable classes and operator pairs for disjunctive programs....Pages 358-371
Nonmonotonicity and answer set inference....Pages 372-387
Trans-epistemic semantics for logic programs....Pages 388-400
Computing the acceptability semantics....Pages 401-415
