Asserting Lemmas in the Stable Model Semantics.
Stefania CostantiniGaetano Aurelio LanzaroneGiuseppe MaglioccoPublished in: JICSLP (1996)
Keyphrases
- stable models
- logic programs
- normal logic programs
- logic programming
- fixpoint
- logic programs with negation
- stable model semantics
- situation calculus
- theorem proving
- semantics for logic programs
- theorem prover
- answer sets
- deductive databases
- autoepistemic logic
- answer set programming
- default reasoning
- minimal models
- nonmonotonic reasoning
- default logic
- classical first order logic
- datalog programs
- knowledge representation and reasoning
- databases
- propositional logic
- knowledge base
- belief revision
- knowledge representation
- disjunctive datalog
- artificial intelligence