Doxastic Extensions of Łukasiewicz Logic.
Doratossadat DastgheibHadi FarahaniPublished in: CoRR (2021)
Keyphrases
- epistemic logic
- modal logic
- knowledge representation formalisms
- logic programming
- classical logic
- default logic
- logical framework
- model checking
- argumentation semantics
- multi valued
- multi agent systems
- efficient implementation
- description logics
- knowledge representation
- default theories
- nonmonotonic logics
- decision trees
- proof theory
- artificial intelligence
- neural network