Author of the publication

On Approaches to Explaining Infeasibility of Sets of Boolean Clauses.

, , and . ICTAI (1), page 74-83. IEEE Computer Society, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Extracting MUSes., , and . ECAI, volume 141 of Frontiers in Artificial Intelligence and Applications, page 387-391. IOS Press, (2006)Semaphores for the neutral handling of conflicting information in an iterated knowledge fusion process.. IRI, page 137-143. IEEE Systems, Man, and Cybernetics Society, (2003)Fusing Legal Knowledge.. IRI, page 522-529. IEEE Systems, Man, and Cybernetics Society, (2004)About Handling Non-conflicting Additional Information.. IRI (best papers), volume 263 of Advances in Intelligent Systems and Computing, page 285-297. Springer, (2013)On Consensus Extraction., , and . IJCAI, page 1095-1101. IJCAI/AAAI Press, (2016)Knowledge Preemption and Defeasible Rules.. KSEM, volume 8793 of Lecture Notes in Computer Science, page 13-24. Springer, (2014)Introduction to the special issue on CSP technologies in artificial intelligence., and . Constraints An Int. J., 20 (4): 381-382 (2015)Disabling Subsumptions in a Logic-Based Component., and . SEKE, page 243-248. Knowledge Systems Institute Graduate School, (2012)Un système argumentatif pour le raisonnement sur des ressources limitées., , and . Rev. d'Intelligence Artif., 29 (3-4): 349-368 (2015)RCL: An A. I. Tool for Computing Maximal Consensuses., and . Int. J. Artif. Intell. Tools, 25 (4): 1650026:1-1650026:10 (2016)