Author of the publication

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

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