Dynamic Logic of Common Knowledge in a Proof Assistant
Pierre LescanneJérôme PuisségurPublished in: CoRR (2007)
Keyphrases
- dynamic logic
- domain knowledge
- imperative programs
- knowledge base
- knowledge representation
- knowledge acquisition
- learning systems
- logical rules
- background knowledge
- neural network
- prior knowledge
- knowledge based systems
- domain experts
- data mining techniques
- knowledge sharing
- knowledge sources
- modal logic
- modal operators
- fuzzy logic
- information systems