913 search results - page 20 / 183 » Formal Agent Development: Framework to System |
105
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
146
click to vote
ATAL
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. This paper will discuss the internal architecture for an agent framework called DECAF (Distributed Environment Centered Agent Framework). DECAF is a software toolkit for ...
138
click to vote
SWS
2004
ACM
15 years 7 months ago
2004
ACM
The Platform for Privacy Preferences (P3P), developed by the W3C, provides an XML-based language for websites to encode their datacollection and data-use practices in a machine-re...
130
click to vote
AAI
2006
15 years 1 months ago
2006
Enabling and managing coordination activities between autonomous, possibly mobile, computing entities in dynamic computing scenarios challenges traditional approaches to distribut...
AI
2001
Springer
15 years 6 months ago
2001
Springer
The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue...