


default search action
8th ATAL 2001: Seattle, WA, USA
- John-Jules Ch. Meyer, Milind Tambe:

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 - John-Jules Ch. Meyer, Milind Tambe:

Introduction. 1-5
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
Formal Specification and Verification of Agents
- 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 J. Wooldridge, Paul E. Dunne

:
The Computational Complexity of Agent Verification. 115-127
Agent Architectures and Languages
- 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
Agent Communication
- 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
Collaborative Planning and Resource Allocation
- 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
Trust and Safety
- 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
Formal Theories of Negotiation
- 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 J. 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
Agents for Hand-Held, Mobile, or Embedded Devices
- 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 L. 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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














