Agent Theories, Architectures, and Languages (ATAL-2001)

Accepted Papers


Accepted Papersfor ATAL-2001

About 70 papers were submitted to ATAL-2001, of which about 40% were accepted:

paper #: 02
authors: Amgoud / Parsons
titel: Agent dialogues with conflicting preferences

paper #: 04
authors: Bergenti / Poggi
titel: A FIPA Platform for Handheld and Mobile Devices
special track Finin

paper #: 05
authors: Bonzon
titel: Just-in-time planning for agents with sensing, or: how we can do
without the situation calculus

paper #: 06
authors: Wooldridge / Dunne
titel: The Computational Complexity of Agent Verification

paper #: 08
authors: Esteva / Padget / Sierra
titel: Formalizing a language for institutions and norms
special track Dignum

paper #: 12
authors: laukkanen / Tarkoma / leinonen
titel: FIPA-OS Agent for Small-footprint Devices
special track Finin

paper #: 13
authors: Brandt / Weiss
titel: Antisocial Agents and Vickrey Auctions
special track Dignum

paper #: 16
authors: Aiello / Busetta / Dona / Serafini
titel: Ontological Overhearing

paper #: 19
authors: Belmonte / Conejo / Perez-de-la-Cruz / Triguero
titel: A Stable and Feasible Payoff Division for Coalition Formation in a
Class of Task Oriented Domains
special track Dignum

paper #: 22
authors: Sadri / Toni / Torroni
titel: Dialogues for negotiation: agent varieties and dialogue sequences
special track Dignum

paper #: 23
authors: Lomuscio / Sergot
titel: On multi-agent systems specification via deontic logic

paper #: 24
authors: Modi / Jung / Tambe / Shen / Shriniwas / Kulkarni
titel: Dynamic distributed resource allocation: A distributed constraint
satisfaction approach

paper #: 25
authors: Kinny
titel: The Psi Calculus: an Algebraic agent language

paper #: 30
authors: Leite /  "Alferes / Pereira
titel: Minerva - A Dynamic logic programming agent architecture

paper #: 31
authors: Liu / Williams
titel: Trustworthiness of information sources and information pedigree

paper #: 32
authors: Albuquerque / Hubner / Paula / Sichman / Ramalho
titel: KSACI: A handheld device infrastructure for agents communication
special track Finin

paper #: 34
authors: Schobbens / Ryan
titel: Agents and roles: Refinement in Alternating-Time temporal logic

paper #: 35
authors: Fatima / Wooldridge / Jennings
titel: Optimal negotiation strategies for agents with incomplete information
special track Dignum

paper #: 38
author: pynadath, tambe
title: Revisiting Asimov's laws: A response to the call to arms

paper #: 40
authors: Gmytrasiewicz, Lisetti
title: Emotions and personality in Agent Design and Modeling

paper #: 44
authors: Huber, Kumar, Cohen, McGee
title: A formal semantics of proxy communicative acts

paper #: 49
author: Yolum, Singh
title: Commitment machines

paper #: 50
author: Hunsberger
title: Generating bids for group-related actions in context of prior
commitments

paper #: 57
author: Faratin, Klein
title: Simple negotiation agents in complex games
Special track Dignum

paper #: 58
author: Machado, Bordini
title: Running AgentSpeak(L) agents on SIM_AGENT

paper #: 59
author: Stone, Littman
title: Implicit negotiation in repeated games
Special track Dignum

paper #: 60
author: Kolp, Giorgini, Mylopoulos
title: A goal-based organizational perspective on multi-agent architectures

paper #: 64
author: Lesperance
title: On epistemic feasibility of plans in multiagent system specifications

paper #: 65
author: Nuchia, Sen
Title: Improving optimality of n agent envy-free division

paper #: 68
author: Wagner, Lesser
Title:  Evolving real-time local agent control for large-scale MAS