Declarative Datalog Debugging for Mere Mortals

Sven Köhler 0003, Bertram Ludäscher, Yannis Smaragdakis. Declarative Datalog Debugging for Mere Mortals. In Pablo Barceló, Reinhard Pichler, editors, Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings. Volume 7494 of Lecture Notes in Computer Science, pages 111-122, Springer, 2012. [doi]

Abstract

Abstract is missing.