Scott Buffett. Abductive Workflow Mining Using Binary Resolution on Task Successor Rules. In Nick Bassiliades, Guido Governatori, Adrian Paschke, editors, Rule Representation, Interchange and Reasoning on the Web, International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings. Volume 5321 of Lecture Notes in Computer Science, pages 47-57, Springer, 2008. [doi]
Abstract is missing.