Do We Need Many-valued Logics for Incomplete Information?.

Marco Console Paolo Guagliardo Leonid Libkin

Published 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