A logic for reasoning about ambiguity.

Joseph Y. Halpern Willemien Kets

Published in: CoRR (2014)

Keyphrases

formal theory
modal logic
modal operators
logic programming
predicate logic
social networks
classical logic
set theory
programming language
causal reasoning
data sets
data mining
machine learning
qualitative reasoning
automated reasoning
defeasible logic