A Non-Reified Temporal Logic.

Fahiem Bacchus Josh D. Tenenberg Johannes A. G. M. Koomen

Published in: Artif. Intell. (1991)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
predicate logic
belief revision
linear temporal logic
temporal knowledge
mazurkiewicz traces
model checker
verification method
heuristic search
transition systems
search algorithm
knowledge base
dynamical systems
domain independent