Thomas Eiter
Hat mitgewirkt an:
-
Reasoning web : semantic technologies for advanced query answering : 8th international summer school 2012, Vienna, Austria, September 3 - 8, 2012
-
Preferred answer sets for extended logic programs
-
Decision lists and related Boolean functions
-
Computing intersections of Horn theories for reasoning with models