Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 31 - 40 of about 46 related to Automated Planning: Theory and Practice.    

Introduction to the Theory of Computation

Michael Sipser - Computers - 2012 - 504 pages
Now you can clearly present even the most complex computational theory topics to your students with Sipser's distinct, market-leading INTRODUCTION TO THE THEORY OF COMPUTATION ...
Limited preview - About this book

Intelligent Agents VIII: 8th International Workshop, ATAL 2001 Seattle, WA ...

John-Jules C. Meyer, Milind Tambe - Computers - 2002 - 460 pages
This volume is the eighth in the Intelligent Agents series associated with the ATAL workshops. These workshops on “Agent Theories, Architectures, and L- guages” have ...
Limited preview - About this book

Automated Deduction - CADE-11: 11th International Conference on Automated ...

Deepak Kapur - Computers - 1992 - 793 pages
This volume contains the papers presented at the Eleventh International Conference on Automated Deduction (CADE-11) held in Saratoga Springs, NY, inJune 1992. A total of 136 ...
Snippet view - About this book

Automated Deduction - CADE-18: 18th International Conference on Automated ...

Andrei Voronkov - Computers - 2002 - 534 pages
The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27 ...
Limited preview - About this book

Extensions of Logic Programming: Third International Workshop, ELP '92 ...

Evelina Lamma, Paola Mello - Computers - 1993 - 417 pages
This book contains papers which investigate how to extend logic programming toward the artificial intelligence and software engineering areas, covering both theoretical and ...
Limited preview - About this book

New Trends in Constraints: Joint ERCIM/Compulog Net Workshop Paphos, Cyprus ...

Krzysztof R. Apt - Computers - 2000 - 338 pages
This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/Compulog-Net Workshop on New Trends in Constraints held in Paphos, Cyprus, Greece in October ...
Limited preview - About this book

Logic Based Program Synthesis and Transformation: 13th International ...

Maurice Bruynooghe - Logic programming - 2004 - 233 pages
This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2003, held in ...
Snippet view - About this book

Logical Foundations for Rule-Based Systems

Antoni Ligeza - Computers - 2006 - 309 pages
Thinking in terms of facts and rules is perhaps one of the most common ways of approaching problem de?nition and problem solving both in everyday life and under more formal ...
Limited preview - About this book




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