Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents.
Robert A. KowalskiFariba SadriPublished in: RR (2009)
Keyphrases
- abductive logic programming
- production system
- logic programs
- logic programming
- answer set semantics
- answer sets
- multistage
- answer set programming
- deductive databases
- fixpoint
- nonmonotonic reasoning
- stable models
- expert systems
- reasoning tasks
- knowledge representation and reasoning
- inductive logic programming
- probabilistic reasoning
- knowledge representation
- default logic
- knowledge base
- programming language
- model theoretic
- multi agent systems
- search algorithm