Daniel Borchmann
From International Center for Computational Logic
Dr. rer. nat. Daniel Borchmann
Former member
- Former Research Associate in Research Group Automata Theory
Newest Publications
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
Josefine Asmus, Daniel Borchmann, Ivo F. Sbalzarini, Dirk Walther
Towards an FCA-based Recommender System for Black-Box Optimization
In Sergei O. Kuznetsov and Amedeo Napoli and Sebastian Rudolph, eds., Proceedings of the 3rd International Workshop on "What can FCA do for Artificial Intelligence?" (FCA4AI'14), volume 1257 of CEUR Workshop Proceedings, 35-42, 2014
Details Download
Courses
- 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)
