5269 search results - page 13 / 1054 » order 2007 |
45
Voted
BIOINFORMATICS
2002
14 years 11 months ago
2002
77
Voted
APAL
1998
14 years 11 months ago
1998
103
click to vote
IJCAI
2001
15 years 1 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...
82
Voted
APAL
2004
14 years 11 months ago
2004
The classical Feferman
101
click to vote
TPHOL
2007
IEEE
15 years 6 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...