Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs.
Pedro CabalarSergei P. OdintsovDavid PearcePublished in: IBERAMIA-SBIA (2006)
Keyphrases
- semantics for logic programs
- logic programs
- logic programming
- stable models
- open world
- fixpoint
- answer sets
- normal logic programs
- normal form
- minimal models
- propositional logic
- fixed point semantics
- answer set programming
- incomplete information
- integrity constraints
- knowledge representation
- expert systems
- machine learning
- inductive logic programming
- answer set semantics
- stable model semantics
- closed world
- database systems
- high level