Decision Procedures for Time and Chance (Extended Abstract)

Sarit Kraus Daniel Lehmann

Published in: FOCS (1983)

Keyphrases

extended abstract
decision procedures
modal logic
theorem proving
automated reasoning
reasoning problems
conjunctive queries
satisfiability problem
artificial intelligence
data sets
computational complexity
special case
query language
knowledge representation
inference rules
quantified boolean formulas