1021 search results - page 38 / 205 » Concepts in Proof Planning |
GI
2009
Springer
13 years 6 months ago
2009
Springer
: As the mobile phone's camera is becoming the most widely available consumer tool for media creation it also opens new possibilities for casual and social form of mobile gami...
CW
2004
IEEE
14 years 12 days ago
2004
IEEE
In this paper we introduce the concept of transmedial worlds, relating it to genre and adaptation theory, and presenting a framework for how to look for transmedial traits in a wo...
AAAI
2008
13 years 11 months ago
2008
Currently, the most effective complete SAT solvers are based on the DPLL algorithm augmented by clause learning. These solvers can handle many real-world problems from application...
AMAI
1999
Springer
13 years 8 months ago
1999
Springer
In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational" component of a single agent but also for the "reactive&...
AIPS
1996
13 years 10 months ago
1996
Mostexisting decision-theoretic planners represent uncertainty about the state of the world with a precisely specified probability distribution over world states. This representat...