Do We Need Many-valued Logics for Incomplete Information?.
Marco ConsolePaolo GuagliardoLeonid LibkinPublished in: IJCAI (2019)
Keyphrases
- incomplete information
- modal logic
- truth values
- expressive power
- partial information
- inference rules
- temporal logic
- first order logic
- autonomous agents
- query answering
- missing information
- open world
- knowledge representation and reasoning
- nash equilibria
- possibility theory
- default logic
- np complete
- repeated games
- graphical models
- knowledge base