Sciweavers

2712 search results - page 30 / 543
» Multiagent Systems
Sort
View
ATAL
2005
Springer
14 years 3 months ago
Bounded model checking for knowledge and real time
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
Bozena Wozna, Alessio Lomuscio, Wojciech Penczek
AO
2007
124views more  AO 2007»
13 years 10 months ago
Ontology negotiation in heterogeneous multi-agent systems: The ANEMONE system
In open heterogeneous multi-agent systems, communication is hampered by lack of common ontologies. Ontologies may differ in naming conventions, granularity and scope. In such an en...
Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dig...
HOLOMAS
2009
Springer
14 years 2 months ago
A Multi-agent Scheduler for Rent-a-Car Companies
The paper gives overview of a multi-agent real-time scheduler for the European operation of one of the largest rent-a-car company in the world. It describes requirements for schedu...
Slava Andreev, George Rzevski, Peter Shviekin, Pet...
INCDM
2010
Springer
251views Data Mining» more  INCDM 2010»
14 years 1 months ago
Multi-Agent Based Clustering: Towards Generic Multi-Agent Data Mining
Abstract. A framework for Multi Agent Data Mining (MADM) is described. The framework comprises a collection of agents cooperating to address given data mining tasks. The fundamenta...
Santhana Chaimontree, Katie Atkinson, Frans Coenen
AI
2005
Springer
14 years 3 months ago
Multiagent Systems Viewed as Distributed Scheduling Systems: Methodology and Experiments
In this article, we present a design technique that facilitates the work of extracting and defining the tasks scheduling problem for a multiagent system. We also compare a central...
Sébastien Paquet, Nicolas Bernier, Brahim C...