Extending and implementing the stable model semantics.
Patrik SimonsIlkka NiemeläTimo SoininenPublished in: Artif. Intell. (2002)
Keyphrases
- logic programs
- logic programming
- stable models
- normal logic programs
- fixpoint
- disjunctive datalog
- expressive power
- situation calculus
- stable model semantics
- logic programs with negation
- answer set programming
- autoepistemic logic
- semantics for logic programs
- answer sets
- deductive databases
- nonmonotonic reasoning
- programming language
- magic sets
- classical logic
- minimal models
- datalog programs
- knowledge representation and reasoning
- horn clauses
- default logic
- classical first order logic
- default reasoning
- artificial intelligence
- inductive logic programming
- query answering
- distributed databases
- high level