Forward Chaining Logic Programming with the ATMS.
Nicholas S. FlannThomas G. DietterichDan R. CorponPublished in: AAAI (1987)
Keyphrases
- logic programming
- forward chaining
- logic programs
- defeasible logic
- logic programming language
- horn clauses
- nonmonotonic reasoning
- knowledge representation and reasoning
- default logic
- answer set programming
- knowledge representation
- planning systems
- knowledge base
- programming language
- theorem proving
- blocks world
- answer sets
- probabilistic reasoning
- inference rules
- inductive logic programming
- constraint logic programming
- general purpose
- dynamic programming