Maximally Paraconsistent Three-Valued Logics.
Ofer ArieliArnon AvronAnna ZamanskyPublished in: KR (2010)
Keyphrases
- valued semantics
- inference rules
- consistent query answering
- default logic
- nonmonotonic logics
- modal logic
- logic programming
- truth values
- first order logic
- logical implication
- default reasoning
- dl lite
- database
- classical logic
- default theories
- knowledge based systems
- epistemic logic
- information systems
- integrity constraints
- database systems
- real world
- proof procedures
- databases