Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions.
Fabrizio RiguzziTerrance SwiftPublished in: ICLP (Technical Communications) (2010)
Keyphrases
- logic programs
- logic programming
- reasoning tasks
- refinement operators
- knowledge representation and reasoning
- computational properties
- abductive logic programming
- answer set programming
- reasoning about actions
- answer sets
- stable models
- fixpoint
- probabilistic reasoning
- abductive reasoning
- description logics
- knowledge representation
- logic programming language
- nonmonotonic reasoning
- knowledge base
- deductive databases
- normal logic programs
- inductive logic programming
- answer set semantics
- prolog programs
- automated reasoning
- partial deduction
- background knowledge
- loop formulas
- classical logic
- semantics for logic programs
- strong equivalence
- stable model semantics
- default reasoning
- polynomial hierarchy
- functional programs
- np complete
- ilp systems
- constraint logic programming
- semantics of logic programs