Paraconsistent Orbits of Logics.
Edelcio G. de SouzaAlexandre Costa-LeiteDiogo H. B. DiasPublished in: Logica Universalis (2021)
Keyphrases
- inference rules
- valued semantics
- inconsistent knowledge
- truth values
- dynamical systems
- classical logic
- modal logic
- expressive power
- valued logic
- logic programming
- default logic
- consistent query answering
- artificial intelligence
- first order logic
- proof theory
- nonmonotonic logics
- conditional logic
- knowledge base
- data mining
- machine learning
- proof procedures
- epistemic logic
- decision procedures
- possibilistic logic
- decision trees
- fixpoint
- real time
- database systems
- probabilistic model