Sciweavers

1912 search results - page 10 / 383
» GOAL as a Planning Formalism
Sort
View
AIPS
1996
15 years 7 months ago
A Candidate Set Based Analysis of Subgoal Interactions in Conjunctive Goal Planning
Subgoal interactions have received considerable attention in AI Planning. Earlier analyses by Korf [11] and Joslin and Roach [6] were done in terms of the topology of the space of...
Subbarao Kambhampati, Laurie H. Ihrig, Biplav Sriv...
SGAI
2010
Springer
15 years 3 months ago
Extending SATPLAN to Multiple Agents
Multi-agent planning is a core issue in the multi-agent systems field. In this work we focus on the coordination of multiple agents in a setting where agents are able to achieve in...
Yannis Dimopoulos, Muhammad Adnan Hashmi, Pavlos M...
AAAI
1990
15 years 7 months ago
Indexical Knowledge in Robot Plans
Robots act upon and perceive the world from a particular perspective. It is important to recognize this relativity to perspective if one is not to be overly demanding in specifyin...
Yves Lespérance, Hector J. Levesque
FOIS
2010
15 years 7 months ago
Goals in a Formal Theory of Commonsense Psychology
In the context of developing formal theories of commonsense psychology, or how peole think they think, we have developed a formal theory of goals. In it we explicate and axiomatiz...
Jerry R. Hobbs, Andrew S. Gordon
EKAW
2006
Springer
15 years 9 months ago
From Natural Language to Formal Proof Goal
Guidelines (Extended abstract) Ruud Stegers1 , Annette ten Teije1 , and Frank van Harmelen1 Vrije Universiteit, Amsterdam The main problem encountered when starting verification of...
Ruud Stegers, Annette ten Teije, Frank van Harmele...