Journal: TPLP

Volume 2, Issue 6

645 -- 709Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits. Using Methods of Declarative Logic Programming for Intelligent Information Agents
711 -- 767Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits. On Properties of Update Sequences Based on Causal Rejection
769 -- 805Yves Caseau, François-Xavier Josset, François Laburthe. CLAIRE: Combining sets, search and rules to better express algorithms