Interpreting Logics of Knowledge in Propositional Dynamic Logic with Converse.
Michael J. FischerNeil ImmermanPublished in: Inf. Process. Lett. (1987)
Keyphrases
- propositional dynamic logic
- knowledge extraction
- domain knowledge
- reasoning about actions
- knowledge based systems
- knowledge acquisition
- data sets
- expert systems
- knowledge representation
- knowledge management
- knowledge base
- information systems
- real time
- general purpose
- data mining techniques
- higher level
- domain experts
- knowledge sharing
- knowledge sources
- databases
- dynamic logic