Sciweavers

981 search results - page 86 / 197
» Semantics for an Agent Communication Language
Sort
View
AAAI
1994
14 years 11 months ago
The Automated Mapping of Plans for Plan Recognition
To coordinate with other agents in its environment, an agent needs models of what the other agents are trying to do. When communication is impossible or expensive, this informatio...
Marcus J. Huber, Edmund H. Durfee, Michael P. Well...
AIL
2005
90views more  AIL 2005»
14 years 9 months ago
Towards a multi-agent system for regulated information exchange in crime investigations
This paper outlines a multi-agent architecture for regulated information exchange of crime investigation data between police forces. Interactions between police officers about info...
Pieter Dijkstra, Floris Bex, Henry Prakken, Kees d...
ATAL
2010
Springer
14 years 11 months ago
Reasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
Mehdi Dastani, Wojciech Jamroga
AAAI
2007
15 years 4 days ago
Towards Large Scale Argumentation Support on the Semantic Web
This paper lays theoretical and software foundations for a World Wide Argument Web (WWAW): a large-scale Web of inter-connected arguments posted by individuals to express their op...
Iyad Rahwan, Fouad Zablith, Chris Reed
LCPC
1995
Springer
15 years 1 months ago
V-cal: A Calculus for the Compilation of Data Parallel Languages
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...
P. F. G. Dechering, J. A. Trescher, J. P. M. de Vr...