Programming in Three-valued Logic.
Jean-Paul DelahayeV. ThibauPublished in: Theor. Comput. Sci. (1991)
Keyphrases
- nonmonotonic logics
- programming language
- epistemic logic
- modal logic
- predicate logic
- classical logic
- automated reasoning
- valued semantics
- logic programming
- probabilistic logic
- programming course
- programming environment
- computer programming
- inference rules
- proof theory
- data sets
- object oriented programming
- development environment
- defeasible logic
- set theory
- nonmonotonic reasoning
- propositional logic
- programs written
- database systems