88 search results - page 3 / 18 » jair 2008 |
JAIR
2008
13 years 10 months ago
2008
JAIR
2008
13 years 10 months ago
2008
JAIR
2008
13 years 10 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 10 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 10 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 ...