Prolog basics
Efficient SAT-based Techniques for Predicate Abstraction Efficient SAT-based Techniques for Predicate Abstraction Shuvendu K. Lahiri Joint work with Thomas.
1 CS 2710, ISSP 2610 Chapter 3, Part 3 Heuristic Search Chapter 4 Local Search and Optimization.
XSiena: The Content-Based Publish/Subscribe System
Daniel Omar Perez Antropologia pragmática como parte da filosofia prática
daniel omar perez antropologia pragmática como parte da razão prática em sentido kantiano
Efficient SAT/BDD-based Techniques for Predicate Abstraction Efficient SAT/BDD-based Techniques for Predicate Abstraction Shuvendu K. Lahiri Joint work.
Classical Planning via State-space search COMP3431 Malcolm Ryan.
A Probabilistic Framework for Information Integration and Retrieval on the Semantic Web by Livia Predoiu, Heiner Stuckenschmidt Institute of Computer Science,
A Probabilistic Framework for Information Integration and Retrieval on the Semantic Web
Logic Programming Dr. Yasser Ahmed Nada Fall 2010/2011 Lecture 2 1 Logic Programming.
Logic Programming
