|
" Logic programming and nonmonotonic reasoning. "
LPNMR '97 (4th : 1997 : Dagstuhl Castle, Germany)
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
730458
|
| Doc. No
|
:
|
b550221
|
| Main Entry
|
:
|
LPNMR '97 (4th : 1997 : Dagstuhl Castle, Germany)
|
| Title & Author
|
:
|
Logic programming and nonmonotonic reasoning.\ LPNMR '97 (4th : 1997 : Dagstuhl Castle, Germany)
|
| Publication Statement
|
:
|
Berlin, Germany: Springer., 1997
|
| Series Statement
|
:
|
Lecture notes in computer science., Lecture notes in artificial intelligence.; Lecture notes in computer science, 1265.
|
| Page. NO
|
:
|
452 pages
|
| ISBN
|
:
|
3540632557
|
|
|
:
|
: 9783540632559
|
| Contents
|
:
|
Forward and backward chaining in constraint programming.- Strong and weak constraints in disjunctive datalog.- Nonmonotonic reasoning with quantified boolean constraints.- Improving the alternating fixpoint: The transformation approach.- Is non-monotonic reasoning always harder.- Complexity of only knowing: The prepositional case.- Affordable classes of normal logic programs.- Automated reasoning with nonmonotonic logics.- Simulations between programs as cellular automata.- Separating disbeliefs from beliefs in autoepistemic reasoning.- Power defaults (preliminary report).- A study of Przymusinski's static semantics.- Resolution for skeptical stable semantics.- Computing non-ground representations of stable models.- Industry needs for integrated information services.- Computing, solving, proving: A report on the Theorema project.- Towards a systematic approach to representing knowledge in declarative logic programming.- A paraconsistent semantics with contradiction support detection.- On conservative enforced updates.- A general framework for revising nonmonotonic theories.- Composing general logic programs.- Modular logic programming and generalized quantifiers.- Programs with universally quantified embedded implications.- Generalized query answering in disjunctive deductive databases: Procedural and nonmonotonic aspects.- DisLoP: Towards a disjunctive logic programming system.- REVISE: Logic programming and diagnosis.- A deductive system for non-monotonic reasoning.- The deductive database system LOLA.- ACLP: Flexible solutions to complex problems.- Nonmonotonic reasoning in FLORID.- GLUE: Opening the world to theorem provers.- Smodels - an implementation of the stable model and well-founded semantics for normal logic programs.- XSB: A system for efficiently computing well-founded semantics.- An implementation platform for query-answering in default logics: The XRay system, its implementation and evaluation.
|
| Added Entry
|
:
|
Anil Nerode
|
|
|
:
|
J (Juergen) Dix
|
|
|
:
|
LPNMR '97 (4th : 1997 : Dagstuhl Castle, Germany)
|
|
|
:
|
Ulrich Fuhrbach
|
| |