On Argumentation-based Paraconsistent Logics.
Leila AmgoudPublished in: Computational Models of Rationality (2016)
Keyphrases
- inference rules
- valued semantics
- inconsistent knowledge
- truth values
- modal logic
- valued logic
- classical logic
- expressive power
- default logic
- formal representation
- logic programming
- consistent query answering
- proof theory
- knowledge base
- learning algorithm
- database
- propositional dynamic logic
- propositional calculus
- databases
- expert systems
- nonmonotonic logics
- conditional logic
- logical framework
- neural network
- first order logic
- search algorithm
- proof procedures
- database systems
- decision trees
- computer vision
- real world