2. ATAL 1995: Montreal, Canada

Michael Wooldridge, Jörg P. Müller, Milind Tambe (Eds.): Intelligent Agents II, Agent Theories, Architectures, and Languages, IJCAI '95, Workshop (ATAL), Montreal, Canada, August 19-20, 1995, Proceedings. Lecture Notes in Computer Science 1037 Springer 1996, ISBN 3-540-60805-2 BibTeX

@proceedings{DBLP:conf/atal/1995,
  editor    = {Michael Wooldridge and
               J{\"o}rg P. M{\"u}ller and
               Milind Tambe},
  title     = {Intelligent Agents II, Agent Theories, Architectures, and Languages,
               IJCAI '95, Workshop (ATAL), Montreal, Canada, August 19-20, 1995,
               Proceedings},
  booktitle = {ATAL},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1037},
  year      = {1996},
  isbn      = {3-540-60805-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Part I: Theories

Christen Krogh: The Rights of Agents. 1-16 BibTeX
Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Formalising Motivational Attitudes of Agents. 17-32 BibTeX
Anand S. Rao: Decision Procedures for Propositional Linear-Time Belief-Desire-Intention Logics. 33-48 BibTeX
Munindar P. Singh: Semantical Considerations on Some Primitives for Agent Specification. 49-64 BibTeX
Paolo Traverso, Luca Spalazzi, Fausto Giunchiglia: Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World. 65-78 BibTeX
Michael Wooldridge: Time, Knowledge, and Choice. 79-96 BibTeX

Part II: Agent Capabilities

Henry Hexmoor: Learning Routines. 97-110 BibTeX
Jennifer Chu-Carroll, Sandra Carberry: Conflict Detection and Resolution in Collaborative Planning. 111-126 BibTeX

Part III: Agent Modeling

Cristina Bicchieri, Eithan Ephrati, Gian Aldo Antonelli: Games Servers Play: A Procedural Approach. 127-142 BibTeX
Piotr J. Gmytrasiewicz: On Reasoning About Other Agents. 143-155 BibTeX
Milind Tambe, Paul S. Rosenbloom: Architectures for Agents that Track Other Agents in Multi-Agent Worlds. 156-170 BibTeX
José M. Vidal, Edmund H. Durfee: Using Recursive Agent Models Effectively. 171-186 BibTeX

Part IV: Agent Architectures

R. Peter Bonasso, David Kortenkamp, David P. Miller, Marc G. Slack: Experiences with an Architecture for Intelligent, Reactive Agents. 187-202 BibTeX
Klaus Fischer, Jörg P. Müller, Markus Pischel: A Pragmatic BDI Architecture. 203-218 BibTeX
Timothy J. Norman, Derek Long: Alarms: An Implementation of Motivated Agency. 219-234 BibTeX

Part V: Multi-Agent Architectures

Mihai Barbuceanu, Mark S. Fox: The Architecture of an Agent Building Shell. 235-250 BibTeX
Carlos Angel Iglesias, José Centeno-González, Juan R. Velasco: MIX: A General Purpose Multiagent Architecture. 251-266 BibTeX
Jean-François Arcand, Sophie-Julie Pelletier: Cognition Based Multi-Agent Architecture. 267-282 BibTeX
Tracy Mullen, Michael P. Wellman: Some Issues in the Design of Market-Oriented Agents. 283-298 BibTeX

Part VI: Languages

Claire Beyssade, Patrice Enjalbert, Claire Lefèvre: Cooperating Logical Agents. 299-314 BibTeX
Sylvain Giroux: Open Reflective Agents. 315-330 BibTeX
Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Richard B. Scherl: Foundations of a Logical Approach to Agent Programming. 331-346 BibTeX
James Mayfield, Yannis Labrou, Timothy W. Finin: Evaluation of KQML as an Agent Communication Language. 347-360 BibTeX

Part VII: Agent Testbeds and Evaluation

Benedita Malheiro, Eugenio Oliveira: Consistency and Context Management in a Multi-Agent Belief Revision Testbed. 361-375 BibTeX
Jörg P. Müller: A Markovian Model for Interaction among Behavior-Based Agents. 376-391 BibTeX
Aaron Sloman, Riccardo Poli: SIM_AGENT: A Toolkit for Exploring Agent Designs. 392-407 BibTeX
Michael Wooldridge, Jörg P. Müller, Milind Tambe: Agent Theories, Architectures, and Languages: A Bibliography. 408-431 BibTeX