External Links

    Journal: Annals of Mathematics and Artificial Intelligence

    Volume 55, Issue 3-4

    189 -- 236Nicola Gatti. Extending the alternating-offers protocol in the presence of competition: models and theoretical analysis
    237 -- 251Timothy C. Havens, James C. Bezdek, James M. Keller, Mihail Popescu, Jacalyn M. Huband. Is VAT really single linkage in disguise?
    253 -- 276Iyad Rahwan, Philippe Pasquier, Liz Sonenberg, Frank Dignum. A formal analysis of interest-based negotiation
    277 -- 294Gerasimos G. Rigatos. Cooperative behavior of nano-robots as an analogous of the quantum harmonic oscillator
    295 -- 354Xuan-Ha Vu, Djamila Sam-Haroud, Boi Faltings. Enhancing numerical constraint propagation using multiple inclusion representations
    355 -- 388Alex Dekhtyar, Michael I. Dekhtyar. The theory of interval probabilistic logic programs
    389 -- 417Yann Loyer, Umberto Straccia. Approximate well-founded semantics, query answering and generalized normal logic programs over lattices

    Volume 55, Issue 1-2

    1 -- 2Silvio Ranise, Ullrich Hustadt. Preface
    3 -- 34Arnaud Fietzke, Christoph Weidenbach. Labelled splitting
    35 -- 62Peter Höfner, Georg Struth, Geoff Sutcliffe. Automated verification of refinement laws
    63 -- 99Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani. Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis
    101 -- 122Yeting Ge, Clark W. Barrett, Cesare Tinelli. Solving quantified verification conditions using satisfiability modulo theories
    123 -- 154Fabrice Nahon, Claude Kirchner, hélène-kirchner, Paul Brauner. Inductive proof search modulo
    155 -- 187Renate A. Schmidt. A new methodology for developing deduction methods
    runs on