Self-Extensional Three-Valued Paraconsistent Logics.
Arnon AvronPublished in: Logica Universalis (2017)
Keyphrases
- valued semantics
- dl lite
- inference rules
- description logics
- query answering
- default logic
- consistent query answering
- first order logic
- data complexity
- expressive power
- modal logic
- nonmonotonic logics
- truth values
- query rewriting
- proof procedures
- computational complexity
- knowledge base
- learning algorithm
- conjunctive queries
- computational properties
- logical implication
- inconsistent knowledge
- classical logic
- default theories
- data exchange
- integrity constraints
- valued logic
- object oriented
- bayesian networks
- real time