Negation as Failure through Abduction: Reasoning about Termination.
Paolo MancarellaDino PedreschiSalvatore RuggieriPublished in: Computational Logic: Logic Programming and Beyond (2002)
Keyphrases
- logic programming
- logic programs
- background knowledge
- probabilistic knowledge
- abductive logic programming
- formal theory
- abductive reasoning
- spatial reasoning
- deductive databases
- qualitative reasoning
- nonmonotonic reasoning
- root cause
- failure detection
- answer set programming
- belief revision
- knowledge representation
- term rewriting
- stable models
- predicate logic
- default logic
- active rules
- neural network
- fixpoint
- rewrite systems
- compositional semantics
- term rewrite systems