A logic for reasoning about ambiguity.

Joseph Y. Halpern Willemien Kets

Published in: Artif. Intell. (2014)

Keyphrases

formal theory
modal operators
modal logic
predicate logic
information retrieval
probabilistic knowledge
complete axiomatization
logic programming
real time
multi valued
epistemic logic
defeasible logic
logical framework
expert systems
multi agent
image sequences
decision making
databases