Revised Stable Models - A Semantics for Logic Programs.
Luís Moniz PereiraAlexandre Miguel PintoPublished in: EPIA (2005)
Keyphrases
- stable models
- semantics for logic programs
- logic programs
- logic programming
- normal logic programs
- answer set programming
- fixpoint
- deductive databases
- stable model semantics
- answer sets
- open world
- propositional logic
- knowledge base
- normal form
- knowledge representation and reasoning
- model theoretic
- knowledge representation
- relational databases