Sciweavers

4595 search results - page 111 / 919
» Reasoning about Plans
Sort
View
LPAR
1999
Springer
15 years 10 months ago
Proofs About Lists Using Ellipsis
In this paper we explore the use of ellipsis in proofs about lists. We present a higher-order formulation of elliptic formulae, and describe its implementation in the λClam proof ...
Alan Bundy, Julian Richardson
IEAAIE
2005
Springer
15 years 12 months ago
A Meta-level Architecture for Strategic Reasoning in Naval Planning
Mark Hoogendoorn, Catholijn M. Jonker, Peter-Paul ...
CLIMA
2008
15 years 7 months ago
Bounded-Resource Reasoning as (Strong or Classical) Planning
Alexandre Albore, Natasha Alechina, Piergiorgio Be...