Logic Programming And Nonmonotonic Reasoning

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Forward and backward chaining in constraint programming
3. Altmetric Badge
   Chapter 2 Strong and weak constraints in disjunctive datalog
4. Altmetric Badge
   Chapter 3 Nonmonotonic reasoning with quantified boolean constraints
5. Altmetric Badge
   Chapter 4 Improving the alternating fixpoint: The transformation approach
6. Altmetric Badge
   Chapter 5 Is non-monotonic reasoning always harder
7. Altmetric Badge
   Chapter 6 Complexity of only knowing: The prepositional case
8. Altmetric Badge
   Chapter 7 Affordable classes of normal logic programs
9. Altmetric Badge
   Chapter 8 Automated reasoning with nonmonotonic logics
10. Altmetric Badge
    Chapter 9 Simulations between programs as cellular automata
11. Altmetric Badge
    Chapter 10 Separating disbeliefs from beliefs in autoepistemic reasoning
12. Altmetric Badge
    Chapter 11 Power defaults (preliminary report)
13. Altmetric Badge
    Chapter 12 A study of Przymusinski's static semantics
14. Altmetric Badge
    Chapter 13 Resolution for skeptical stable semantics
15. Altmetric Badge
    Chapter 14 Computing non-ground representations of stable models
16. Altmetric Badge
    Chapter 15 Industry needs for integrated information services
17. Altmetric Badge
    Chapter 16 Computing, solving, proving: A report on the Theorema project
18. Altmetric Badge
    Chapter 17 Towards a systematic approach to representing knowledge in declarative logic programming
19. Altmetric Badge
    Chapter 18 A paraconsistent semantics with contradiction support detection
20. Altmetric Badge
    Chapter 19 On conservative enforced updates
21. Altmetric Badge
    Chapter 20 A general framework for revising nonmonotonic theories
22. Altmetric Badge
    Chapter 21 Composing general logic programs
23. Altmetric Badge
    Chapter 22 Modular logic programming and generalized quantifiers
24. Altmetric Badge
    Chapter 23 Programs with universally quantified embedded implications
25. Altmetric Badge
    Chapter 24 Generalized query answering in disjunctive deductive databases: Procedural and nonmonotonic aspects
26. Altmetric Badge
    Chapter 25 DisLoP: Towards a disjunctive logic programming system
27. Altmetric Badge
    Chapter 26 REVISE: Logic programming and diagnosis
28. Altmetric Badge
    Chapter 27 A deductive system for non-monotonic reasoning
29. Altmetric Badge
    Chapter 28 The deductive database system LOLA
30. Altmetric Badge
    Chapter 29 ACLP: Flexible solutions to complex problems
31. Altmetric Badge
    Chapter 30 Nonmonotonic reasoning in FLORID
32. Altmetric Badge
    Chapter 31 GLUE: Opening the world to theorem provers
33. Altmetric Badge
    Chapter 32 Smodels — an implementation of the stable model and well-founded semantics for normal logic programs
34. Altmetric Badge
    Chapter 33 XSB: A system for efficiently computing well-founded semantics
35. Altmetric Badge
    Chapter 34 An implementation platform for query-answering in default logics: The XRay system, its implementation and evaluation