×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [conjunction of predicates]
Prolog basics
1.029 views
Efficient SAT-based Techniques for Predicate Abstraction Efficient SAT-based Techniques for Predicate Abstraction Shuvendu K. Lahiri Joint work with Thomas
220 views
1 CS 2710, ISSP 2610 Chapter 3, Part 3 Heuristic Search Chapter 4 Local Search and Optimization
218 views
XSiena: The Content-Based Publish/Subscribe System
1.965 views
Daniel Omar Perez Antropologia pragmática como parte da filosofia prática
287 views
daniel omar perez antropologia pragmática como parte da razão prática em sentido kantiano
36 views
Efficient SAT/BDD-based Techniques for Predicate Abstraction Efficient SAT/BDD-based Techniques for Predicate Abstraction Shuvendu K. Lahiri Joint work
223 views
Classical Planning via State-space search COMP3431 Malcolm Ryan
223 views
A Probabilistic Framework for Information Integration and Retrieval on the Semantic Web by Livia Predoiu, Heiner Stuckenschmidt Institute of Computer Science,
220 views
A Probabilistic Framework for Information Integration and Retrieval on the Semantic Web
34 views
Today’s Topics 12/1/15CS 540 - Fall 2015 (Shavlik©), Lecture 27, Week 131 Read Chapter 21 (skip Section 21.5) of textbook Exam THURSDAY Dec 17, 5:30-7:30pm
215 views
Logic Programming Dr. Yasser Ahmed Nada Fall 2010/2011 Lecture 2 1 Logic Programming
229 views
Next >