Epistemic logic and explicit knowledge in distributed programming.

Andreas Witzel Jonathan A. Zvesper

Published in: AAMAS (3) (2008)

Keyphrases

epistemic logic
explicit knowledge
implicit knowledge
modal logic
domain knowledge
knowledge management
distributed systems
model checking
tacit knowledge
multi agent systems
inference rules
logical framework
dynamic epistemic logic
cooperative
multi faceted
multi agent
mathematical theory
prior knowledge