On the relationship between circumscription and well-founded semantics of logic programs.
Jianhua ChenPublished in: Methods Log. Comput. Sci. (1994)
Keyphrases
- semantics of logic programs
- answer sets
- logic programs
- deductive databases
- fixpoint
- logic programming
- answer set programming
- truth values
- normal logic programs
- answer set semantics
- general purpose
- inductive logic programming
- databases
- stable model semantics
- information systems
- data management
- query evaluation
- temporal logic
- relational databases
- nonmonotonic reasoning