Nonmonotonic reasoning

Saved in:
Bibliographic Details
Main Author Antoniou, G.
Other Authors Williams, M. A.
Format eBook
LanguageEnglish
Published Cambridge, Mass. : MIT Press, c1997.
SeriesArtificial intelligence (Cambridge, Mass.)
Subjects
Online AccessFull text
ISBN9780262267199
Physical Description1 online zdroj (xii, 285 p.) : ill.

Cover

Table of Contents:
  • 1. Introduction
  • 2. Predicate Logic
  • 3. Default Reasoning
  • 4. Operational Semantics of Default Logic
  • 5. Normal Default Theories
  • 6. Semi-normal Default Theories
  • 7. Alternative Approaches
  • 8. Priorities Among Defaults
  • 9. Autoepistemic Logic
  • 10. Computing Expansions of AE-Theories
  • 11. Embedding Default Logic into AE-Logic
  • 12. Circumscription
  • 13. Nonmonotonic Inference Relations
  • 14. Belief Revision
  • 15. Implementing Belief Revision
  • 16. Interconnections
  • 17. The System Theorist
  • 18. Stable Model Semantics of Logic Programs
  • 19. Well-Founded Semantics
  • 20. Future Directions of Nonmonotonic Reasoning Research.