Chart Parsers as Proof Procedures for Fixed-Mode Logic Programs.
David A. RosenbluethPublished in: FGCS (1992)
Keyphrases
- logic programs
- proof procedures
- logic programming
- stable models
- answer sets
- inference rules
- fixpoint
- answer set programming
- background knowledge
- partial deduction
- computational properties
- natural language processing
- proof procedure
- inductive logic programming
- normal logic programs
- artificial intelligence
- nonmonotonic reasoning
- strong equivalence
- model theoretic
- horn clauses
- probability distribution