Extended Well-Founded Model Semantics for General Logic Programs.
Yong HuLi-Yan YuanPublished in: ICLP (1991)
Keyphrases
- general logic programs
- deductive databases
- fixpoint semantics
- logic programs
- logic programming
- fixpoint
- model theoretic
- autoepistemic logic
- normal logic programs
- stable models
- strong equivalence
- answer set programming
- declarative semantics
- causal theories
- answer set semantics
- formal semantics
- datalog programs
- stable model semantics
- argumentation frameworks
- integrity constraints
- logic programming language
- operational semantics
- answer sets