MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis

Kostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz. MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis. In Qiang Yang 0001, Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. pages 3221-3228, AAAI Press, 2015. [doi]

Authors

Kostyantyn M. Shchekotykhin

This author has not been identified. Look up 'Kostyantyn M. Shchekotykhin' in Google

Dietmar Jannach

This author has not been identified. Look up 'Dietmar Jannach' in Google

Thomas Schmitz

This author has not been identified. Look up 'Thomas Schmitz' in Google