Negation as failure and intuitionistic three-valued logic.
Jacqueline VauzeillesPublished in: FAIR (1991)
Keyphrases
- classical logic
- logic programming
- linear logic
- predicate logic
- nonmonotonic logics
- logic programs
- cut elimination
- inference rules
- natural deduction
- horn clauses
- logical framework
- truth values
- closed world assumptions
- modal logic
- automated reasoning
- theorem prover
- deductive databases
- fuzzy set theory
- fixed point semantics
- databases
- derivation rules
- fixpoint
- proof theory
- epistemic logic
- defeasible logic
- nonmonotonic reasoning
- default logic
- neural network
- interval valued
- theorem proving
- answer set programming
- failure rate
- deontic logic
- fuzzy sets
- programming language
- semantics for logic programs
- knowledge representation
- knowledge base