Volume 6, Number 1, January 2005
Volume 6, Number 2, April 2005
: Induction from answer sets in nonmonotonic logic programs.
, Lizhu Zhou
: Comparisons and computation of well-founded semantics for disjunctive logic programs.
: Disjunction and modular goal-directed proof search.
Volume 6, Number 4, October 2005
Andrzej S. Murawski
: About the undecidability of program equivalence in finitary languages with state.
James F. Lynch
: Convergence law for random graphs with specified degree sequence.