This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997.
The volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of invited presentations. The papers included report state-of-the-art research and development in the interdisciplinary area of logic programming and logical foundations of artificial intelligence.
Author(s): Joxan Jaffar, Bing Liu, Roland H. C. Yap (auth.), Jürgen Dix, Ulrich Furbach, Anil Nerode (eds.)
Series: Lecture Notes in Computer Science 1265 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1997
Language: English
Pages: 461
Tags: Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Programming Techniques
Forward and backward chaining in constraint programming....Pages 1-1
Strong and weak constraints in disjunctive datalog....Pages 2-17
Nonmonotonic reasoning with quantified boolean constraints....Pages 18-39
Improving the alternating fixpoint: The transformation approach....Pages 40-59
Is non-monotonic reasoning always harder....Pages 60-75
Complexity of only knowing: The prepositional case....Pages 76-91
Affordable classes of normal logic programs....Pages 92-111
Automated reasoning with nonmonotonic logics....Pages 112-114
Simulations between programs as cellular automata....Pages 115-131
Separating disbeliefs from beliefs in autoepistemic reasoning....Pages 132-151
Power defaults (preliminary report)....Pages 152-169
A study of Przymusinski's static semantics....Pages 170-184
Resolution for skeptical stable semantics....Pages 185-197
Computing non-ground representations of stable models....Pages 198-217
Industry needs for integrated information services....Pages 218-219
Computing, solving, proving: A report on the Theorema project....Pages 220-221
Towards a systematic approach to representing knowledge in declarative logic programming....Pages 222-223
A paraconsistent semantics with contradiction support detection....Pages 224-243
On conservative enforced updates....Pages 244-257
A general framework for revising nonmonotonic theories....Pages 258-272
Composing general logic programs....Pages 273-288
Modular logic programming and generalized quantifiers....Pages 289-308
Programs with universally quantified embedded implications....Pages 309-323
Generalized query answering in disjunctive deductive databases: Procedural and nonmonotonic aspects....Pages 324-340
DisLoP: Towards a disjunctive logic programming system....Pages 341-352
REVISE: Logic programming and diagnosis....Pages 353-362
A deductive system for non-monotonic reasoning....Pages 363-374
The deductive database system LOLA....Pages 375-386
ACLP: Flexible solutions to complex problems....Pages 387-398
Nonmonotonic reasoning in FLORID....Pages 399-409
GLUE: Opening the world to theorem provers....Pages 410-419
Smodels — an implementation of the stable model and well-founded semantics for normal logic programs....Pages 420-429
XSB: A system for efficiently computing well-founded semantics....Pages 430-440
An implementation platform for query-answering in default logics: The XRay system, its implementation and evaluation....Pages 441-452
