Journal: TPLP

Volume 14, Issue 6

803 -- 840Lee Naish, Harald Søndergaard. Truth versus information in logic programming
841 -- 868Marco Maratea, Luca Pulina, Francesco Ricca. A multi-engine approach to answer-set programming
869 -- 907Martin Slota, João Leite. The rise and fall of semantic rule updates based on SE-models
909 -- 937Taisuke Sato, Philipp Meyer. Infinite probability computation by cyclic explanation graphs