These two volumes collect papers presented at the first joint meeting of the two principal logic programmi..."> These two volumes collect papers presented at the first joint meeting of the two principal logic programmi..."/>