Sciweavers

651 search results - page 71 / 131
» Reasoning about agent deliberation
Sort
View
AI
2005
Springer
13 years 10 months ago
On the logic of cooperation and propositional control
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...
Wiebe van der Hoek, Michael Wooldridge
ESAW
2006
Springer
14 years 2 months ago
Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
Tim Miller, Peter McBurney
AAAI
1992
13 years 11 months ago
From Statistics to Beliefs
An intelligent agent uses known facts, including statistical knowledge, to assign degrees of belief to assertions it is uncertain about. We investigate three principled techniques...
Fahiem Bacchus, Adam J. Grove, Daphne Koller, Jose...
CSFW
2003
IEEE
14 years 3 months ago
Anonymity and Information Hiding in Multiagent Systems
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
Joseph Y. Halpern, Kevin R. O'Neill
EASSS
2001
Springer
14 years 2 months ago
Automated Negotiation and Decision Making in Multiagent Environments
This paper presents some of the key techniques for reaching agreements in multi-agent environments. It discusses game-theory and economics based techniques: strategic negotiation, ...
Sarit Kraus