Sciweavers

1912 search results - page 10 / 383
» GOAL as a Planning Formalism
Sort
View
AIPS
1996
14 years 11 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...
77
Voted
SGAI
2010
Springer
14 years 7 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
14 years 10 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
63
Voted
FOIS
2010
14 years 11 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
63
Voted
EKAW
2006
Springer
15 years 1 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...