Implication in three-valued logics of partial information.
Katarina BritzPublished in: South Afr. Comput. J. (2002)
Keyphrases
- partial information
- nonmonotonic logics
- valued semantics
- inference rules
- incomplete information
- logical implication
- modal logic
- expressive power
- functional dependencies
- default logic
- epistemic logic
- nonmonotonic reasoning
- automated reasoning
- propositional logic
- first order logic
- document collections
- description logics
- general purpose
- consistent query answering
- artificial intelligence
- propositional dynamic logic
- proof theory
- classical logic
- deductive databases
- cooperative