Sciweavers

2638 search results - page 12 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
ATAL
2009
Springer
15 years 4 months ago
Reasoning intra-dependency in commitments for robust scheduling
Commitment-modeled protocols enable flexible and robust interactions among agents. However, existing work has focused on features and capabilities of protocols without considerin...
Mingzhong Wang, Kotagiri Ramamohanarao, Jinjun Che...
50
Voted
PARCO
2007
14 years 11 months ago
A Framework for Prototyping and Reasoning about Distributed Systems
Marco Aldinucci, Marco Danelutto, Peter Kilpatrick
78
Voted
ECOI
2010
144views more  ECOI 2010»
14 years 8 months ago
Machine reasoning about anomalous sensor data
We describe a semantic data validation tool that is capable of observing incoming real-time sensor data and performing reasoning against a set of rules specific to the scientific d...
Matt Calder, Robert A. Morris, Francesco Peri
BNCOD
2003
139views Database» more  BNCOD 2003»
14 years 11 months ago
An Overview about the DynaQuest Framework
The DynaQuest-Framework should reduce the effort for the creation of Internet-based virtual databases. These virtual databases are a special kind of federated database systems whe...
Marco Grawunder
ARGMAS
2008
Springer
14 years 11 months ago
Co-ordination and Co-operation in Agent Systems: Social Laws and Argumentation
The social laws paradigm represents an important approach to the co-ordination of behaviour in multi-agent systems. In this paper we examine the relationship between social laws an...
Katie Atkinson, Trevor J. M. Bench-Capon