On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts.

Philippe Besnard, ric Grgoire, Jean-Marie Lagniez

Browse the full AAAI paper archive.