1912 search results - page 362 / 383 » GOAL as a Planning Formalism |
122
click to vote
EKAW
2008
Springer
15 years 3 months ago
2008
Springer
With the advent of the Web and the efforts towards a Semantic Web the nature of knowledge engineering has changed drastically. In this position paper we propose four principles fo...
115
click to vote
ACE
2004
15 years 3 months ago
2004
The 2002 SIGCOMM Workshop on Educational Challenges for Computer Networking [Kur02a] exposed many issues related to teaching computer networking with the need for a laboratory in ...
108
Voted
IJCAI
1993
15 years 3 months ago
1993
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
118
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Several researchers, present authors included, envision personal mobile robot agents that can assist humans in their daily tasks. Despite many advances in robotics, such mobile ro...
128
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...