Sciweavers

2712 search results - page 291 / 543
» Multiagent Systems
Sort
View
ECAI
2010
Springer
15 years 28 days ago
Parallel Model Checking for Temporal Epistemic Logic
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Q...
CONCURRENCY
2008
83views more  CONCURRENCY 2008»
14 years 12 months ago
Distributing RePast agent-based simulations with HLA
ABSTRACT. Large, experimental Multi-Agent System (MAS) simulations are highly demanding tasks, both computationally and developmentally. Agent-toolkits provide reliable templates f...
Rob Minson, Georgios K. Theodoropoulos
KBS
2006
68views more  KBS 2006»
14 years 11 months ago
Role of acquaintance models in agent's private and semi-private knowledge disclosure
The organizational architecture of the multi-agent systems and the structure of social knowledge that the members of the community administer are critical factors for assuring suc...
Michal Pechoucek, Vladimír Marík, Ja...
AAMAS
1998
Springer
14 years 11 months ago
A Roadmap of Agent Research and Development
This paper provides an overview of research and development activities in the field of autonomous agents and multi-agent systems. It aims to identify key concepts and applications...
Nicholas R. Jennings, Katia P. Sycara, Michael Woo...
JUCS
2010
114views more  JUCS 2010»
14 years 10 months ago
Deontic Logic-based Framework for Ontology Aligment in Agent Communities
: In this paper we consider a multiagent system with multiple ontologies. The agents maintain the ontologies individually which leads to frequent changes and possible knowledge inc...
Grzegorz Kolaczek, Krzysztof Juszczyszyn