Philippe Besnard, Éric Grégoire, Jean-Marie Lagniez. On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts. In Blai Bonet, Sven Koenig, editors, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA. pages 3710-3716, AAAI Press, 2015. [doi]
Abstract is missing.