Volume 37, Number 1-2, January 2003
- Riccardo Rosati: Minimal Belief and Negation as Failure in Multi-Agent Systems. 5-32
- Leendert W. N. van der Torre: Contextual Deontic Logic: Normative Agents, Violations and Independence. 33-63
- Anna Ciampolini, Evelina Lamma, Paola Mello, Francesca Toni, Paolo Torroni: Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate. 65-91
- Mathijs de Weerdt, André Bos, Hans Tonino, Cees Witteveen: A Resource Logic for Multi-Agent Plan Merging. 93-130
Volume 37, Number 3, March 2003
- Alasdair Urquhart: Resolution Proofs of Matching Principles. 241-250
- Emmanuel Benoist, Jean-Jacques Hébrard: Recognition of Simple Enlarged Horn Formulas and Simple Extended Horn Formulas. 251-272
- Hans van Maaren, Joost P. Warners: Solving Satisfiability Problems Using Elliptic Approximations. A Note on Volumes and Weights. 273-283
- Inês Lynce, João P. Marques Silva: An Overview of Backtrack Search Satisfiability Algorithms. 307-326
Volume 37, Number 4, April 2003
- Meirav Hadad, Sarit Kraus, Ya'akov Gal, Raz Lin: Temporal Reasoning for a Collaborative Planning Agent in a Dynamic Environment. 331-379
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team