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]

Authors

Gerhard Brewka

This author has not been identified. Look up 'Gerhard Brewka' in Google

Jean-Guy Mailly

This author has not been identified. Look up 'Jean-Guy Mailly' in Google

Stefan Woltran

This author has not been identified. Look up 'Stefan Woltran' in Google