SLDNF Resolution with Non-Safe Rule and Fixpoint Semantics for General Logic Programs.
Susumu YamasakiPublished in: Theor. Comput. Sci. (1996)
Keyphrases
- general logic programs
- fixpoint semantics
- logic programs
- deductive databases
- fixpoint
- model theoretic
- datalog programs
- causal theories
- logic programming
- data complexity
- stable models
- answer set programming
- declarative semantics
- description logics
- special case
- default reasoning
- operational semantics
- query answering
- query evaluation
- data integration