Knowledge representation, reasoning and declarative problem solving [E-Book] / Chitta Baral.
Baral, Chitta, (author)
Cambridge : Cambridge University Press, 2003
1 online resource (xiv, 530 pages)
englisch
9780521147750
9780521818025
9780511543357
Full Text
Table of Contents:
  • 1.
  • Declarative programming in AnsProlog: introduction and preliminaries
  • 2.
  • Simple modules for declarative programming with answer sets
  • 3.
  • Principles and properties of declarative programming with answer sets
  • 4.
  • Declarative problem solving and reasoning in AnsProlog
  • 5.
  • Reasoning about actions and planning in AnsProlog
  • 6.
  • Complexity, expressiveness, and other properties of AnsProlog programs
  • 7.
  • Answer set computing algorithms
  • 8.
  • Query answering and answer set computing systems
  • 9.
  • Further extensions of and alternatives to AnsProlog
  • App. A.
  • Ordinals, lattices, and fixpoint theory
  • App. B.
  • Turing machines.