A Deductive System for Existential Least Fixpoint Logic.
Kevin J. ComptonPublished in: J. Log. Comput. (1993)
Keyphrases
- fixpoint
- proof theoretic
- logic programs
- truth values
- horn clauses
- logic programming
- deductive databases
- model theoretic
- proof theory
- logical equivalence
- deductive reasoning
- declarative semantics
- stable models
- semantics of logic programs
- finite state machines
- nonmonotonic reasoning
- object oriented
- default reasoning
- answer sets
- inference rules
- modal logic
- datalog programs
- update rule
- data mining
- general purpose
- semantics for logic programs
- sql queries
- fixpoint semantics
- background knowledge
- artificial intelligence
- np complete
- xml data
- natural deduction
- integrity constraints
- inductive logic programming
- answer set programming