The Community for Technology Leaders
Autonomous Agents and Multiagent Systems, International Joint Conference on (2004)
New York City, New York, USA
July 19, 2004 to July 23, 2004
ISBN: 0-7695-2092-8
TABLE OF CONTENTS
Session 4b: Multi-Agent Issues and Learning

Monitoring and Organizational-Level Adaptation of Multi-Agent Systems (Abstract)

Zahia Guessoum , Université Pierre et Marie Curie
Mikal Ziane , Université Pierre et Marie Curie and Université René Descartes
Nora Faci , Université de Reims
pp. 514-521

Product Distribution Theory for Control of Multi-Agent Systems (Abstract)

Chiu Fan Lee , Oxford University
David H. Wolpert , NASA Ames Research Center
pp. 522-529

Multiagent Traffic Management: A Reservation-Based Intersection Control Mechanism (Abstract)

Kurt Dresner , University of Texas at Austin
Peter Stone , University of Texas at Austin
pp. 530-537

The Role of Reactivity in Multiagent Learning (Abstract)

Bikramjit Banerjee , Tulane University
Jing Peng , Tulane University
pp. 538-545

Degree of Local Cooperation and Its Implication on Global Utility (Abstract)

Jiaying Shen , University of Massachusetts at Amherst
Xiaoqin Zhang , University of Massachusetts at Dartmouth
Victor Lesser , University of Massachusetts at Amherst
pp. 546-553
Session 4c: Coalitions

Agent Heterogeneity and Coalition Formation: Investigating Market-Based Cooperative Problem Solving (Abstract)

David Cornforth , Charles Sturt University
Michael Kirley , University of Melbourne
Terry Bossomaier , Charles Sturt University
pp. 556-563

Generating Coalition Structures with Finite Bound from the Optimal Guarantees (Abstract)

Viet Dung Dang , University of Southampton
Nicholas R. Jennings , University of Southampton
pp. 564-571

Modelling Coalition Formation over Time for Iterative Coalition Games (Abstract)

Carlos Mérida-Campos , Universitat Politechnica de Caralunya
Steven Willmott , Universitat Politechnica de Caralunya
pp. 572-579

On Safe Kernel Stable Coalition Forming among Agents (Abstract)

Bastian Blankenburg , German Research Center for Artifical Intelligence, Deduction and Multiagent Systems
Matthias Klusch , German Research Center for Artifical Intelligence, Deduction and Multiagent Systems
pp. 580-587

The Advantages of Compromising in Coalition Formation with Incomplete Information (Abstract)

Sarit Kraus , Bar-Ilan University and University of Maryland at College Park
Onn Shehory , IBM Research Lab in Haifa
Gilad Taase , Bar-Ilan University
pp. 588-595

Towards a Formalization of Teamwork with Resource Constraints (Abstract)

Praveen Paruchuri , University of Southern California
Milind Tambe , University of Southern California
Fernando Ordonez , University of Southern California
Sarit Kraus , Bar-Ilan University
pp. 596-603
Session 4d: Logic and Formal Methods

A Complete and Decidable Logic for Resource-Bounded Agents (Abstract)

Natasha Alechina , University of Nottingham
Brian Logan , University of Nottingham
Mark Whitsey , University of Nottingham
pp. 606-613

A Logical Approach for Describing (Dis)Belief Change and Message Processing (Abstract)

Laurent Perrussel , IRIT-Universit? Toulouse 1
Jean-Marc Th?venin , IRIT-Universit? Toulouse 1
pp. 614-621

On the Communication Complexity of Multilateral Trading (Abstract)

Ulle Endriss , Imperial College London
Nicolas Maudet , Université Paris-Dauphine
pp. 622-629

Verification of Multiagent Systems via Unbounded Model Checking (Abstract)

Magdalena Kacprzak , Bia?ystok University of Technology
Alessio Lomuscio , King?s College London
Wojciech Penczek , ICS PAS and Podlasie Academy
pp. 638-645

Unbounded Model Checking for Alternating-Time Temporal Logic (Abstract)

M. Kacprzak , Bia?ystok University of Technology
W. Penczek , Institute of Computer Science, PAS and Podlasie Academy
pp. 646-653
Session 5a: Negotiation (I)

