External Links

    Journal: TPLP

    Volume 18, Issue 1

    1 -- 29Wlodzimierz Drabent. Logic + control: On program construction and verification
    30 -- 80Johannes Oetsch, Jörg Pührer, Hans Tompits. Stepwise debugging of answer-set programs
    81 -- 96Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. SUNNY-CP and the MiniZinc challenge
    97 -- 119Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau. Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers
    120 -- 0Jan Wielemaker, Keri Harris. Lock-free atom garbage collection for multithreaded Prolog - ERRATUM
    121 -- 0Evelina Lamma, Terrance Swift. Editorial: 29th International conference on logic programming special issue - ADDENDUM
    runs on