Epistemic Foundation of the Stable Model Semantics
Yann LoyerUmberto StracciaPublished in: CoRR (2004)
Keyphrases
- logic programs
- logic programming
- stable models
- normal logic programs
- fixpoint
- situation calculus
- stable model semantics
- logic programs with negation
- answer set programming
- semantics for logic programs
- minimal models
- deductive databases
- answer sets
- autoepistemic logic
- nonmonotonic reasoning
- programming language
- classical first order logic
- knowledge representation
- default reasoning
- classical logic
- database
- propositional logic
- modal logic
- databases