On some many-valued abstract logics and their Epsilon-T-style extensions
Steffen LewitzkaPublished in: CoRR (2012)
Keyphrases
- modal logic
- default logic
- truth values
- knowledge representation formalisms
- propositional dynamic logic
- expressive power
- inference rules
- default theories
- nonmonotonic logics
- higher level
- knowledge representation
- conditional logic
- temporal logic
- bayesian networks
- high level
- neural network
- description logics
- autoepistemic logic
- knowledge base
- database