Annals of Mathematics and Artificial Intelligence, Volume 37

Volume 37, Number 1-2, January 2003

• Jürgen Dix, Fariba Sadri, Ken Satoh:
  Introduction. 1-3
  Electronic Edition (link) BibTeX
• Riccardo Rosati: Minimal Belief and Negation as Failure in Multi-Agent Systems. 5-32 BibTeX
• Leendert W. N. van der Torre: Contextual Deontic Logic: Normative Agents, Violations and Independence. 33-63 BibTeX
• Anna Ciampolini, Evelina Lamma, Paola Mello, Francesca Toni, Paolo Torroni: Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate. 65-91 BibTeX
• Mathijs de Weerdt, André Bos, Hans Tonino, Cees Witteveen: A Resource Logic for Multi-Agent Plan Merging. 93-130 BibTeX
• Michael Luck, Mark d'Inverno: Unifying Agent Systems. 131-167 BibTeX
• Piero A. Bonatti, Sarit Kraus, V. S. Subrahmanian: Secure Agents. 169-235 BibTeX

Volume 37, Number 3, March 2003

• Alasdair Urquhart: Resolution Proofs of Matching Principles. 241-250 BibTeX
• Emmanuel Benoist, Jean-Jacques Hébrard: Recognition of Simple Enlarged Horn Formulas and Simple Extended Horn Formulas. 251-272 BibTeX
• Hans van Maaren, Joost P. Warners: Solving Satisfiability Problems Using Elliptic Approximations. A Note on Volumes and Weights. 273-283 BibTeX
• Etienne de Klerk, Hans van Maaren: On Semidefinite Programming Relaxations of (2+p)-SAT. 285-305 BibTeX
• Inês Lynce, João P. Marques Silva: An Overview of Backtrack Search Satisfiability Algorithms. 307-326 BibTeX

Volume 37, Number 4, April 2003

• Meirav Hadad, Sarit Kraus, Yakov Gal, Raz Lin: Temporal Reasoning for a Collaborative Planning Agent in a Dynamic Environment. 331-379 BibTeX
• Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang: IMPACTing SHOP: Putting an AI Planner Into a Multi-Agent Environment. 381-407 BibTeX
• Sibel Adali, Leo Pigaty: The DARPA Advanced Logistics Project. 409-452 BibTeX