Annals of Mathematics and Artificial Intelligence, Volume 56

Volume 56, Number 1, May 2009

• Jacques Calmet, Volker Sorge:
  Preface. 1-2
  
• Andreas Distler, Tom Kelsey:
  The monoids of orders eight, nine & ten. 3-21
  
• Lucas Dixon, Ross Duncan:
  Graphical reasoning in compact closed categories for quantum computation. 23-42
  
• Khalil Djelloul:
  A full first-order constraint solver for decomposable theories. 43-64
  
• Nicolas Peltier:
  Constructing infinite models represented by tree automata. 65-85
  
• Harald Zankl, Aart Middeldorp:
  Increasing interpretations. 87-108
  

Volume 56, Number 2, June 2009

• Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael Wooldridge:
  On the computational complexity of weighted voting games. 109-131
  
• Michal Penn, Maria Polukarov, Moshe Tennenholtz:
  Taxed congestion games with failures. 133-151
  
• Michael Lindner, Meir Kalech, Gal A. Kaminka:
  A representation for coordination fault detection in large-scale multi-agent systems. 153-186
  
• Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled:
  On commutativity based Edge Lean search. 187-210
  
• Carmel Domshlak, Vitaly Mirkis:
  Set-structured and cost-sharing heuristics for classical planning. 211-239
  

Volume 56, Numbers 3-4, August 2009

• Julio Rubio, Werner Seiler:
  Applicable algebra and artificial intelligence. 241-243
  
• Steven Obua, Tobias Nipkow:
  Flyspeck II: the basic linear programs. 245-272
  
• Renaud Rioboo:
  Invariants for the FoCaL language. 273-296
  
• 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
  
• Thilo Mie:
  Short PCPPs verifiable in polylogarithmic time with O(1) queries. 313-338
  
• Thierry Coquand, Henri Lombardi, Peter Schuster:
  Spectral schemes as ringed lattices. 339-360
  
• Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego:
  Congruence relations on some hyperstructures. 361-370
  
• José L. Montaña, Luis M. Pardo:
  On the Vapnik-Chervonenkis dimension of computer programs which use transcendental elementary operations. 371-388
  

Last update Fri May 24 19:59:45 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page