1966 search results - page 279 / 394 » Description Logics and Planning |
178
click to vote
CSCW
2002
ACM
15 years 6 months ago
2002
ACM
Activity theory is based on the concept of tools mediating between subjects and objects. In this theory, an individual's creative interaction with his or her surroundings can ...
136
click to vote
AIED
2007
Springer
16 years 16 days ago
2007
Springer
Building effective learning environments is an art that can only be perfected by a great deal of explorations involving the environments’ audience: the learners. This paper focus...
184
click to vote
BIRTHDAY
2005
Springer
15 years 12 months ago
2005
Springer
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...
157
click to vote
EUC
2005
Springer
15 years 12 months ago
2005
Springer
Algorithms that process geometric objects become more and more important for many safety-critical embedded systems, e.g. for motion planning or collision detection, where correctne...
179
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
We present the agent programming language GTGolog, which integrates explicit agent programming in Golog with gametheoretic multi-agent planning in Markov games. It is a generalizat...