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

Reducing hard SAT instances to polynomial ones., , , und . IRI, Seite 18-23. IEEE Systems, Man, and Cybernetics Society, (2007)Boosting Complete Techniques Thanks to Local Search Methods., , und . Ann. Math. Artif. Intell., 22 (3-4): 319-331 (1998)About Agents that Reason by Case (Preliminary Report)., und . IRI, Seite 405-410. IEEE Systems, Man, and Cybernetics Society, (2009)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)Checking depth-limited consistency and inconsistency in knowledge-based systems., , und . Int. J. Intell. Syst., 16 (3): 319-331 (2001)Local Search for Computing Normal Circumstances Models., , und . Fuzzy Days, Volume 1226 von Lecture Notes in Computer Science, Seite 565-566. Springer, (1997)Reducing Inheritance Theories to Default Logic and Logic Programs.. SCAI, Volume 4 von Frontiers in Artificial Intelligence and Applications, Seite 943-958. IOS Press, (1989)System Description: CRIL Platform for SAT., , und . CADE, Volume 1421 von Lecture Notes in Computer Science, Seite 124-128. Springer, (1998)About the Logical Interpretation of Ambiguous Inheritance Hierarchies.. IPMU, Volume 521 von Lecture Notes in Computer Science, Seite 213-222. Springer, (1990)A CSP Solver Focusing on fac Variables., , und . CP, Volume 6876 von Lecture Notes in Computer Science, Seite 493-507. Springer, (2011)