211 search results - page 4 / 43 » Expressive Planning and Explicit Knowledge |
AIM
2005
13 years 7 months ago
2005
This paper surveys previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Descr...
VL
2007
IEEE
14 years 1 months ago
2007
IEEE
Expert programmers possess programming knowledge, which is language independent and abstract. Still, programming is mostly taught only via constructs of a programming language and...
SIGMOD
2004
ACM
14 years 7 months ago
2004
ACM
Despite the widespread and growing use of asynchronous copies to improve scalability, performance and availability, this practice still lacks a firm semantic foundation. Applicati...
CI
2005
13 years 7 months ago
2005
Autonomous agents that learn about their environment can be divided into two broad classes. One class of existing learners, reinforcement learners, typically employ weak learning ...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
Awareness has been shown to be a useful addition to standard epistemic logic for many applications. However, standard propositional logics for knowledge and awareness cannot expre...