105 search results - page 16 / 21 » Reasoning About Actions and Change in Answer Set Programming |
CSL
2007
Springer
14 years 27 days ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ï...
NMR
2004
Springer
14 years 2 days ago
2004
Springer
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...
CHI
2004
ACM
14 years 7 months ago
2004
ACM
Context-aware applications are applications that implicitly take their context of use into account by adapting to changes in a user's activities and environments. No one has ...
ATAL
2008
Springer
13 years 8 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
VMCAI
2007
Springer
14 years 25 days ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...