External Links

    Journal: Annals of Mathematics and Artificial Intelligence

    Volume 56, Issue 3-4

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

    Volume 56, Issue 2

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

    Volume 56, Issue 1

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