Sciweavers

4595 search results - page 15 / 919
» Reasoning about Plans
Sort
View
93
Voted
ECAI
2000
Springer
15 years 2 months ago
A Framework for Dynamic Constraint Reasoning using Procedural Constraints
Many complex real-world decision problems, such as planning, contain an underlying constraint reasoning problem. The feasibility of a solution candidate then depends on the consis...
Ari K. Jónsson, Jeremy Frank
ECAI
2008
Springer
14 years 11 months ago
Regression for Classical and Nondeterministic Planning
Many forms of reasoning about actions and planning can be reduced to regression, the computation of the weakest precondition a state has to satisfy to guarantee the satisfaction of...
Jussi Rintanen
ICMLA
2007
14 years 11 months ago
Learning to evaluate conditional partial plans
In our research we study rational agents which learn how to choose the best conditional, partial plan in any situation. The agent uses an incomplete symbolic inference engine, emp...
Slawomir Nowaczyk, Jacek Malec
ROBOCUP
1999
Springer
138views Robotics» more  ROBOCUP 1999»
15 years 2 months ago
All Botz
This paper provides general information about research at the University of Auckland into autonomous agents in highly dynamic environments, in particular in RoboCup. The paper desc...
Jacky Baltes, Nicholas Hildreth, David Maplesden
KR
1991
Springer
15 years 1 months ago
Planning as Temporal Reasoning
This paper describes a reasoning system based on a temporal logic that can solve planning problems along the lines of traditional planning systems. Because it is cast as inference...
James F. Allen