A Note on Parameterised Knowledge Operations in Temporal Logic.
Vladimir V. RybakovPublished in: CoRR (2014)
Keyphrases
- temporal logic
- model checking
- temporal knowledge
- modal logic
- satisfiability problem
- expert systems
- predicate logic
- background knowledge
- knowledge base
- knowledge representation
- model checker
- concurrent systems
- automata theoretic
- mazurkiewicz traces
- knowledge acquisition
- reactive systems
- verification method
- temporally extended