Mechanisms for Temporal Logic Implementation in Rule-based Systems.
Josef HahnKarl-Heinz KrempelsChristoph TerwelpPublished in: ICAART (1) (2011)
Keyphrases
- temporal logic
- rule based systems
- model checking
- formal specification language
- modal logic
- security systems
- rule base
- satisfiability problem
- knowledge representation
- concurrent systems
- computation tree logic
- formal models
- rule based expert systems
- knowledge based systems
- expert systems
- bounded model checking
- procedural semantics
- verification method
- mazurkiewicz traces
- temporal knowledge
- formal specification
- belief revision
- reactive systems
- transition systems