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

Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies., , and . IJCAI, page 830-835. (2009)Data management pipeline for plant phenotyping in a multisite project, , , , and . Functional Plant Biology, (2012)Fast Modularisation and Atomic Decomposition of Ontologies Using Axiom Dependency Hypergraphs., and . ISWC (2), volume 8797 of Lecture Notes in Computer Science, page 49-64. Springer, (2014)ATL Satisfiability is Indeed EXPTIME-complete., , , and . J. Log. Comput., 16 (6): 765-787 (2006)Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs., and . WoMO, volume 1081 of CEUR Workshop Proceedings, CEUR-WS.org, (2013)Completeness by Modal Definitions., and . IBERAMIA, volume 11238 of Lecture Notes in Computer Science, page 67-79. Springer, (2018)Is Bottom-Up Attention Useful for Object Recognition?, , , and . CVPR (2), page 37-44. IEEE Computer Society, (2004)Alternating-time temporal logic with explicit strategies., , and . TARK, page 269-278. (2007)An Epistemic Logic with Hypotheses., and . LORI, volume 6953 of Lecture Notes in Computer Science, page 286-299. Springer, (2011)The integrated analysis of metabolic and protein interaction networks reveals novel molecular organizing principles., and . BMC Syst. Biol., (2008)