Taming Paraconsistent (and Other) Logics: An Algorithmic Approach.
Agata CiabattoniOri LahavLara SpendierAnna ZamanskyPublished in: ACM Trans. Comput. Log. (2014)
Keyphrases
- inference rules
- inconsistent knowledge
- valued semantics
- truth values
- modal logic
- classical logic
- logic programming
- expressive power
- valued logic
- consistent query answering
- default logic
- proof procedures
- proof theory
- epistemic logic
- nonmonotonic logics
- computational properties
- first order logic
- neural network
- possibilistic logic
- belief revision
- knowledge based systems
- higher order
- object oriented
- knowledge base
- computer vision
- intuitionistic logic
- machine learning
- propositional calculus
- data mining