+612 9045 4394
Logic Programming and Nonmonotonic Reasoning : Fourth International Conference, Lpnmr'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings - Ulrich Furbach

Logic Programming and Nonmonotonic Reasoning

Fourth International Conference, Lpnmr'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings

By: Ulrich Furbach (Editor), Anil Nerode (Editor)

Paperback Published: 2nd July 1997
ISBN: 9783540632559
Number Of Pages: 461

Share This Book:


or 4 easy payments of $39.60 with Learn more
Ships in 5 to 9 business days

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.

Forward and backward chaining in constraint programmingp. 1
Strong and weak constraints in disjunctive datalogp. 2
Non-monotonic reasoning with quantified boolean constraintsp. 18
Improving the alternating fixpoint: The transformation approachp. 40
Is non-monotonic reasoning always harder?p. 60
Complexity of only knowing: The propositional casep. 76
Affordable classes of normal logic programsp. 92
Automated reasoning with non-monotonic logicsp. 112
Simulations between programs as cellular automatap. 115
Separating disbeliefs from beliefs in autoepistemic reasoningp. 132
Power defaultsp. 152
A study of Przymusinski's static semanticsp. 170
Resolution for skeptical stable semanticsp. 185
Computing non-ground representations of stable modelsp. 198
Industry needs for integrated information servicesp. 218
Computing, solving, proving: A report of the Theorema projectp. 220
Towards a systematic approach to representing knowledge in declarative logic programmingp. 222
A paraconsistent semantics with contradiction support detectionp. 224
On conservative enforced updatesp. 244
A general framework for revising non-monotonic theoriesp. 258
Composing general logic programsp. 273
Modular logic programming and generalized quantifiersp. 289
Programs with universally quantified embedded implicationsp. 309
Generalized query answering in disjunctive deductive databases: Procedural and non-monotonic aspectsp. 324
DisLoP: Towards a disjunctive logic programming systemp. 341
REVISE: Logic programming and diagnosisp. 353
A deductive system for non-monotonic reasoningp. 363
The deductive database system LOLAp. 375
ACLP: Flexible solutions to complex problemsp. 387
Non-monotonic reasoning in FLORIDp. 399
GLUE: Opening the world to theorem proversp. 410
Smodels - An implementation of the stable model and well-founded semantics for normal LPp. 420
XSB: A system for efficiently computing WFSp. 430
An implementation platform for query-answering in default logics: The X-Ray system, its implementation and evaluationp. 441
Author Indexp. 453
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540632559
ISBN-10: 3540632557
Series: Lecture Notes in Computer Science / Lecture Notes in Artific
Audience: General
Format: Paperback
Language: English
Number Of Pages: 461
Published: 2nd July 1997
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.41
Weight (kg): 0.65