Sciweavers

163 search results - page 20 / 33
» A Social Semantics for Agent Communication Languages
Sort
View
ATAL
2005
Springer
15 years 7 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 11 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 6 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 7 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»
15 years 1 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...