Sciweavers

2812 search results - page 26 / 563
» Secrecy in Multiagent Systems
Sort
View
WOA
2010
13 years 6 months ago
Multi-Agent Systems in the Industry. Three Notable Cases in Italy
This paper reports on three notable examples of the use of multi-agent systems in the Italian Industry. First, we introduce the topic and we outline some examples of real-world age...
Federico Bergenti, Eloisa Vargiu
ARGMAS
2009
Springer
14 years 3 months ago
Realizing Argumentation in Multi-agent Systems Using Defeasible Logic Programming
We describe a working multi-agent architecture based on Defeasible Logic Programming (DeLP) by Garc´ıa and Simari where agents are engaged in an argumentation to reach a common c...
Matthias Thimm
ATAL
2000
Springer
14 years 25 days ago
Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application
Abstract. In this paper, we describe the Cognitive Agents Specification Language (CASL), and exhibit its characteristics by using it to model the multiagent feature interaction re...
Steven Shapiro, Yves Lespérance
ATAL
2008
Springer
13 years 10 months ago
Automated global-to-local programming in 1-D spatial multi-agent systems
A spatial computer is a distributed multi-agent system that is embedded in a geometric space. A key challenge is engineering local agent interaction rules that enable spatial comp...
Daniel Yamins, Radhika Nagpal
TACS
2001
Springer
14 years 27 days ago
A Spatial Logic for Concurrency
We present a logic that can express properties of freshness, secrecy, structure, and behavior of concurrent systems. In addition to standard logical and temporal operators, our lo...
Luís Caires, Luca Cardelli