2638 search results - page 136 / 528 » Frameworks for Reasoning about Agent Based Systems |
154
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
149
click to vote
PDPTA
2000
15 years 6 months ago
2000
In this paper, a Shopping Information Agent System (SIAS) is built based on mobile agent technology. It sends out agents to di erent hosts in an electronic marketplace. The agents ...
155
click to vote
SWAP
2008
15 years 6 months ago
2008
Abstract. The Service Oriented Architecture paradigm, and its implementation based on Web Services, have been the object of an intense research and standardization activity. One of...
167
click to vote
MASA
2001
Springer
15 years 9 months ago
2001
Springer
This chapter aims to introduce the reader to the basic issues surrounding the design and implementation of intelligent agents. It begins by motivating the idea of an agent, present...
191
click to vote
ARGMAS
2009
Springer
15 years 11 months ago
2009
Springer
We describe a working multi-agent architecture based on Defeasible Logic Programming (DeLP) by Garc´ıa and Simari where agents are engaged in an argumentation to reach a common c...