Autor der Publikation

Axiomatisation of general concept inclusions from finite interpretations.

, , und . Journal of Applied Non-Classical Logics, 26 (1): 1-46 (2016)

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.

Dr. -Ing. Daniel Markthaler University of Stuttgart

Replication Data for: Biocatalytic stereocontrolled head-to-tail cyclizations of unbiased terpenes as a tool in chemoenzymatic synthesis, und . Dataset, (2024)Related to: Schneider, Andreas; Lystbæk, Thomas B.; Markthaler, Daniel; Hansen, Niels; Hauer, Bernhard (2024): Biocatalytic stereocontrolled head-to-tail cyclizations of unbiased terpenes as a tool in chemoenzymatic synthesis. In: Nature Communications, 15, 4925. doi: 10.1038/s41467-024-48993-9.
 

Weitere Publikationen von Autoren mit dem selben Namen

Concept Lattice Orbifolds - First Steps., und . ICFCA, Volume 5548 von Lecture Notes in Computer Science, Seite 22-37. Springer, (2009)Towards an Error-Tolerant Construction of $EL^\bot$ -Ontologies from Data Using Formal Concept Analysis.. ICFCA, Volume 7880 von Lecture Notes in Computer Science, Seite 60-75. Springer, (2013)Experience Based Nonmonotonic Reasoning.. LPNMR, Volume 8148 von Lecture Notes in Computer Science, Seite 200-205. Springer, (2013)Exploring Faulty Data.. ICFCA, Volume 9113 von Lecture Notes in Computer Science, Seite 219-235. Springer, (2015)Fast Computation of Proper Premises., , und . CLA, Volume 959 von CEUR Workshop Proceedings, Seite 100-113. CEUR-WS.org, (2011)Some Experimental Results on Randomly Generating Formal Contexts., und . CLA, Volume 1624 von CEUR Workshop Proceedings, Seite 57-69. CEUR-WS.org, (2016)Axiomatisation of general concept inclusions from finite interpretations., , und . Journal of Applied Non-Classical Logics, 26 (1): 1-46 (2016)Fast algorithms for implication bases and attribute exploration using proper premises., , und . Ann. Math. Artif. Intell., 70 (1-2): 25-53 (2014)Preliminary Results on the Identity Problem in Description Logic Ontologies., , und . Description Logics, Volume 1879 von CEUR Workshop Proceedings, CEUR-WS.org, (2017)Axiomatizing Confident EL^bot_gfp-General Concept Inclusions in the Presence of Untrusted Individuals.. Description Logics, Volume 1014 von CEUR Workshop Proceedings, Seite 65-79. CEUR-WS.org, (2013)