default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Mathematics and Artificial Intelligence, Volume 37

> Home > Journals > Annals of Mathematics and Artificial Intelligence

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 37, Number 1-2, January 2003

- view
  authority control:
- export record
  dblp key:
  - journals/amai/DixSS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/DixSS03
Jürgen Dix, Fariba Sadri, Ken Satoh:
Introduction. 1-3
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Rosati03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Rosati03
Riccardo Rosati:
Minimal Belief and Negation as Failure in Multi-Agent Systems. 5-32
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Torre03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Torre03
Leendert W. N. van der Torre:
Contextual Deontic Logic: Normative Agents, Violations and Independence. 33-63
- view
  authority control:
- export record
  dblp key:
  - journals/amai/CiampoliniLMTT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/CiampoliniLMTT03
Anna Ciampolini, Evelina Lamma, Paola Mello, Francesca Toni, Paolo Torroni:
Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate. 65-91
- view
  authority control:
- export record
  dblp key:
  - journals/amai/WeerdtBTW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/WeerdtBTW03
Mathijs de Weerdt, André Bos, Hans Tonino, Cees Witteveen:
A Resource Logic for Multi-Agent Plan Merging. 93-130
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Luckd03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Luckd03
Michael Luck, Mark d'Inverno:
Unifying Agent Systems. 131-167
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BonattiKS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BonattiKS03
Piero A. Bonatti, Sarit Kraus, V. S. Subrahmanian:
Secure Agents. 169-235

Volume 37, Number 3, March 2003

- view
  authority control:
- export record
  dblp key:
  - journals/amai/Urquhart03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Urquhart03
Alasdair Urquhart:
Resolution Proofs of Matching Principles. 241-250
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BenoistH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BenoistH03
Emmanuel Benoist, Jean-Jacques Hébrard:
Recognition of Simple Enlarged Horn Formulas and Simple Extended Horn Formulas. 251-272
- view
  authority control:
- export record
  dblp key:
  - journals/amai/MaarenW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/MaarenW03
Hans van Maaren, Joost P. Warners:
Solving Satisfiability Problems Using Elliptic Approximations. A Note on Volumes and Weights. 273-283
- view
  authority control:
- export record
  dblp key:
  - journals/amai/KlerkM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/KlerkM03
Etienne de Klerk, Hans van Maaren:
On Semidefinite Programming Relaxations of (2+p)-SAT. 285-305
- view
  authority control:
- export record
  dblp key:
  - journals/amai/LynceS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/LynceS03
Inês Lynce, João P. Marques Silva:
An Overview of Backtrack Search Satisfiability Algorithms. 307-326

Volume 37, Number 4, April 2003

- view
  authority control:
- export record
  dblp key:
  - journals/amai/HadadKGL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/HadadKGL03
Meirav Hadad, Sarit Kraus, Ya'akov Gal, Raz Lin:
Temporal Reasoning for a Collaborative Planning Agent in a Dynamic Environment. 331-379
- view
  authority control:
- export record
  dblp key:
  - journals/amai/DixMNZ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/DixMNZ03
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
- view
  authority control:
- export record
  dblp key:
  - journals/amai/AdaliP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/AdaliP03
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.