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
Nora Faci , Université de Reims
Mikal Ziane , Université Pierre et Marie Curie and Université René Descartes
pp. 514-521

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

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

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

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

The Role of Reactivity in Multiagent Learning (Abstract)

Jing Peng , Tulane University
Bikramjit Banerjee , 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)

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

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

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

On Safe Kernel Stable Coalition Forming among Agents (Abstract)

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

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

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

Towards a Formalization of Teamwork with Resource Constraints (Abstract)

Fernando Ordonez , University of Southern California
Sarit Kraus , Bar-Ilan University
Milind Tambe , University of Southern California
Praveen Paruchuri , University of Southern California
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)

Nicolas Maudet , Université Paris-Dauphine
Ulle Endriss , Imperial College London
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)

Francesco Amigoni , Politecnico di Milano
Nicola Gatti , 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)

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

Negotiation-Based Price Discrimination for Information Goods (Abstract)

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

Achieving Dynamic Interfaces with Agent Concepts (Abstract)

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

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

Viviana Mascardi , Università di Genova
Jomi F. Hübner , University de Blumenau
Rafael H. Bordini , University of Liverpool
Davide Ancona , Università di Genova
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)

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

Trust-Based Mechanism Design (Abstract)

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

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

Frank E. Ritter , Pennsylvania State University
Emma Norling , University of Melbourne
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)

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

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

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

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

Bernard Moulin , Laval University
Jamal Bentahar , 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)

Tuomas Sandholm , Carnegie Mellon University
Felix Brandt , 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)

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

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

Dipanjan Chakraborty , University of Maryland at Baltimore County
Tim Finin , University of Maryland at Baltimore County
Anupam Joshi , University of Maryland at Baltimore County
Filip Perich , University of Maryland at Baltimore County
Harry Chen , 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
Kevin Leyton-Brown , University of British Columbia
Jennifer Wortman , Stanford University
Yoav Shoham , Stanford University
pp. 880-887

Scaling Teamwork to Very Large Teams (Abstract)

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

State-Space Reduction Techniques in Agent Verification (Abstract)

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

Executing Agent UML Diagrams (Abstract)

Stephen Cranefield , University of Otago
Lars Ehrler , Technische Universität Dresden
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
Frank Dignum , Utrecht University
John-Jules Ch. Meyer , Utrecht University
Joris Hulstijn , Utrecht University
pp. 922-929

Universality in Multi-Agent Systems (Abstract)

Sven Brueckner , Altarum Institute
H. Van Dyke Parunak , 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)

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

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

Edmund Durfee , University of Michigan
Dmitri Dolgov , 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)

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

An Architecture for Persistent Reactive Behavior (Abstract)

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