410 search results - page 10 / 82 » Operational semantics of goal models in adaptive agents |
IAT
2009
IEEE
14 years 2 months ago
2009
IEEE
—The paper extends the traditional browser concept with a Semantic Web tailored faceted browser thus providing integrated end-user grade support for both legacy Web and Semantic ...
WOA
2007
13 years 8 months ago
2007
Abstract— Situated agents engaged in open systems continually face with external events requiring adequate services and behavioral responses. In these conditions agents should be...
AAMAS
2011
Springer
13 years 2 months ago
2011
Springer
We present a family of sound and complete logics for reasoning about deliberation strategies for SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL...
MASA
2001
Springer
14 years 4 days ago
2001
Springer
The paper presents a multi-agent system that comprises a society of self-interested agents that use argumentation-based negotiation to reach agreements regarding cooperation and go...
AUSAI
2005
Springer
14 years 1 months ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...