research

\[ 0 \lneq \left|\, \frac{1}{10^{10}} \left( \sum_{n = -\infty}^{\infty} e^{\frac{n^2}{10^{10}}} \right)^2 - \pi \,\right| \le 10^{-42 \cdot 10^9} \]

Publications

Daniel Borchmann: Axiomatizing EL^^⊥-Expressible Terminological Knowledge from Erroneous Data, K-CAP 2013, Banff, pdf tex
Daniel Borchmann: Towards an Error-Tolerant Construction of EL^⊥-Ontologies from Data using Formal Concept Analysis, ICFCA 2013, Dresden, pdf tex, the original publication is available at link.springer.com
Daniel Borchmann: A Generalized Next-Closure Algorithm — Enumerating Semilattice Elements from a Generating Set, CLA 2012 pdf tex
Uwe Ryssel, Felix Distel, Daniel Borchmann: Fast Computation of Proper Premises, CLA 2011 pdf
Felix Distel, Daniel Borchmann: Mining of EL-GCIs, ICDM Workshops 2011
Daniel Borchmann: Decomposing Finite Closure Operators, Supp. Proc. ICFCA 2011 pdf tex
Bernhard Ganter, Daniel Borchmann: Concept Lattice Orbifolds -- First Steps, ICFCA 2009 pdf

Exploration by Confidence, LTCS 13-04, pdf tex
A General Form of Attribute Exploration, LTCS 13-02, pdf tex
On Confident GCIs of Finite Interpretations, LTCS 12-06, pdf tex
Axiomatizing Confident EL^⊥-GCIs of Finite Interpretations, MATH-AL-08-2012 pdf tex
A General Form of Attribute Exploration, arXiv 2012 pdf tex
Deciding Entailment of Implications with Support and Confidence in Polynomial Space, arXiv 2012 pdf tex
Implementing the Exploration Algorithm for EL_gfp, unpublished 2010 pdf tex

Extracting Confident General Concept Inclusions from Finite Interpretations (talk), QuantLA Seminar, Dresden, 2012/10/16, pdf tex
A Generalized Next-Closure Algorithm — Enumerating Semilattice Elements form a Generating Set (talk), CLA2012, Fuengirola/Málaga, 2012, pdf tex
Knowledge from Data with Errors (poster), KI2012 Doctoral Consortium, Saarbrücken, 2012 pdf tex
Decomposing Finite Closure Operators (talk), ICFCA, Cyprus, 2011 pdf tex
Kontextfaltungen (poster, german), 2011, pdf tex
Intents versus Pseudo-Intents:A Small Experiment with Intents and Pseudo-Intents of a Formal Context (talk), inFormal Concept Analysis Workshop, Dresden, February 2011
Context Orbifolds (diploma defence talk), Dresden, 2009/07/09, pdf tex
Einführung in die Semidefinite Programmierung (talk and writeup), Sommerakademie der Studienstiftung, Görlitz, 2007/09/12, pdf-talk pdf-writeup