Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 15 related to Constraint-based Reasoning.   

Constraint Programming and Large Scale Discrete Optimization: DIMACS ...

Eugene C. Freuder, Richard John Wallace - Mathematics - 2001 - 175 pages
Constraint programming has become an important general approach for solving hard combinatorial problems that occur in a number of application domains, such as scheduling and ...
Limited preview - About this book

The Logic of Constraint Satisfaction

Alan K. Mackworth - Logic, Symbolic and mathematical - 1991 - 20 pages
By doing these we obtain a specification of the semantics of the common approaches. This synthetic treatment also allows algorithms and results from these disparate areas to be ...
Snippet view - About this book

Artificial Intelligence: Foundations of Computational Agents

David L. Poole, Alan K. Mackworth - Computers - 2010
Recent decades have witnessed the emergence of artificial intelligence as a serious science and engineering discipline. This textbook, aimed at junior to senior undergraduate ...
Limited preview - About this book

Constraint Processing: Selected Papers

Manfred Meyer - Computers - 1995 - 287 pages
This volume contains 15 thoroughly refereed full research papers selected from the presentations given during two workshops on constraint processing; these workshops were held ...
Limited preview - About this book

Constraint Processing

Rina Dechter - Computers - 2003 - 480 pages
Constraint satisfaction is a simple but powerful tool. Constraints identify the impossible and reduce the realm of possibilities to effectively focus on the possible, allowing ...
Limited preview - About this book

Search in Artificial Intelligence

Leveen Kanal, Vipin Kumar - Computers - 2012 - 482 pages
Search is an important component of problem solving in artificial intelligence (AI) and, more generally, in computer science, engineering and operations research. Combinatorial ...
Limited preview - About this book

AAAI-90: Proceedings of the Eighth National Conference on ..., Volume 8, Part 1

American Association for Artificial Intelligence (AAAI) - Artificial intelligence - 1990 - 1174 pages
AI and Education. Automated Reasoning: automatic programming, planning and scheduling, rule-based reasoning, search, theorem proving, uncertainty, truth-maintenance systems ...
Snippet view - About this book

  1. My library
  2. Help
  3. Advanced Book Search