A Viewpoints Modeling Framework Based on Epistemic Logic.

Min Jiang Guoqing Wu

Published in: ICEIS (3) (2006)

Keyphrases

modeling framework
epistemic logic
model checking
modal logic
inference rules
dynamic epistemic logic
multi faceted
multi agent systems
mathematical theory
formal semantics
logical framework
topic modeling
cooperative
educational technology
case study