913 search results - page 110 / 183 » Formal Agent Development: Framework to System |
107
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
This paper is concerned with argumentation-based dialogues between agents. Much work in this area has been based upon an influential taxonomy of dialogue types developed by Walto...
146
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...
104
click to vote
AAAI
2006
15 years 5 months ago
2006
One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. Temporal logics such...
143
click to vote
ISSE
2006
15 years 3 months ago
2006
Providing and managing security for large networked systems is difficult because their size and complexity makes manual design and management nearly impossible. Current security m...
135
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
The ‘engineering’ and ‘adaptive’ approaches to system production are distinguished. It is argued that producing reliable self-organised software systems (SOSS) will necessa...