A Modal Logic for Fusing Partial Belief of Multiple Reasoners.

Luca Boldrin Alessandro Saffiotti

Published in: J. Log. Comput. (1999)

Keyphrases

modal logic
modal operators
temporal logic
decision procedures
inference rules
conditional logic
classical logic
belief revision
epistemic logic
default logic
situation calculus
combining multiple
fusing multiple
expert systems
explanation based generalization
autoepistemic logic
belief state