Daniel Borchmann
Aus International Center for Computational Logic
Dr. rer. nat. Daniel Borchmann
Ehemaliges Mitglied
- Ehemals Wissenschaftlicher Mitarbeiter in Forschungsgruppe Automatentheorie
Neueste Publikationen
Komplette Publikationsliste anzeigen
Daniel Borchmann, Tom Hanika, Sergei Obiedkov
Probably approximately correct learning of Horn envelopes from queries
Discrete Applied Mathematics, 273:30–42, February 2020
Details Download
Daniel Borchmann, Tom Hanika
Some Experimental Results on Randomly Generating Formal Contexts
In Marianne Huchard, Sergei Kuznetsov, eds., Proceedings of the Thirteenth International Conference on Concept Lattices and Their Applications, volume 1624 of CEUR Workshop Proceedings, 57-69, July 2016
Details Download
Friedrich Martin Schneider, Daniel Borchmann
Topological Entropy of Formal Languages
Semigroup Forum, 1-26, February 2016
Details Download
Daniel Borchmann
Experimental Evaluation of General Concept Inclusions Learned from Textual Data
Vortrag, June 2015
Details
Daniel Borchmann
Exploring Faulty Data
In Jaume Baixeries, Christian Sacarea, Manuel Ojeda-Aciego, eds., Proceedings of the 13 International Conference on Formal Concept Analysis (ICFCA 2015), volume 9113 of Lecture Notes in Computer Science, 219-235, 2015. Springer
Details Download
Daniel Borchmann
Exploring Implications and General Concept Inclusions with High Confidence
Vortrag, October 2014
Details
Daniel Borchmann
Learning Terminological Knowledge with High Confidence from Erroneous Data
Vortrag, June 2014
Details
Daniel Borchmann
Learning Terminological Knowledge with High Confidence from Erroneous Data
Phd thesis, Technische Universität Dresden, 2014/09/09
Details Download
Johannes Wollbold, Rüdiger Köhling, Daniel Borchmann
Attribute Exploration with Proper Premises and Incomplete Knowledge Applied to the Free Radical Theory of Ageing
In Cynthia Vera Glodeanu, Mehdi Kaytoue, Christian Sacarea, eds., Proceedings of the 12th International Conference on Formal Concept Analysis (ICFCA 2014), volume 8478 of Lecture Notes in Computer Science, 268-283, 2014. Springer
Details
Daniel Borchmann, Rafael Peñaloza, Wenqian Wang
Classifying Software Bug Reports Using Methods from Formal Concept Analysis
Studia Universitatis Babeş-Bolyai Informatica, 59:10-27, June 2014
Details Download
Lehrveranstaltungen
- Theoretische Informatik und Logik (SS 2017)
- Formale Systeme (WS 2016)
- Advanced Topics in Complexity Theory (SS 2016)
- Complexity Theory (WS 2015)
- Automata and Logic (SS 2015)
