AAMAS 2004: New York, NY, USA

@proceedings{DBLP:conf/atal/2004,
  title     = {3rd International Joint Conference on Autonomous Agents and Multiagent
               Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA},
  booktitle = {AAMAS},
  publisher = {IEEE Computer Society},
  year      = {2004},
  isbn      = {1-58113-864-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Multi-Agent Issues and Learning

• Michael Weinberg, Jeffrey S. Rosenschein:
  Best-Response Multiagent Learning in Non-Stationary Environments. 506-513
  
• Zahia Guessoum, Mikal Ziane, Nora Faci:
  Monitoring and Organizational-Level Adaptation of Multi-Agent Systems. 514-521
  
• Chiu Fan Lee, David H. Wolpert:
  Product Distribution Theory for Control of Multi-Agent Systems. 522-529
  
• Kurt M. Dresner, Peter Stone:
  Multiagent Traffic Management: A Reservation-Based Intersection Control Mechanism. 530-537
  
• Bikramjit Banerjee, Jing Peng:
  The Role of Reactivity in Multiagent Learning. 538-545
  
• Jiaying Shen, Xiaoqin Zhang, Victor R. Lesser:
  Degree of Local Cooperation and Its Implication on Global Utility. 546-553
  

Coalitions

• David Cornforth, Michael Kirley, Terry Bossomaier:
  Agent Heterogeneity and Coalition Formation: Investigating Market-Based Cooperative Problem Solving. 556-563
  
• Viet Dung Dang, Nicholas R. Jennings:
  Generating Coalition Structures with Finite Bound from the Optimal Guarantees. 564-571
  
• Carlos Mérida-Campos, Steven Willmott:
  Modelling Coalition Formation over Time for Iterative Coalition Games. 572-579
  
• Bastian Blankenburg, Matthias Klusch:
  On Safe Kernel Stable Coalition Forming among Agents. 580-587
  
• Sarit Kraus, Onn Shehory, Gilad Taase:
  The Advantages of Compromising in Coalition Formation with Incomplete Information. 588-595
  
• Praveen Paruchuri, Milind Tambe, Fernando Ordóñez, Sarit Kraus:
  Towards a Formalization of Teamwork with Resource Constraints. 596-603
  

Logic and Formal Methods

• Natasha Alechina, Brian Logan, Mark Whitsey:
  A Complete and Decidable Logic for Resource-Bounded Agents. 606-613
  
• Laurent Perrussel, Jean-Marc Thévenin:
  A Logical Approach for Describing (Dis)Belief Change and Message Processing. 614-621
  
• Ulrich Endriss, Nicolas Maudet:
  On the Communication Complexity of Multilateral Trading. 622-629
  
• Franco Raimondi, Alessio Lomuscio:
  Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation. 630-637
  
• Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek:
  Verification of Multiagent Systems via Unbounded Model Checking. 638-645
  
• Magdalena Kacprzak, Wojciech Penczek:
  Unbounded Model Checking for Alternating-Time Temporal Logic. 646-653
  

Negotiation (I)

• Nicola Gatti, Francesco Amigoni:
  A Cooperative Negotiation Protocol for Physiological Model Combination. 655-662
  
• John K. Debenham:
  Bargaining with Information. 663-670
  
• Tibor Bosse, Catholijn M. Jonker, Jan Treur:
  Experiments in Human Multi-Issue Negotiation: Analysis and Support. 671-678
  
• Gabi Koifman, Onn Shehory, Avigdor Gal:
  Negotiation-Based Price Discrimination for Information Goods. 679-686
  

Agent Programming Languages

• Thomas Juan, Leon Sterling:
  Achieving Dynamic Interfaces with Agent Concepts. 688-695
  
• Davide Ancona, Viviana Mascardi, Jomi Fred Hübner, Rafael H. Bordini:
  Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange. 696-705
  
• Mehdi Dastani, Leendert W. N. van der Torre:
  Programming BOID-Plan Agents: Deliberating about Conflicts among Defeasible Mental Attitudes and Plans. 706-713
  
• David N. Morley, Karen L. Myers:
  The SPARK Agent Framework. 714-721
  

Artificial Social Systems (I)

• Laurence Cholvy, Christophe Garion:
  Desires, Norms and Constraints. 724-731
  
• Fabiola López y López, Michael Luck, Mark d'Inverno:
  Normative Agent Reasoning in Dynamic Societies. 732-739
  
• Rino Falcone, Cristiano Castelfranchi:
  Trust Dynamics: How Trust Is Influenced by Direct Experiences and by Trust Itself. 740-747
  
• Rajdeep K. Dash, Sarvapali D. Ramchurn, Nicholas R. Jennings:
  Trust-Based Mechanism Design. 748-755
  

Social Reasoning

• Emma Norling, Frank E. Ritter:
  Towards Supporting Psychologically Plausible Variability in Agent-Based Human Modelling. 758-765
  
• Hyeok-Soo Kim, Jonathan Gratch:
  A Planner-Independent Collaborative Planning Assistant. 766-773
  
• Ya'akov Gal, Avi Pfeffer:
  Reasoning about Rationality and Beliefs. 774-781
  
• Barbara J. Grosz, Sarit Kraus, Shavit Talman, Boaz Stossel, Moti Havlin:
  The Influence of Social Dependencies on Decision-Making: Initial Investigations with a New Game. 782-789
  

Argumentation

• Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa:
  A Logical Model for Commitment and Argument Network for Agent Communication. 792-799
  
• Takehisa Takahashi, Hajime Sawamura:
  A Logic of Multiple-Valued Argumentation. 800-807
  

Auctions (II)

• Felix Brandt, Tuomas Sandholm:
  Im)Possibility of Unconditionally Privacy-Preserving Auctions. 810-817
  
• Kevin M. Lochner, Michael P. Wellman:
  Rule-Based Specification of Auction Mechanisms. 818-825
  

Artificial Social Systems (II)

• Thomas Tran, Robin Cohen:
  Improving User Satisfaction in Agent-Based Electronic Marketplaces by Reputation Modelling and Adjustable Product Quality. 828-835
  
• Toshihiro Osaragi:
  Modeling of Pedestrian Behavior and Its Applications to Spatial Evaluation. 836-843
  

Ontologies

• Floris Wiesman, Nico Roos:
  Domain Independent Learning of Ontology Mappings. 846-853
  
• Harry Chen, Filip Perich, Dipanjan Chakraborty, Timothy W. Finin, Anupam Joshi:
  Intelligent Agents Meet Semantic Web in a Smart Meeting Room. 854-861
  

Scalability and Performance

• Sven Koenig:
  A Comparison of Fast Search Methods for Real-Time Situated Agents. 864-871
  
• Fred Charles, Marc Cavazza:
  Exploring the Scalability of Character-Based Storytelling. 872-879
  
• Eugene Nudelman, Jennifer Wortman, Yoav Shoham, Kevin Leyton-Brown:
  Run the GAMUT: A Comprehensive Approach to Evaluating Game-Theoretic Algorithms. 880-887
  
• Paul Scerri, Yang Xu, Elizabeth Liao, Justin Lai, Katia Sycara-Cyranski:
  Scaling Teamwork to Very Large Teams. 888-895
  
• Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge:
  State-Space Reduction Techniques in Agent Verification. 896-903
  

Agent-Oriented Software Engineering

• Lars Ehrler, Stephen Cranefield:
  Executing Agent UML Diagrams. 906-913
  
• Viviane Torres da Silva, Ricardo Choren, Carlos José Pereira de Lucena:
  A UML Based Approach for Modeling and Implementing Multi-Agent Systems. 914-921
  
• Mehdi Dastani, Joris Hulstijn, Frank Dignum, John-Jules Ch. Meyer:
  Issues in Multiagent System Development. 922-929
  
• H. Van Dyke Parunak, Sven Brueckner, Robert Savit:
  Universality in Multi-Agent Systems. 930-937
  
• Bruce Edmonds, Joanna Bryson:
  The Insufficiency of Formal Design Methods - The Necessity of an Experimental Approach - for the Understanding and Control of Complex MAS. 938-945
  

Agency and Autonomy

• Guido Boella, Leendert W. N. van der Torre:
  Contracts as Legal Institutions in Organizations of Autonomous Agents. 948-955
  
• Dmitri A. Dolgov, Edmund H. Durfee:
  Graphical Models in Local, Asymmetric Multi-Agent Markov Decision Processes. 956-963
  
• Guido Boella, Leendert W. N. van der Torre:
  Groups as Agents with Mental Attitudes. 964-971
  
• Kiam Tian Seow, Chuan Ma, Makoto Yokoo:
  Multiagent Planning as Control Synthesis. 972-979
  
• Adrian K. Agogino, Kagan Tumer:
  Unifying Temporal and Structural Credit Assignment Problems. 980-987
  
• Dongkyu Choi, Matt Kaufman, Pat Langley, Negin Nejati, Daniel G. Shapiro:
  An Architecture for Persistent Reactive Behavior. 988-995