Volume 56, Number 1, May 2009

Special Issue on Artificial Intelligence and Symbolic Computation

• 
  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

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

• 
  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