5269 search results - page 13 / 1054 » order 2007 |
BIOINFORMATICS
2002
15 years 1 months ago
2002
90
Voted
APAL
1998
15 years 1 months ago
1998
122
Voted
IJCAI
2001
15 years 3 months ago
2001
One of the more controversial recent planning algorithms is the SHOP algorithm, an HTN planning algorithm that plans for tasks in the same order that they are to be executed. SHOP...
APAL
2004
15 years 1 months ago
2004
The classical Feferman
125
Voted
TPHOL
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...