88 search results - page 3 / 18 » jair 2008 |
JAIR
2008
13 years 5 months ago
2008
JAIR
2008
13 years 5 months ago
2008
JAIR
2008
13 years 5 months ago
2008
The notion of strong equivalence on logic programs with answer set semantics gives rise to a consequence relation on logic program rules, called SE-consequence. We present a sound...
JAIR
2007
13 years 5 months ago
2007
This paper describes Marvin, a planner that competed in the Fourth International Planning Competition (IPC 4). Marvin uses action-sequence-memoisation techniques to generate macro...
JAIR
2007
13 years 5 months ago
2007
In this article, we work towards the goal of developing agents that can learn to act in complex worlds. We develop a a new probabilistic planning rule representation to compactly ...