Sciweavers

163 search results - page 20 / 33
» A Social Semantics for Agent Communication Languages
Sort
View
ATAL
2005
Springer
15 years 3 months ago
Knowledge and social laws
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
Wiebe van der Hoek, Mark Roberts, Michael Wooldrid...
FQAS
2009
Springer
113views Database» more  FQAS 2009»
14 years 7 months ago
On Reaching Consensus by a Group of Collaborating Agents
In this paper, an agent is defined as a triple (S, RS, LS), where S is a multi-hierarchical decision system, RS is a set of rules extracted from S defining values of its decision a...
Zbigniew W. Ras, Agnieszka Dardzinska
ESWS
2010
Springer
15 years 2 months ago
Reactive Policies for the Semantic Web
Semantic Web policies are general statements defining the behavior of a system that acts on behalf of real users. These policies have various applications ranging from dynamic age...
Piero A. Bonatti, Philipp Kärger, Daniel Olme...
ECAI
2004
Springer
15 years 2 months ago
Agent Planning, Negotiation and Control of Operation
Abstract. This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, an...
Antonis C. Kakas, Paolo Torroni, Neophytos Demetri...
IJAIT
2006
136views more  IJAIT 2006»
14 years 9 months ago
Model Checking for Multiagent Systems: the Mable Language and its Applications
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
Michael Wooldridge, Marc-Philippe Huget, Michael F...