The Extended Stable Models of Contradiction Removal Semantics.
Luís Moniz PereiraJosé Júlio AlferesJoaquim Nunes AparícioPublished in: EPIA (1991)
Keyphrases
- stable models
- derivation rules
- logic programs
- logic programming
- stable model semantics
- normal logic programs
- general theory
- answer set programming
- fixpoint
- deductive databases
- semantics for logic programs
- strong equivalence
- answer set semantics
- databases
- answer sets
- loop formulas
- data model
- machine learning
- artificial intelligence
- model theoretic
- background knowledge
- knowledge representation
- nonmonotonic reasoning
- database
- conceptual model