Autor der Publikation

On Approaches to Explaining Infeasibility of Sets of Boolean Clauses.

, , und . ICTAI (1), Seite 74-83. IEEE Computer Society, (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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