New Inference Relations from Maximal Consistent Subsets

Sébastien Konieczny, Pierre Marquis, Srdjan Vesic. New Inference Relations from Maximal Consistent Subsets. In Michael Thielscher, Francesca Toni, Frank Wolter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. pages 649-650, AAAI Press, 2018. [doi]

Abstract

Abstract is missing.