Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony.

Clare Dixon Cláudia Nalon Michael Fisher

Published in: J. Appl. Non Class. Logics (2004)

Keyphrases

modal logic
knowledge base
domain knowledge
knowledge acquisition
knowledge discovery
decision procedures
expert systems
knowledge representation
higher level
domain experts
knowledge extraction
prior knowledge
knowledge management
information systems
expressive power
epistemic logic
proof theory