858 search results - page 32 / 172 » Planning and defeasible reasoning |
109
click to vote
CADE
2003
Springer
16 years 1 months ago
2003
Springer
IsaPlanner is a generic framework for proof planning in the interactive theorem prover Isabelle. It facilitates the encoding of reasoning techniques, which can be used to conjectur...
90
Voted
KR
2004
Springer
15 years 6 months ago
2004
Springer
While universal plans tell a system how to reach a goal regardless of what state it is in, such plans can be too large to represent. Hybrid systems execute plans where each action...
118
Voted
FLAIRS
2004
15 years 2 months ago
2004
We consider a novel class of applications where a set of activities conducted by a group of people over a time period needs to be planned, taking into account each member's p...
94
Voted
AAAI
2011
14 years 23 days ago
2011
The utility of including cyclic flow of control in plans has been long recognized by the planning community. Loops in a plan increase both its applicability and the compactness o...
112
Voted
AIM
2005
15 years 20 days ago
2005
This paper surveys previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Descr...