default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Mathematics and Artificial Intelligence, Volume 37
Volume 37, Number 1-2, January 2003
- Jürgen Dix, Fariba Sadri, Ken Satoh:
Introduction. 1-3 - 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 - Michael Luck, Mark d'Inverno:
Unifying Agent Systems. 131-167 - Piero A. Bonatti, Sarit Kraus, V. S. Subrahmanian:
Secure Agents. 169-235
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 - Etienne de Klerk, Hans van Maaren:
On Semidefinite Programming Relaxations of (2+p)-SAT. 285-305 - 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 - Sibel Adali, Leo Pigaty:
The DARPA Advanced Logistics Project. 409-452
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-28 22:06 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:
