An Incremental Technique for Automata-Based Decision Procedures.

Gulay Ünel David Toman

Published in: CADE (2007)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
conjunctive queries
reasoning problems
satisfiability problem
computational complexity
database
artificial intelligence
probabilistic reasoning
fixpoint