Clausal Intuitionistic Logic I - Fixed-Point Semantics.
L. Thorne McCartyPublished in: J. Log. Program. (1988)
Keyphrases
- intuitionistic logic
- fixed point semantics
- logic programs
- inductive logic programming
- classical logic
- logic programming
- linear logic
- theorem proving
- natural deduction
- horn clauses
- constraint propagation
- decision procedures
- proof theoretic
- background knowledge
- inference rules
- knowledge compilation
- normal form
- fixpoint
- stable models
- automated reasoning
- database
- reasoning tasks
- constraint logic programming
- first order logic
- expert systems