[Back]


Scientific Reports:

T. Eiter, K. Makino:
"Generating all Abductive Explanations for Queries on Propositional Horn Theories";
2003.


Created from the Publication Database of the Vienna University of Technology.