8. ATAL 2001: Seattle, WA, USA

John-Jules Ch. Meyer, Milind Tambe (Eds.): Intelligent Agents VIII, 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001, Revised Papers. Lecture Notes in Computer Science 2333 Springer 2002, ISBN 3-540-43858-0

Agent Modeling

Fausto Giunchiglia, Anna Perini, Fabrizio Sannicolò:
Knowledge Level Software Engineering. 6-20
Piotr J. Gmytrasiewicz, Christine L. Lisetti:
Emotions and Personality in Agent Design and Modeling. 21-31
David Kinny:
The Psi Calculus: An Algebraic Agent Language. 32-50
Thomas Wagner, Victor R. Lesser:
Evolving Real-Time Local Agent Control for Large-Scale Multi-agent Systems. 51-68

Yves Lespérance:
On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. 69-85
Alessio Lomuscio, Marek J. Sergot:
On Multi-agent Systems Specification via Deontic Logic. 86-99
Mark Ryan, Pierre-Yves Schobbens:
Agents and Roles: Refinement in Alternating-Time Temporal Logic. 100-114
Michael Wooldridge, Paul E. Dunne:
The Computational Complexity of Agent Verification. 115-127

Manuel Kolp, Paolo Giorgini, John Mylopoulos:
A Goal-Based Organizational Perspective on Multi-agent Architectures. 128-140
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira:
MINERVA - A Dynamic Logic Programming Agent Architecture. 141-157
Rodrigo Machado, Rafael H. Bordini:
Running AgentSpeak(L) Agents on SIM_AGENT. 158-174

Marco Aiello, Paolo Busetta, Antonia Donà, Luciano Serafini:
Ontological Overhearing. 175-189
Leila Amgoud, Simon Parsons:
Agent Dialogues with Conflicting Preferences. 190-205
Pierre E. Bonzon:
An Abstract Machine for Classes of Communicating Agents Based on Deduction. 206-220
Marcus J. Huber, Sanjeev Kumar, Philip R. Cohen, David McGee:
A Formal Semantics for ProxyCommunicative Acts. 221-234
Pinar Yolum, Munindar P. Singh:
Commitment Machines. 235-247

Luke Hunsberger:
Generating Bids for Group-Related Actions in the Context of Prior Commitments. 248-263
Pragnesh Jay Modi, Hyuckchul Jung, Milind Tambe, Wei-Min Shen, Shriniwas Kulkarni:
Dynamic Distributed Resource Allocation: A Distributed Constraint Satisfaction Approach. 264-276
Stephen W. Nuchia, Sandip Sen:
Improving Optimality of n Agent Envy-Free Divisions. 277-289

Wei Liu, Mary-Anne Williams:
Trustworthiness of Information Sources and Information Pedigrees. 290-306
David V. Pynadath, Milind Tambe:
Revisiting Asimov's First Law: A Response to the Call to Arms. 307-320

Frank Dignum:
Formal Theories of Negotiation. 321-323
María-Victoria Belmonte, Ricardo Conejo, José-Luis Pérez-de-la-Cruz, Francisco Triguero Ruiz:
A Stable and Feasible Payoff Division for Coalition Formation in a Class of Task Oriented Domains. 324-334
Felix Brandt, Gerhard Weiß:
Antisocial Agents and Vickrey Auctions. 335-347
Marc Esteva, Julian A. Padget, Carles Sierra:
Formalizing a Language for Institutions and Norms. 348-366
Peyman Faratin, Mark Klein, Hiroki Sayama, Yaneer Bar-Yam:
Simple Negotiating Agents in Complex Games: . 367-376
S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings:
Optimal Negotiation Strategies for Agents with Incomplete Information. 377-392
Michael L. Littman, Peter Stone:
Implicit Negotiation in Repeated Games. 393-404
Fariba Sadri, Francesca Toni, Paolo Torroni:
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. 405-421

Timothy W. Finin:
Agents for Hand-Held, Mobile, or Embedded Devices. 422
Ryan L. Albuquerque, Jomi Fred Hübner, Gustavo de Paula, Jaime Simão Sichman, Geber Ramalho:
KSACI: A Handheld Device Infrastructure for Agents Communication. 423-435
Federico Bergenti, Agostino Poggi:
LEAP: A FIPA Platform for Handheld and Mobile Devices. 436-446
Mikko Laukkanen, Sasu Tarkoma, Jani Leinonen:
FIPA-OS Agent Platform for Small-Footprint Devices. 447-460

Last update Wed Feb 15 04:54:54 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page