Scientific Benchmarking with Temporal Logic Decision Procedures.
Ullrich HustadtRenate A. SchmidtPublished in: KR (2002)
Keyphrases
- temporal logic
- decision procedures
- modal logic
- satisfiability problem
- model checking
- inference rules
- linear temporal logic
- epistemic logic
- model theoretic
- computation tree logic
- artificial intelligence
- verification method
- theorem proving
- belief revision
- automated reasoning
- temporal knowledge
- logic programs
- formal specification
- data management
- data sources
- relational databases
- reactive systems
- expert systems
- computational complexity
- bayesian networks