Autor der Publikation

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

About Agents that Reason by Case (Preliminary Report)., und . IRI, Seite 405-410. IEEE Systems, Man, and Cybernetics Society, (2009)Checking depth-limited consistency and inconsistency in knowledge-based systems., , und . Int. J. Intell. Syst., 16 (3): 319-331 (2001)A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs., , , und . IRI, Seite 325-329. IEEE Systems, Man, and Cybernetics Society, (2006)Boosting Complete Techniques Thanks to Local Search Methods., , und . Ann. Math. Artif. Intell., 22 (3-4): 319-331 (1998)Reducing hard SAT instances to polynomial ones., , , und . IRI, Seite 18-23. IEEE Systems, Man, and Cybernetics Society, (2007)Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle., , und . IJCAI, Seite 2300-2305. (2007)Deductive Generalization in a Default Logic Setting., und . Nonmonotonic and Inductive Logic, Volume 659 von Lecture Notes in Computer Science, Seite 141-152. Springer, (1991)About the Logical Interpretation of Ambiguous Inheritance Hierarchies.. IPMU, Volume 521 von Lecture Notes in Computer Science, Seite 213-222. Springer, (1990)A Default Logic Patch for Default Logic., , und . ECSQARU, Volume 5590 von Lecture Notes in Computer Science, Seite 578-589. Springer, (2009)A CSP Solver Focusing on fac Variables., , und . CP, Volume 6876 von Lecture Notes in Computer Science, Seite 493-507. Springer, (2011)