-stable models semantics.
José Luis CarballidoMauricio OsorioJosé ArrazolaPublished in: J. Appl. Log. (2010)
Keyphrases
- stable models
- logic programs
- logic programming
- stable model semantics
- normal logic programs
- answer set programming
- general theory
- fixpoint
- deductive databases
- semantics for logic programs
- strong equivalence
- derivation rules
- loop formulas
- declarative semantics
- valued logic
- knowledge base
- fixed point semantics
- answer set semantics
- formal semantics
- answer sets
- background knowledge
- semantic information
- high level