Minimal Paradefinite Logics for Reasoning with Incompleteness and Inconsistency.
Ofer ArieliArnon AvronPublished in: FSCD (2016)
Keyphrases
- inconsistent knowledge
- classical logic
- proof theory
- inheritance reasoning
- valued logic
- computational properties
- intuitionistic logic
- knowledge representation formalisms
- proof theoretic
- default reasoning
- inconsistent information
- horn logic
- expressive power
- knowledge base
- reasoning systems
- multi context systems
- knowledge representation
- incomplete information
- reasoning tasks
- modal logic
- model based reasoning
- automated reasoning
- inference rules
- nonmonotonic inference
- valued semantics
- artificial intelligence
- knowledge based systems
- neural network
- spatial reasoning
- propositional logic