External Links

    Journal: TPLP

    Volume 9, Issue 6

    691 -- 750Paolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni, Ulle Endriss. The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
    751 -- 780Yi-Dong Shen, Danny De Schreye, Dean Voets. Termination prediction for general logic programs
    781 -- 819Miroslaw Truszczynski, Stefan Woltran. Relativized hyperequivalence of logic programs for modular programming

    Volume 9, Issue 5

    565 -- 616David Pearce, Hans Tompits, Stefan Woltran. Characterising equilibrium logic and nested logic programs: Reductions and complexity:::, :::
    617 -- 689Gianluca Amato, Francesca Scozzari. Optimality in goal-dependent analysis of Sharing

    Volume 9, Issue 4

    415 -- 527Sonia Estévez Martín, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda, Fernando Sáenz-Pérez, Antonio J. Fernández. On the cooperation of the constraint domains , ::::R::::, and ::::F:::: in CFLP
    529 -- 564Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan. Characterizations of stable model semantics for logic programs with arbitrary constraint atoms

    Volume 9, Issue 3

    245 -- 308Joost Vennekens, Marc Denecker, Maurice Bruynooghe. CP-logic: A language of causal probabilistic events and its relation to logic programming
    309 -- 341Van Hung Le, Fei Liu, Dinh Khang Tran. Fuzzy linguistic logic programming and its applications
    343 -- 414Gergely Lukácsy, Péter Szeredi. Efficient description logic reasoning in Prolog: The DLog system

    Volume 9, Issue 2

    145 -- 164Étienne Payet, Frédéric Mesnard. A non-termination criterion for binary constraint logic programs
    165 -- 212Leslie De Koninck. Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities
    213 -- 238Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo. On finitely recursive programs
    239 -- 243Femke van Raamsdonk. Lambda-Calculus and Combinators, An Introduction, 2nd Edition, J. Roger Hindley and Jonathan P. Seldin, Cambridge University Press, 2008. Hardback, ISBN 9780521898850

    Volume 9, Issue 1

    1 -- 56Enrico Pontelli, Tran Cao Son, Omar El-Khatib. Justifications for logic programs under answer set semantics
    57 -- 144Chitta Baral, Michael Gelfond, J. Nelson Rushton. Probabilistic reasoning with answer sets
    runs on