Publications of Daniel Borchmann

From International Center for Computational Logic
Toggle side column

Publications of Daniel Borchmann


Journal Articles

Friedrich Martin Schneider, Daniel Borchmann
Topological Entropy of Formal Languages
Semigroup Forum, 1-26, February 2016
Details Download
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
Uwe Ryssel, Felix Distel, Daniel Borchmann
Fast algorithms for implication bases and attribute exploration using proper premises
Annals of Mathematics and Artificial Intelligence, Special Issue 65:1-29, 2013
Details Download

Proceedings Articles

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
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
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
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
Experience Based Nonmonotonic Reasoning
In Pedro Cabalar, Tran Cao Son, eds., Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), volume 8148 of Lecture Notes in Computer Science, 200-205, 2013. Springer
Details Download
Daniel Borchmann
Towards an Error-Tolerant Construction of EL^ -Ontologies from Data Using Formal Concept Analysis
In Peggy Cellier and Felix Distel and Bernhard Ganter, eds., Formal Concept Analysis, 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings, volume 7880 of Lecture Notes in Computer Science, 60-75, 2013. Springer
Details Download
Daniel Borchmann
Axiomatizing EL^_gfp-General Concept Inclusions in the Presence of Untrusted Individuals
Proceedings of the 26th International Workshop on Description Logics (DL-2013), volume 1014 of CEUR Workshop Proceedings, 65-79, July 2013. CEUR-WS.org
Details Download
Daniel Borchmann
Axiomatizing EL^-Expressible Terminological Knowledge from Erroneous Data
Proceedings of the Seventh International Conference on Knowledge Capture, 1-8, 2013. ACM
Details Download
Daniel Borchmann
A Generalized Next-Closure Algorithm — Enumerating Semilattice Elements from a Generating Set
In Laszlo Szathmary, Uta Priss, eds., Proceedings of The Ninth International Conference on Concept Lattices and Their Applications, volume 972 of CEUR Workshop Proceedings, 9-20, October 2012
Details Download
Daniel Borchmann, Felix Distel
Mining of EL-GCIs
The 11th IEEE International Conference on Data Mining Workshops, December 2011. IEEE Computer Society
Details Download
Daniel Borchmann
Decomposing Finite Closure Operators by Attribute Exploration
In Florent Domenach, Robert Jäschke, Petko Valtchev, eds., Contributions to ICFCA 2011, 24-37, May 2011. University of Nicosia
Details Download
Uwe Ryssel, Felix Distel, Daniel Borchmann
Fast Computation of Proper Premises
In Amedeo Napoli and Vilem Vychodil, eds., International Conference on Concept Lattices and Their Applications, 101-113, 2011. INRIA Nancy – Grand Est and LORIA
Details Download
Bernhard Ganter, Daniel Borchmann
Concept Lattice Orbifolds -- First Steps
In Sèbastien Ferré and Sebastian Rudolph, eds., Proceedings of the 7th International Conference on Formal Concept Analysis (ICFCA 2009), volume 5548 of Lecture Notes in Computer Science, 22-37, 2009. Springer
Details Download

Doctoral Theses

Daniel Borchmann
Learning Terminological Knowledge with High Confidence from Erroneous Data
Phd thesis, Technische Universität Dresden, 2014/09/09
Details Download

Technical Reports

Daniel Borchmann
A General Form of Attribute Exploration
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 13-02, 2013. LTCS-Report
Details Download
Daniel Borchmann
Exploration by Confidence
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 13-04, 2013. LTCS-Report
Details Download
Daniel Borchmann
Model Exploration by Confidence with Completely Specified Counterexamples
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 13-11, 2013. LTCS-Report
Details Download
Daniel Borchmann
On Confident GCIs of Finite Interpretations
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 12-06, 2012. LTCS-Report
Details Download

Talks and Miscellaneous

Daniel Borchmann
Beam Me Up! - LaTeX-Beamer For Those Who Already Know
Vortrag, November 2013
Details
Daniel Borchmann
Context Orbifolds
Diplomarbeit, September 2009
Details Download