Sciweavers

3729 search results - page 32 / 746
» On Formal Modeling of Agent Computations
Sort
View
AOSE
2006
Springer
15 years 3 months ago
Modeling Mental States in the Analysis of Multiagent Systems Requirements
Abstract. This paper describes an agent-oriented requirements engineering approach that combines informal
Alexei Lapouchnian, Yves Lespérance
ATAL
1997
Springer
15 years 3 months ago
A Formal Specification of dMARS
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
Mark d'Inverno, David Kinny, Michael Luck, Michael...
ATAL
2006
Springer
15 years 3 months ago
Formalizing typicality of objects and context-sensitivity in ontologies
In multiagent systems ontologies are essential because they facilitate tasks like communications and reasoning. In this paper, inspired by studies in cognitive psychology, we pres...
Ching-man Au Yeung, Ho-fung Leung
98
Voted
CAISE
2003
Springer
15 years 5 months ago
Ontological Basis for Agent ADL
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...
Stéphane Faulkner, Manuel Kolp
IAT
2008
IEEE
15 years 6 months ago
Formalizing Multi-state Learning Dynamics
This paper extends the link between evolutionary game theory and multi-agent reinforcement learning to multistate games. In previous work, we introduced piecewise replicator dynam...
Daniel Hennes, Karl Tuyls, Matthias Rauterberg