OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Besnard, Philippe and Grégoire, Eric and Lagniez, Jean-Marie On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts. (2015) In: 29th AAAI Conference on Artificial Intelligence (AAAI 2015), 25 January 2015 - 30 January 2015 (Austin, Texas, United States).

[img] (Document in English)

PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
304kB

Official URL: https://dl.acm.org/citation.cfm?id=2888231

Abstract

An original method for the extraction of one maximal subset of a set of Boolean clauses that must be satis-fiable 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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to ACM, Association for Computing Machinery. The definitive version is available at http://dl.acm.org This papers appears in AAAI'15 : Proceedings of the Twenty-Ninth AAAI Conference ISBN:0-262-51129-0. The original PDF is available at: https://dl.acm.org/citation.cfm?id=2888231
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Université d'Artois (FRANCE)
Laboratory name:
Statistics:download
Deposited On:19 May 2020 13:23

Repository Staff Only: item control page