A Cooperative Negotiation Protocol for Physiological Model Combination (Abstract)

Nicola Gatti , Politecnico di Milano
Francesco Amigoni , Politecnico di Milano
pp. 655-662

Bargaining with Information (Abstract)

John Debenham , University of Technology, Sydney
pp. 663-670

Experiments in Human Multi-Issue Negotiation: Analysis and Support (Abstract)

Tibor Bosse , Vrije Universiteit Amsterdam
Catholijn M. Jonker , Vrije Universiteit Amsterdam
Jan Treur , Vrije Universiteit Amsterdam and Utrecht University
pp. 671-678

Negotiation-Based Price Discrimination for Information Goods (Abstract)

Gabi Koifman , Technion, Israel Institute of Technology
Onn Shehory , IBM Haifa Research Lab
Avigdor Gal , Technion, Israel Institute of Technology
pp. 679-686
Session 5b: Agent Programming Languages

Achieving Dynamic Interfaces with Agent Concepts (Abstract)

Thomas Juan , University of Melbourne
Leon Sterling , University of Melbourne
pp. 688-695

Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange (Abstract)

Davide Ancona , Università di Genova
Viviana Mascardi , Università di Genova
Jomi F. Hübner , University de Blumenau
Rafael H. Bordini , University of Liverpool
pp. 696-705

The SPARK Agent Framework (Abstract)

David Morley , SRI International
Karen Myers , SRI International
pp. 714-721
Session 5c: Artificial Social Systems (I)

Desires, Norms and Constraints (Abstract)

Laurence Cholvy , ONERA Toulouse
pp. 724-731

Normative Agent Reasoning in Dynamic Societies (Abstract)

Fabiola López y López , Benemérita Universidad Autónoma de Puebla
Michael Luck , University of Southampton
Mark d?Inverno , University of Westminster
pp. 732-739

Trust-Based Mechanism Design (Abstract)

Rajdeep K. Dash , University of Southampton
Sarvapali D. Ramchurn , University of Southampton
Nicholas R. Jennings , University of Southampton
pp. 748-755
Session 5d: Social Reasoning

Towards Supporting Psychologically Plausible Variability in Agent-Based Human Modelling (Abstract)

Emma Norling , University of Melbourne
Frank E. Ritter , Pennsylvania State University
pp. 758-765

A Planner-Independent Collaborative Planning Assistant (Abstract)

Hyeok-Soo Kim , University of Southern California
Jonathan Gratch , University of Southern California
pp. 766-773

Reasoning about Rationality and Beliefs (Abstract)

Ya?akov Gal , Harvard University
Avi Pfeffer , Harvard University
pp. 774-781

The Influence of Social Dependencies on Decision-Making: Initial Investigations with a New Game (Abstract)

Barbara J. Grosz , Harvard University
Sarit Kraus , Bar-Ilan University
Shavit Talman , Bar-Ilan University
Boaz Stossel , Bar-Ilan University
Moti Havlin , Bar-Ilan University
pp. 782-789
Session 6a: Argumentation

A Logical Model for Commitment and Argument Network for Agent Communication (Abstract)

Jamal Bentahar , Laval University
Bernard Moulin , Laval University
John-Jules Ch. Meyer , University Utrecht
Brahim Chaib-draa , Laval University
pp. 792-799

A Logic of Multiple-Valued Argumentation (Abstract)

Takehisa Takahashi , Niigata University
Hajime Sawamura , Niigata University
pp. 800-807
Session 6b: Auctions (II)

(Im)Possibility of Unconditionally Privacy-Preserving Auctions (Abstract)

Felix Brandt , Carnegie Mellon University
Tuomas Sandholm , Carnegie Mellon University
pp. 810-817

Rule-Based Specification of Auction Mechanisms (Abstract)

Kevin M. Lochner , University of Michigan
Michael P. Wellman , University of Michigan
pp. 818-825
Session 6c: Artificial Social Systems (II)
Session 6d: Ontologies

Domain Independent Learning of Ontology Mappings (Abstract)

Floris Wiesman , Universiteit van Amsterdam
Nico Roos , Universiteit Maastricht
pp. 846-853

