502 search results - page 34 / 101 » Development and Application of a Formal Agent Framework |
163
click to vote
DALT
2006
Springer
15 years 8 months ago
2006
Springer
AgentSpeak is a well-known language for programming intelligent agents which captures the key features of reactive planning systems in a simple framework with an elegant formal sem...
159
click to vote
SWS
2004
ACM
15 years 9 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...
150
click to vote
AAMAS
2008
Springer
15 years 4 months ago
2008
Springer
Argumentation is a promising approach used by autonomous agents for reasoning about inconsistent/incomplete/uncertain knowledge, based on the construction and the comparison of ar...
139
click to vote
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Normative systems in a multiagent system must be able to evolve over time, for example due to actions creating or removing norms in the system. The only formal framework to evalua...
135
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
An incremental development framework which supports a conform construction of Protocol State Machines (PSMs) is presented. We capture design concepts and strategies of PSM constru...