Login / Signup
Towards an Epistemic Logic for Uncertain Agents.
Zining Cao
Published in:
CEEMAS (2007)
Keyphrases
</>
epistemic logic
multi agent systems
model checking
modal logic
logical framework
dynamic epistemic logic
multi faceted
inference rules
computation tree logic
mathematical theory
formal semantics
temporal logic
cooperative
uncertain information
decision making
model checker
multi agent
qualitative and quantitative