Extracting Interval Temporal Logic Rules: A First Approach.
Davide BresolinEnrico CominatoSimone GnaniEmilio Muñoz-VelascoGuido SciaviccoPublished in: TIME (2018)
Keyphrases
- temporal logic
- model checking
- linear temporal logic
- modal logic
- satisfiability problem
- verification method
- concurrent systems
- predicate logic
- computation tree logic
- bounded model checking
- transition systems
- mazurkiewicz traces
- formal specification language
- temporal knowledge
- background knowledge
- dynamic constraints
- temporally extended
- active rules
- belief revision
- artificial intelligence