OXFORD UNIVERSITY COMPUTING LABORATORY

Abduction from Logic Programs: Semantics and Complexity

Thomas Eiter, Georg Gottlob and Nicola Leone

info

journal

Theor. Comput. Sci.

number

1-2

pages

129-177

volume

189

year

1997

links

BibTeX

DOI (10.1016/S0304-3975(96)00179-X)

related pages

people

Random Image
Random Image
Random Image