Ontologies Reasoning Components Agents Simulations Deduction Jacques Robin.
J Van Bentham - Invariance and Definability - Two Faces of Logical Constants - In W. Sieg, R. Sommer, & C. Talcott, Eds., Ed.,.Ps
50.530: Software Engineering Sun Jun SUTD. Week 10: Symbolic Execution.
© 2006 Carnegie Mellon University Combining Predicate and Numeric Abstraction for Software Model Checking Software Engineering Institute Carnegie Mellon.
PROOF TRANSLATION AND SMT LIB CERTIFICATION Yeting Ge Clark Barrett SMT 2008 July 7 Princeton.
1 Compute-Intensive Methods in AI: New Opportunities for Reasoning and Search Bart Selman Cornell University [email protected].
1 BLACKBOX: A New Approach to the Application of Theorem Proving to Problem Solving Bart Selman Cornell University Joint work with Henry Kautz AT&T Labs.
Scalable Knowledge Representation and Reasoning Systems Henry Kautz AT&T Shannon Laboratories.
The Boolean Satisfiability Problem: Theory and Practice Bart Selman Cornell University Joint work with Carla Gomes.