Three-Valued Logics for Incomplete Information and Epistemic Logic.
Davide CiucciDidier DuboisPublished in: JELIA (2012)
Keyphrases
- incomplete information
- epistemic logic
- modal logic
- inference rules
- model checking
- multi agent systems
- first order logic
- logical framework
- autonomous agents
- nonmonotonic logics
- dynamic epistemic logic
- formal semantics
- partial information
- missing information
- multi faceted
- query answering
- possibility theory
- temporal logic
- mathematical theory
- machine learning