TY - JOUR AU - Besnard, Philippe AU - Grégoire, Eric AU - Lagniez, Jean-Marie PY - 2015/03/04 Y2 - 2024/03/28 TI - On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts JF - Proceedings of the AAAI Conference on Artificial Intelligence JA - AAAI VL - 29 IS - 1 SE - Main Track: Search and Constraint Satisfaction DO - 10.1609/aaai.v29i1.9751 UR - https://ojs.aaai.org/index.php/AAAI/article/view/9751 SP - AB - <p> An original method for the extraction of one maximal subset of a set of Boolean clauses that must be satisfiable with possibly mutually contradictory assumptive contexts is motivated and experimented. Noticeably, it performs a direct computation and avoids the enumeration of all subsets that are satisfiable with at least one of the contexts. The method applies for subsets that are maximal with respect to inclusion or cardinality. </p> ER -