×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [propositional reasoning]
Ontologies Reasoning Components Agents Simulations Deduction Jacques Robin
222 views
J Van Bentham - Invariance and Definability - Two Faces of Logical Constants - In W. Sieg, R. Sommer, & C. Talcott, Eds., Ed.,.Ps
31 views
50.530: Software Engineering Sun Jun SUTD. Week 10: Symbolic Execution
294 views
© 2006 Carnegie Mellon University Combining Predicate and Numeric Abstraction for Software Model Checking Software Engineering Institute Carnegie Mellon
215 views
PROOF TRANSLATION AND SMT LIB CERTIFICATION Yeting Ge Clark Barrett SMT 2008 July 7 Princeton
221 views
1 Compute-Intensive Methods in AI: New Opportunities for Reasoning and Search Bart Selman Cornell University
[email protected]
223 views
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
215 views
Scalable Knowledge Representation and Reasoning Systems Henry Kautz AT&T Shannon Laboratories
222 views
The Boolean Satisfiability Problem: Theory and Practice Bart Selman Cornell University Joint work with Carla Gomes
228 views