Prospects of Using Temporal Logics for Knowledge Management.
Maria Mach-KrólPublished in: ABICT (2012)
Keyphrases
- temporal logic
- knowledge management
- model checking
- mazurkiewicz traces
- modal logic
- satisfiability problem
- concurrent systems
- predicate logic
- web based learning
- belief revision
- verification method
- linear temporal logic
- software engineering
- e learning
- knowledge engineering
- information technology
- temporal knowledge
- information systems
- software development
- case study
- transition systems
- knowledge base
- knowledge management systems
- decision making
- reactive systems
- distributed systems
- multi agent
- computation tree logic