490 search results - page 10 / 98 » Disciple-COA: From Agent Programming to Agent Teaching |
ATAL
2003
Springer
15 years 4 months ago
2003
Springer
ENGL
2007
14 years 11 months ago
2007
— Intelligent Agents have originated a lot of discussion about what they are, and how they are different from general programs. We describe in this paper a new paradigm for intel...
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
Most of the proposed approaches in automatic service selection assume the existence of a common ontology among communicating agents. However, this assumption becomes difficult to...
AUSAI
2005
Springer
15 years 4 months ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
DALT
2006
Springer
15 years 2 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...