×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [automated deduction]
Rencontres Inria Industrie - Qualité logicielle - OWF13
594 views
Master's Thesis: Closed formulae for distance functions involving ellipses
415 views
1 Artificial Intelligence Uninformed Search by LISP AI as search problem states, state spaces uninformed search strategies depth first search depth first
297 views
Computer Sciences Lab & NICTA Opportunities for Honours projects 2009 Marcus Hutter (adapted from and thanks to Sylvie Thiebaux)
217 views
REGNET: An Infrastructure for Regulatory Information Management and Compliance Assistance Kincho H. Law Prof., Civil and Env. Engr. Gio Wiederhold Prof.,
218 views
Glue Semantics for Proof Theorists
451 views
Lmfi1
144 views
leanCoR: lean Connection-based DL Reasoner
43 views
Tutorials Wipro Log
53 views
1 SAT Solving As implemented in - DPLL solvers: GRASP, Chaff and - Stochastic solvers: GSAT
241 views
Reasoning about Actions and Causality Θεωρίες Δράσης και Αιτιότητας Θοδωρής Πάτκος Αναπαράσταση και Επεξεργασία Γνώσης
219 views
Prof. Necula CS 294-8 Lecture 91 Theorem Proving CS 294-8 Lecture 9
225 views
Next >