1 Evaluating Reasoning Systems: Ontology Languages Michael Grunginger, U. Toronto Conrad Bock, U.S. NIST February 22 nd, 2007.
Efficient SAT-based Techniques for Predicate Abstraction Efficient SAT-based Techniques for Predicate Abstraction Shuvendu K. Lahiri Joint work with Thomas.
3.1 Tuple Relational Calculus
Set-Based Analysis
Expressiveness and Complexity of Crosscut Languages