913 search results - page 70 / 183 » Formal Agent Development: Framework to System |
184
click to vote
AGP
2003
IEEE
15 years 9 months ago
2003
IEEE
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...
145
click to vote
FORTE
2007
15 years 5 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
118
click to vote
MICAI
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we describe a human organ selection process in which agents argue over whether a given donor’s organ is viable for transplantation. This process is framed in the CA...
174
click to vote
CSFW
2003
IEEE
15 years 9 months ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
132
click to vote
INFSOF
1998
15 years 3 months ago
1998
This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-oriented programming, KQML and basic mobile techniques to support ...