Perspectives of Using Temporal Logics for Knowledge Management.
Maria Mach-KrólPublished in: FedCSIS (2012)
Keyphrases
- temporal logic
- knowledge management
- model checking
- mazurkiewicz traces
- modal logic
- satisfiability problem
- concurrent systems
- case study
- knowledge engineering
- web based learning
- belief revision
- verification method
- decision making
- knowledge resources
- temporal resolution
- transition systems
- information technology
- information systems
- reactive systems
- knowledge management systems
- knowledge base
- bounded model checking
- knowledge representation
- formal verification
- software engineering
- temporal knowledge
- e learning