A Tableau Calculus for First-Order Branching Time Logic.
Wolfgang MayPeter H. SchmittPublished in: FAPR (1996)
Keyphrases
- tableau calculus
- description logics
- linear temporal logic
- epistemic logic
- temporal logic
- knowledge base
- modal logic
- general logic programs
- model checking
- conditional logic
- model theoretic
- horn clauses
- automated reasoning
- minimal models
- first order logic
- temporal reasoning
- probabilistic logic
- predicate calculus
- multi valued
- classical logic
- machine learning
- probability theory
- temporal constraints
- logic programming
- artificial intelligence