Translation-Based Revision and Merging for Minimal Horn Reasoning

Gerhard Brewka, Jean-Guy Mailly, Stefan Woltran. Translation-Based Revision and Merging for Minimal Horn Reasoning. In Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen, editors, ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016). Volume 285 of Frontiers in Artificial Intelligence and Applications, pages 734-742, IOS Press, 2016. [doi]

Abstract

Abstract is missing.