Sciweavers

ATAL
2001
Springer
14 years 3 months ago
MINERVA - A Dynamic Logic Programming Agent Architecture
João Alexandre Leite, José Jú...
ATAL
2003
Springer
14 years 3 months ago
Verification and Compliance Testing
Verification and compliance testing are required if agents are to be delegated responsibility for legally binding contracts, for example in electronic markets. This paper describes...
Frank Guerin, Jeremy Pitt
ATAL
2001
Springer
14 years 3 months ago
Optimal Negotiation Strategies for Agents with Incomplete Information
This paper analyzes the process of automated negotiation between two competitive agents that have firm deadlines and incomplete information about their opponent. Generally speaking...
S. Shaheen Fatima, Michael Wooldridge, Nicholas R....
ATAL
2003
Springer
14 years 3 months ago
Analyzing the efficiency of strategies for MAS-based sensor interpretation and diagnosis
One of the factors holding back the application of multiagent, distributed approaches to large-scale sensor interpretation and diagnosis problems is the lack of good techniques fo...
Norman Carver, Ruj Akavipat
AP2PC
2003
Springer
14 years 3 months ago
A Peer-to-Peer Information System for the Semantic Web
Sonia Bergamaschi, Francesco Guerra, Maurizio Vinc...
ANSS
2001
IEEE
14 years 3 months ago
Simulation-Based Engineering of Complex Adaptive Systems Using a Classifier Block
A Complex Adaptive System (CAS) is a network of communicating, intelligent agents where each agent adapts its behavior in order to collaborate with other agents to achieve overall...
John R. Clymer, David J. Chen
AGENTCL
2003
Springer
14 years 3 months ago
Model Checking for ACL Compliance Verification
Marc-Philippe Huget, Michael Wooldridge