default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Mathematics and Artificial Intelligence, Volume 56

> 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 56, Number 1, May 2009

Special Issue on Artificial Intelligence and Symbolic Computation

- view
  authority control:
- export record
  dblp key:
  - journals/amai/CalmetS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/CalmetS09
Jacques Calmet, Volker Sorge:
Preface. 1-2
- view
  authority control:
- export record
  dblp key:
  - journals/amai/DistlerK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/DistlerK09
Andreas Distler, Tom W. Kelsey:
The monoids of orders eight, nine & ten. 3-21
- view
  authority control:
- export record
  dblp key:
  - journals/amai/DixonD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/DixonD09
Lucas Dixon, Ross Duncan:
Graphical reasoning in compact closed categories for quantum computation. 23-42
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Djelloul09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Djelloul09
Khalil Djelloul:
A full first-order constraint solver for decomposable theories. 43-64
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Peltier09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Peltier09
Nicolas Peltier:
Constructing infinite models represented by tree automata. 65-85
- view
  authority control:
- export record
  dblp key:
  - journals/amai/ZanklM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/ZanklM09
Harald Zankl, Aart Middeldorp:
Increasing interpretations. 87-108

Volume 56, Number 2, June 2009

BISFAI 2007 / Guest Edited by Gal A. Kaminka and Sarit Kraus

- view
  authority control:
- export record
  dblp key:
  - journals/amai/ElkindGGW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/ElkindGGW09
Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael J. Wooldridge:
On the computational complexity of weighted voting games. 109-131
- view
  authority control:
- export record
  dblp key:
  - journals/amai/PennPT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/PennPT09
Michal Penn, Maria Polukarov, Moshe Tennenholtz:
Taxed congestion games with failures. 133-151
- view
  authority control:
- export record
  dblp key:
  - journals/amai/LindnerKK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/LindnerKK09
Michael Lindner, Meir Kalech, Gal A. Kaminka:
A representation for coordination fault detection in large-scale multi-agent systems. 153-186
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BosnackiEGP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BosnackiEGP09
Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled:
On commutativity based Edge Lean search. 187-210
- view
  authority control:
- export record
  dblp key:
  - journals/amai/DomshlakM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/DomshlakM09
Carmel Domshlak, Vitaly Mirkis:
Set-structured and cost-sharing heuristics for classical planning. 211-239

Volume 56, Numbers 3-4, August 2009

- view
  authority control:
- export record
  dblp key:
  - journals/amai/RubioS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/RubioS09
Julio Rubio, Werner M. Seiler:
Applicable algebra and artificial intelligence. 241-243
- view
  authority control:
- export record
  dblp key:
  - journals/amai/ObuaN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/ObuaN09
Steven Obua, Tobias Nipkow:
Flyspeck II: the basic linear programs. 245-272
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Rioboo09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Rioboo09
Renaud Rioboo:
Invariants for the FoCaL language. 273-296
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Roanes-LozanoHLR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Roanes-LozanoHLR09
Eugenio Roanes-Lozano, Antonio Hernando, Luis M. Laita, Eugenio Roanes-Macías:
A Groebner bases-based approach to backward reasoning in rule based expert systems. 297-311
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Mie09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Mie09
Thilo Mie:
Short PCPPs verifiable in polylogarithmic time with O(1) queries. 313-338
- view
  authority control:
- export record
  dblp key:
  - journals/amai/CoquandLS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/CoquandLS09
Thierry Coquand, Henri Lombardi, Peter Schuster:
Spectral schemes as ringed lattices. 339-360
- view
  authority control:
- export record
  dblp key:
  - journals/amai/CabreraCGMO09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/CabreraCGMO09
Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego:
Congruence relations on some hyperstructures. 361-370
- view
  authority control:
- export record
  dblp key:
  - journals/amai/MontanaP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/MontanaP09
José L. Montaña, Luis M. Pardo:
On the Vapnik-Chervonenkis dimension of computer programs which use transcendental elementary operations. 371-388

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.