Intelligent Agents Meet Semantic Web in a Smart Meeting Room (Abstract)

Harry Chen , University of Maryland at Baltimore County
Filip Perich , University of Maryland at Baltimore County
Dipanjan Chakraborty , University of Maryland at Baltimore County
Tim Finin , University of Maryland at Baltimore County
Anupam Joshi , University of Maryland at Baltimore County
pp. 854-861
Session 7a: Scalability and Performance

A Comparison of Fast Search Methods for Real-Time Situated Agents (Abstract)

Sven Koenig , University of Southern California
pp. 864-871

Exploring the Scalability of Character-Based Storytelling (Abstract)

Fred Charles , University of Teesside
Marc Cavazza , University of Teesside
pp. 872-879

Run the GAMUT: A Comprehensive Approach to Evaluating Game-Theoretic Algorithms (Abstract)

Eugene Nudelman , Stanford University
Jennifer Wortman , Stanford University
Yoav Shoham , Stanford University
Kevin Leyton-Brown , University of British Columbia
pp. 880-887

Scaling Teamwork to Very Large Teams (Abstract)

Paul Scerri , Carnegie Mellon University
Yang Xu , University of Pittsburgh
Elizabeth Liao , Carnegie Mellon University
Justin Lai , Carnegie Mellon University
Katia Sycara , Carnegie Mellon University
pp. 888-895

State-Space Reduction Techniques in Agent Verification (Abstract)

Rafael H. Bordini , University of Liverpool
Michael Fisher , University of Liverpool
Willem Visser , RIACS/NASA Ames Research Center
Michael Wooldridge , University of Liverpool
pp. 896-903
Session 7b: Agent-Oriented Software Engineering

Executing Agent UML Diagrams (Abstract)

Lars Ehrler , Technische Universität Dresden
Stephen Cranefield , University of Otago
pp. 906-913

A UML Based Approach for Modeling and Implementing Multi-Agent Systems (Abstract)

Viviane Torres da Silva , Pontif?cia Universidade Cat?lica do Rio de Janeiro
Ricardo Choren , Pontif?cia Universidade Cat?lica do Rio de Janeiro
Carlos J. P. de Lucena , Pontif?cia Universidade Cat?lica do Rio de Janeiro
pp. 914-921

Issues in Multiagent System Development (Abstract)

Mehdi Dastani , Utrecht University
Joris Hulstijn , Utrecht University
Frank Dignum , Utrecht University
John-Jules Ch. Meyer , Utrecht University
pp. 922-929

Universality in Multi-Agent Systems (Abstract)

H. Van Dyke Parunak , Altarum Institute
Sven Brueckner , Altarum Institute
Robert Savit , University of Michigan
pp. 930-937
Session 7c: Agency and Autonomy

Contracts as Legal Institutions in Organizations of Autonomous Agents (Abstract)

Guido Boella , Università di Torino
Leendert van der Torre , CWI-Amsterdam and Delft University of Technology
pp. 948-955

Graphical Models in Local, Asymmetric Multi-Agent Markov Decision Processes (Abstract)

Dmitri Dolgov , University of Michigan
Edmund Durfee , University of Michigan
pp. 956-963

Groups as Agents with Mental Attitudes (Abstract)

Guido Boella , Università di Torino
Leendert van der Torre , CWI-Amsterdam and Delft University of Technology
pp. 964-971

Multiagent Planning as Control Synthesis (Abstract)

Kiam-Tian Seow , Nanyang Technological University
Chuan Ma , University of Toronto
Makoto Yokoo , Kyushu University
pp. 972-979

Unifying Temporal and Structural Credit Assignment Problems (Abstract)

Adrian K. Agogino , UCSC, NASA Ames Research Center
Kagan Tumer , NASA Ames Research Center
pp. 980-987

An Architecture for Persistent Reactive Behavior (Abstract)

Dongkyu Choi , Stanford University
Matt Kaufman , Stanford University
Pat Langley , Stanford University
Negin Nejati , Stanford University
Daniel Shapiro , Stanford University
pp. 988-995
80 ms
(Ver 3.3 (11022016))