Conferences in DBLP

Agent Theories, Architectures, and Languages (ATAL) (atal)
2001 (conf/atal/2001)

1. John-Jules Ch. Meyer, Milind Tambe
   Introduction. [Citation Graph (0, 0)][DBLP]
   ATAL, 2001, pp:1-5 [Conf]
   
2. Fausto Giunchiglia, Anna Perini, Fabrizio Sannicolò
   Knowledge Level Software Engineering. [Citation Graph (0, 0)][DBLP]
   ATAL, 2001, pp:6-20 [Conf]
   
3. Piotr J. Gmytrasiewicz, Christine L. Lisetti
   Emotions and Personality in Agent Design and Modeling. [Citation Graph (0, 0)][DBLP]
   ATAL, 2001, pp:21-31 [Conf]
   
4. David Kinny
   The Psi Calculus: An Algebraic Agent Language. [Citation Graph (0, 0)][DBLP]
   ATAL, 2001, pp:32-50 [Conf]
   
5. Thomas Wagner, Victor R. Lesser
   Evolving Real-Time Local Agent Control for Large-Scale Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
   ATAL, 2001, pp:51-68 [Conf]
   
6. Yves Lespérance
   On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. [Citation Graph (0, 0)][DBLP]
   ATAL, 2001, pp:69-85 [Conf]
   
7. Alessio Lomuscio, Marek J. Sergot
   On Multi-agent Systems Specification via Deontic Logic. [Citation Graph (0, 0)][DBLP]
   ATAL, 2001, pp:86-99 [Conf]
   
8. Mark Ryan, Pierre-Yves Schobbens
   Agents and Roles: Refinement in Alternating-Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
   ATAL, 2001, pp:100-114 [Conf]
   
9. Michael Wooldridge, Paul E. Dunne
   The Computational Complexity of Agent Verification. [Citation Graph (0, 0)][DBLP]
   ATAL, 2001, pp:115-127 [Conf]
   
10. Manuel Kolp, Paolo Giorgini, John Mylopoulos
    A Goal-Based Organizational Perspective on Multi-agent Architectures. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:128-140 [Conf]
    
11. João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
    MINERVA - A Dynamic Logic Programming Agent Architecture. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:141-157 [Conf]
    
12. Rodrigo Machado, Rafael H. Bordini
    Running AgentSpeak(L) Agents on SIM_AGENT. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:158-174 [Conf]
    
13. Marco Aiello, Paolo Busetta, Antonia Donà, Luciano Serafini
    Ontological Overhearing. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:175-189 [Conf]
    
14. Leila Amgoud, Simon Parsons
    Agent Dialogues with Conflicting Preferences. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:190-205 [Conf]
    
15. Pierre E. Bonzon
    An Abstract Machine for Classes of Communicating Agents Based on Deduction. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:206-220 [Conf]
    
16. Marcus J. Huber, Sanjeev Kumar, Philip R. Cohen, David McGee
    A Formal Semantics for ProxyCommunicative Acts. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:221-234 [Conf]
    
17. Pinar Yolum, Munindar P. Singh
    Commitment Machines. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:235-247 [Conf]
    
18. Luke Hunsberger
    Generating Bids for Group-Related Actions in the Context of Prior Commitments. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:248-263 [Conf]
    
19. Pragnesh Jay Modi, Hyuckchul Jung, Milind Tambe, Wei-Min Shen, Shriniwas Kulkarni
    Dynamic Distributed Resource Allocation: A Distributed Constraint Satisfaction Approach. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:264-276 [Conf]
    
20. Stephen W. Nuchia, Sandip Sen
    Improving Optimality of n Agent Envy-Free Divisions. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:277-289 [Conf]
    
21. Wei Liu, Mary-Anne Williams
    Trustworthiness of Information Sources and Information Pedigrees. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:290-306 [Conf]
    
22. David V. Pynadath, Milind Tambe
    Revisiting Asimov's First Law: A Response to the Call to Arms. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:307-320 [Conf]
    
23. Frank Dignum
    Formal Theories of Negotiation. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:321-323 [Conf]
    
24. 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. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:324-334 [Conf]
    
25. Felix Brandt, Gerhard Weiß
    Antisocial Agents and Vickrey Auctions. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:335-347 [Conf]
    
26. Marc Esteva, Julian A. Padget, Carles Sierra
    Formalizing a Language for Institutions and Norms. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:348-366 [Conf]
    
27. Peyman Faratin, Mark Klein, Hiroki Sayama, Yaneer Bar-Yam
    Simple Negotiating Agents in Complex Games: . [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:367-376 [Conf]
    
28. S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings
    Optimal Negotiation Strategies for Agents with Incomplete Information. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:377-392 [Conf]
    
29. Michael L. Littman, Peter Stone
    Implicit Negotiation in Repeated Games. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:393-404 [Conf]
    
30. Fariba Sadri, Francesca Toni, Paolo Torroni
    Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:405-421 [Conf]
    
31. Timothy W. Finin
    Agents for Hand-Held, Mobile, or Embedded Devices. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:422- [Conf]
    
32. Ryan L. Albuquerque, Jomi Fred Hübner, Gustavo de Paula, Jaime Simão Sichman, Geber Ramalho
    KSACI: A Handheld Device Infrastructure for Agents Communication. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:423-435 [Conf]
    
33. Federico Bergenti, Agostino Poggi
    LEAP: A FIPA Platform for Handheld and Mobile Devices. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:436-446 [Conf]
    
34. Mikko Laukkanen, Sasu Tarkoma, Jani Leinonen
    FIPA-OS Agent Platform for Small-Footprint Devices. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:447-460 [Conf]