Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 7 of 7 on F. Bacchus and F. Kabanza. Using temporal logic to control search in a forward chaining....  
" F. Bacchus and F. Kabanza. Using temporal logic to control search in a forward chaining planner. "
Knowledge in Action: Logical Foundations for Specifying and Implementing ... - Page 409
by Raymond Reiter - 2001 - 448 pages
Limited preview - About this book

Artificial Intelligence: Methodology, Systems, and Applications: 8th ...

Fausto Giunchiglia - Computers - 1998 - 502 pages
...refinements of the calculus and control search strategies, hence improving TabPlan performance. References 1. F. Bacchus and F. Kabanza. Using temporal logic to control search in a forward chaining planner. In Proc. of the TIME-95 International Workshop on Temporal Representation and Reasoning, Melbourne, Florida,...
Limited preview - About this book

Evolution as Computation: Dimacs Workshop, Princeton, January 1999

Laura F. Landweber, Erik Winfree - Computers - 2002 - 332 pages
...editor, Genetic Programming 1997, Proc 2nd ann., pages 9-17, 1997. Morgan Kaufmann, San Francisco, CA. 2. F. Bacchus and F. Kabanza. Using Temporal Logic to Control Search in Planning. In European Workshop on Planning, 1995. Unpublished document available from http://logos.uwaterloo.ca/tlplan/...
Limited preview - About this book

Logic-Based Artificial Intelligence

Jack Minker - Computers - 2000 - 606 pages
...as exemplified by a multi-handed blocks world agent. References Bacchus, F. and Kabanza, F. (1995). Using temporal logic to control search in a forward chaining planner. In Proceedings of the Third European Workshop on Planning. Bacchus, F. and Kabanza, F. (2000). Using temporal...
Limited preview - About this book

Knowledge Based Computer Systems: Proceedings of the International ...

Expert systems (Computer science) - 2000 - 590 pages
...naturally associate rewards with auxiliary goals. [Bacchus and Kabanza, 1995] Bacchus, F and Kabanza F. Using Temporal Logic to Control Search in a Forward Chaining Planner. In Proceedings of the 3rd European Workshop on Planning, 1995. [Bacchus and Kabanza, 1998] Bacchus, F...
Limited preview - About this book

Seventh Scandinavian Conference on Artificial Intelligence: SCAI'01

Henrik Hautop Lund, B. H. Mayoh, John W. Perram - Artificial intelligence - 2001 - 171 pages
...earlier versions of this paper. This work was supported by the Swedish KK foundation. References [1] F Bacchus and F Kabanza. Using temporal logic to control...New Directions in Planning, pages 141153. IOS Press, Amsterdam, 1996. [2] F Bacchus and F Kabanza. Using temporal logics to express search control knowledge...
Limited preview - About this book

Advances in Plan-Based Control of Robotic Agents: International Seminar ...

Michael Beetz - Computers - 2002 - 289 pages
...perceptual, and world knowledge in reactive navigation. Robotics and Autonomous Systems, 6:105-122, 1990. 4. F. Bacchus and F. Kabanza. Using temporal logic to...in a forward chaining planner. In M. Ghallab and A. Mil,mi. editors, New Directions in Planning, pages 141-153. IOS Press, Amsterdam, 1996. 5. F. Bacchus...
Limited preview - About this book

AI*IA 2003: Advances in Artificial Intelligence: 8th Congress of the Italian ...

Associazione italiana per l'intelligenza artificiale. Congress - Computers - 2003 - 552 pages
...conditions to exit the loop, and include them among the conditions of the contingent plan. References [1] F. Bacchus and F. Kabanza. Using temporal logic to control search in a forward chaining planner. In Proc. of the TIME-95 International Workshop on Temporal Representation and Reasoning, Melbourne, Florida,...
Limited preview - About this book




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