Xue Li, Alan Bundy, Alan Smaill. ABC Repair System for Datalog-like Theories. In David Aveiro, Jan L. G. Dietz, Joaquim Filipe, editors, Proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2018, Volume 2: KEOD, Seville, Spain, September 18-20, 2018. pages 333-340, SciTePress, 2018. [doi]
Abstract is missing.