Automated Reasoning in Quantified Modal and Temporal Logics.
Claudio CastelliniPublished in: Intelligenza Artificiale (2005)
Keyphrases
- automated reasoning
- temporal logic
- modal logic
- inference rules
- model checking
- theorem proving
- theorem prover
- reasoning systems
- transition systems
- decision procedures
- mazurkiewicz traces
- knowledge representation
- probabilistic reasoning
- concurrent systems
- satisfiability problem
- reasoning tasks
- belief revision
- modal operators
- epistemic logic
- classical logic
- nonmonotonic logics
- default logic
- predicate logic
- temporal knowledge
- verification method
- artificial intelligence
- knowledge representation and reasoning
- video sequences
- formal specification
- linear temporal logic
- logic programs
- computational complexity
- situation calculus
- temporal resolution
- data mining
- sequent calculus
- bayesian networks