ATAL

Keyphrases

Publications

volume 2333, 2002

Intelligent Agents VIII, 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001, Revised Papers ATAL 2333 (2002)

2001

David Kinny
The Psi Calculus: An Algebraic Agent Language. ATAL (2001)
Pragnesh Jay Modi, Hyuckchul Jung, Milind Tambe, Wei-Min Shen, Shriniwas Kulkarni
Dynamic Distributed Resource Allocation: A Distributed Constraint Satisfaction Approach. ATAL (2001)
Luke Hunsberger
Generating Bids for Group-Related Actions in the Context of Prior Commitments. ATAL (2001)
Felix Brandt, Gerhard Weiß
Antisocial Agents and Vickrey Auctions. ATAL (2001)
Fariba Sadri, Francesca Toni, Paolo Torroni
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. ATAL (2001)
Piotr J. Gmytrasiewicz, Christine L. Lisetti
Emotions and Personality in Agent Design and Modeling. ATAL (2001)
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. ATAL (2001)
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
MINERVA - A Dynamic Logic Programming Agent Architecture. ATAL (2001)
Michael L. Littman, Peter Stone
Implicit Negotiation in Repeated Games. ATAL (2001)
Marc Esteva, Julian A. Padget, Carles Sierra
Formalizing a Language for Institutions and Norms. ATAL (2001)
Alessio Lomuscio, Marek J. Sergot
On Multi-agent Systems Specification via Deontic Logic. ATAL (2001)
Pinar Yolum, Munindar P. Singh
Commitment Machines. ATAL (2001)
Ryan L. Albuquerque, Jomi Fred Hübner, Gustavo de Paula, Jaime Simão Sichman, Geber L. Ramalho
KSACI: A Handheld Device Infrastructure for Agents Communication. ATAL (2001)
Manuel Kolp, Paolo Giorgini, John Mylopoulos
A Goal-Based Organizational Perspective on Multi-agent Architectures. ATAL (2001)
Federico Bergenti, Agostino Poggi
LEAP: A FIPA Platform for Handheld and Mobile Devices. ATAL (2001)
Michael J. Wooldridge, Paul E. Dunne
The Computational Complexity of Agent Verification. ATAL (2001)
Mark Ryan, Pierre-Yves Schobbens
Agents and Roles: Refinement in Alternating-Time Temporal Logic. ATAL (2001)
Wei Liu, Mary-Anne Williams
Trustworthiness of Information Sources and Information Pedigrees. ATAL (2001)
Peyman Faratin, Mark Klein, Hiroki Sayama, Yaneer Bar-Yam
Simple Negotiating Agents in Complex Games: . ATAL (2001)
David V. Pynadath, Milind Tambe
Revisiting Asimov's First Law: A Response to the Call to Arms. ATAL (2001)
S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
Optimal Negotiation Strategies for Agents with Incomplete Information. ATAL (2001)
Stephen W. Nuchia, Sandip Sen
Improving Optimality of n Agent Envy-Free Divisions. ATAL (2001)
Thomas Wagner, Victor R. Lesser
Evolving Real-Time Local Agent Control for Large-Scale Multi-agent Systems. ATAL (2001)
Rodrigo Machado, Rafael H. Bordini
Running AgentSpeak(L) Agents on SIM_AGENT. ATAL (2001)
Leila Amgoud, Simon Parsons
Agent Dialogues with Conflicting Preferences. ATAL (2001)
Timothy W. Finin
Agents for Hand-Held, Mobile, or Embedded Devices. ATAL (2001)
Pierre E. Bonzon
An Abstract Machine for Classes of Communicating Agents Based on Deduction. ATAL (2001)
Frank Dignum
Formal Theories of Negotiation. ATAL (2001)
Fausto Giunchiglia, Anna Perini, Fabrizio Sannicolò
Knowledge Level Software Engineering. ATAL (2001)
Marcus J. Huber, Sanjeev Kumar, Philip R. Cohen, David McGee
A Formal Semantics for ProxyCommunicative Acts. ATAL (2001)
Yves Lespérance
On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. ATAL (2001)
Marco Aiello, Paolo Busetta, Antonia Donà, Luciano Serafini
Ontological Overhearing. ATAL (2001)
Mikko Laukkanen, Sasu Tarkoma, Jani Leinonen
FIPA-OS Agent Platform for Small-Footprint Devices. ATAL (2001)
John-Jules Ch. Meyer, Milind Tambe
Introduction. ATAL (2001)

volume 1986, 2001

Intelligent Agents VII. Agent Theories Architectures and Languages, 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000, Proceedings ATAL 1986 (2001)

2000

volume 1757, 2000

Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL), 6th International Workshop, ATAL '99, Orlando, Florida, USA, July 15-17, 1999, Proceedings ATAL 1757 (2000)