Publications de
Philippe Besnard, Eric Grégoire, Jean-Marie Lagniez
On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts (regular paper)
Dans : American Conference on Artificial Intelligence (AAAI 2015), Austin, Texas, USA, 25/01/15-30/01/15, Blai Bonet, Sven Koenig (Eds.), AAAI Press, p. 3710-3716, 2015.
Résumé Accès : https://dl.acm.org/citation.cfm?id=2888231 – https://oatao.univ-toulouse.fr/22247/
BibTeX