Volume 6, Number 1-2, January 2006
, Axel Polleres
: Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications.
: On the existence of stable models of non-stratified logic programs.
Volume 6, Number 3, May 2006
Volume 6, Number 4, July 2006
Volume 6, Number 5, September 2006
: Programming finite-domain constraint propagators in Action Rules.
: A three-valued semantics for logic programmers.
Volume 6, Number 6, November 2006
: Logic programming with default, weak and strict negations.