Modal Logics of Knowledge and Tim.

Ron van der Meyden

Published in: TIME (2003)

Keyphrases

modal logic
domain knowledge
inference rules
knowledge base
experience gained
classical logic
decision procedures
knowledge representation
knowledge management
nonmonotonic logics
cooperative
temporal logic
multi agent
expert systems
np complete
epistemic logic