858 search results - page 72 / 172 » Planning and defeasible reasoning |
FLAIRS
2009
14 years 10 months ago
2009
The predicates that are used to encode a planning domain in PDDL often do not include concepts that are important for effectively reasoning about problems in the domain. In partic...
94
Voted
ICSM
2008
IEEE
15 years 7 months ago
2008
IEEE
Distribution of effort in software engineering process has been the basis for facilitating more reasonable software project planning. This paper reports empirical results on activ...
151
click to vote
CL
2000
Springer
15 years 5 months ago
2000
Springer
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been ...
106
click to vote
JAPLL
2008
15 years 22 days ago
2008
In this paper, we study the following basic problem: After having executed a sequence of actions, find a sequence of actions that brings the agent back to the state just before th...
118
click to vote
PRICAI
2004
Springer
15 years 6 months ago
2004
Springer
Temporal reasoning is an important task in many areas of computer science including planning, scheduling, temporal databases and instruction optimisation for compilers. Given a kno...