Modeling and Programming Devices and Web Agents

This publication has 7 references indexed in Scilit:

• Knowledge in Action
  Published by MIT Press ,2001
• Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
  Artificial Intelligence, 2000
• Experiences with an Interactive Museum Tour-Guide Robot
  Published by Defense Technical Information Center (DTIC) ,1998
• GOLOG: A logic programming language for dynamic domains
  The Journal of Logic Programming, 1997
• Deductive composition of astronomical software from subroutine libraries
  Published by Springer Nature ,1994
• Characterizing diagnoses and systems
  Artificial Intelligence, 1992
• How to clear a block: A theory of plans
  Journal of Automated Reasoning, 1987