default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th 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.
last updated on 2025-02-04 21:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
