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

On the Computation of Boolean Functions by Analog Circuits of Bounded Fan-In., und . J. Comput. Syst. Sci., 54 (1): 199-212 (1997)Foreword., , und . Ann. Math. Artif. Intell., 79 (1-3): 1-3 (2017)Sorting and Recognition Problems for Ordered Sets., und . STACS, Volume 182 von Lecture Notes in Computer Science, Seite 109-118. Springer, (1985)Horn Belief Contraction: Remainders, Envelopes and Complexity., , , und . AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, AAAI, (2011)Finding bipartite subgraphs efficiently., und . Inf. Process. Lett., 110 (5): 174-177 (2010)Horn formulas, directed hypergraphs, lattices and closure systems: related formalisms and applications (Dagstuhl Seminar 14201)., , , und . Dagstuhl Reports, 4 (5): 1-26 (2014)Improved Algorithms for Theory Revision with Queries., , , und . COLT, Seite 236-247. Morgan Kaufmann, (2000)Learning with Queries but Incomplete Information (Extended Abstract)., und . COLT, Seite 237-245. ACM, (1994)Two lower bounds for branching programs, , , , , , , und . STOC, Seite 30-38. ACM, (1986)Combinatorial Problems for Horn Clauses., , , und . Graph Theory, Computational Intelligence and Thought, Volume 5420 von Lecture Notes in Computer Science, Seite 54-65. Springer, (2009)