Sie sind hier: Technische Universität Dortmund > Fakultät für Informatik > Lehrstuhl Informatik 1

Christian Eichhorn

 Contact

Technische Universität Dortmund Christian Eichhorn
Faculty for Computer Science Room:   3.007
Char 1, Information Engineering Group (IE) Tel:   +49-231-755-6522
Otto-Hahn-Straße 12 Fax:   +49-231-755-6555
44221 Dortmund E-mail:  This e-mail-address is protected from spambots using JavaScript! Activate JavaScript to read!
Germany Group:   Information Engineering
  Research interests
In the context of the Information Engineering group's research at LS1 and in the DFG priority programm 1516 New Frameworks of Rationality I'm mainly interested in the following:
  • Formal properties of nonmonotonic logics
  • Qualitative inference relations
  • Ranking functions: possible applications and generation
 Teaching
Lectures and seminars
  • WS 2014/15: Darstellung, Verarbeitung und Erwerb von Wissen (DVEW) (lecture's tutorial)
  • WS 2011/12: Commonsense Reasoning in dynamischen Umgebungen (seminar support)
  • SS 2011: Commonsense Reasoning (lecture's tutorial)
Supervised theses
  • Kausale Netzwerke in Informatik und Psychologie. Bachelorarbeit. Carolin Wiethoff (2014)
  • Wissensrevision in der Horn-Logik. Bachelorarbeit. Mikel Jedrusiak (2014)
  • Änlichkeitsbasierte Inferenzen für kontrafaktische Konditionale. Master thesis. Katharina Diekmann (2013)
  • Qualitative Semantiken für DAGs — ein Vergleich von OCF- und CP-Netzwerken. Bachelor thesis. Matthias Fey (2013)
  • Sicherung der Konsistenz relationaler probabilistischer Wissensbasen durch syntaktische Constraints. Diploma thesis. Karl Becker (2012)
  • Wissensänderung durch Aktionen. Bachelor thesis. Stefan Gleibs (2011)
 Publications
  • A semantics for conditionals with default negation. Marco Wilhelm, Christian Eichhorn, Richard Niland, Gabriele Kern-Isberner. Accepted for the Fourteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2017). Upcoming conference.
  • A transformation system for unique minimal normal forms of conditional knowledge bases. Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner. Accepted for the Fourteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2017). Upcoming conference.
  • On the Ontological Modelling of Co-Medication and Drug Interactions in Medical Cancer Therapy Regimens for a Clinical Decision Support System. Christoph Beierle, Bettina Sader, Christian Eichhorn, Gabriele Kern-Isberner, Rals Georg Meyer, Matthias Nietzke. Accepted for the 30th IEEE International Symposium on Computer-Based Medical Systems (IEEE CBMS 2017). Upcoming conference.
  • On Transformations and Normal Forms of Conditional Knowledge Bases., Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner. The 30th International Conference on Industrial, Engineering, Other Applications of Applied Intelligent Systems (IEA/AIE 2017). Upcoming conference.
  • Formal Nonmonotonic Theories and Properties of Human Defeasible Reasoning, Marco Ragni, Christian Eichhorn, Tanja Bock, Gabriele Kern-Isberner, Alice Ping Ping Tse. In: Mariarosaria Taddeo (Hrsg): Minds And Machines, Volume 27, Number 1, Special Issue: Reasoning with Imperfect Information and Knowledge. Springer Science+Business Media, Dordrecht, NL, 2017 (bibtex)
  • A Practical Comparison of Qualitative Inferences with Preferred Ranking Models, Christoph Beierle, Christian Eichhorn, Steven Kutsch. KI - Künstliche Intelligenz, Volume 31, Issue 1, Springer Science+Business Media, Berlin, DE, 2017. (bibtex)
  • Using Background Knowledge for AGM Belief Revision, Christian Eichhorn, Gabriele Kern-Isberner, Katharina Behring. In: Rudolf Seising, Héctor Allende-Cid: Claudio Moraga: A Passion for Multi-Valued Logic and Soft Computing, p. 275 - 294. Springer Science+Business Media, Berlin, DE, 2016. (bibtex)
  • Simulating Human Inferences in the Light of New Information: A Formal Analysis (Extended Abstract), Marco Ragni, Christian Eichhorn, Gabriele Kern-Isberner. In Gerhard Friedrich, Malte Helmert, Franz Wotawa (Eds): KI 2016: Advances in Artificial Intelligenc — 39th Annual German Conference on AI (Proceedings), Lecture Notes in Computer Science (LNAI) 9904, p. 297-302 Springer International Publishing, Cham, CH. 2016. (bibtex)
  • Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions, Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch In Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen (Eds): Frontiers in Artificial Intelligence and Applications, Volume 285: ECAI 2016, p.1149-1157. IOS Press, Amsterdam, NL. 2016. (bibtex) Simulating Human Inferences in the Light of New Information: A Formal Analysis, Marco Ragni, Christian Eichhorn, Gabriele Kern-Isberner. In Subbarao Kambhampati (Ed.): Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI'16), p.2604-2610. AAAI Press, Palo Alto, CA, USA. 2016. (bibtex)
  • CP- and OCF-networks – a comparison, Christian Eichhorn, Matthias Fey, Gabriele Kern-Isberner. Fuzzy Sets and Systems, Volume 298, Special Issue on Graded Logical Approaches and Their Applications, p. 109 - 127 Elsevier Science Publishers, Essex, UK. 2016. (bibtex)
  • Skeptical Inference Based on C-representations and its Characterization as a Constraint Satisfaction Problem, Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner. In: Guillermo R. Simari, Marc Gyssens: Proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2016). Lecture Notes of Computer Science Volume 9616, Springer Science+Business Media, Berlin, DE, 2016. (bibtex)
  • Qualitative Probabilistic Inference with Default Inheritance, Paul Thorn, Christian Eichhorn, Gabriele Kern-Isberner, Gerhard Schurz. In: Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg: Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI & Kognition (KIK-2015) co-located with 38th German Conference on Artificial Intelligence (KI-2015), CEUR Workshop Proceedings, Volume 1444, 2015. (bibtex)
  • Qualitative and Semi-Quantitative Inductive Reasoning with Conditionals, Christian Eichhorn, Gabriele Kern-Isberner. KI - Künstliche Intelligenz: Special Issue Cognition, Volume 29, Issue 3, p.279-289, DOI 10.1007/s13218-015-0376-x, 2015. (bibtex)
  • Using inductive reasoning for completing OCF-networks, Christian Eichhorn, Gabriele Kern-Isberner. Journal of Applied Logic, Volume 13 Number 4 Part 2, Special Issue dedicated to Uncertain Reasoning at FLAIRS, Edited by Christoph Beierle, Cory Butz and Soughila Kaci, p. 605-627, Elsevier Science Publishers, Essex, UK. DOI: 10.1016/j.jal.2015.03.006 , 2015. (bibtex)
  • LEG networks for ranking functions . Christian Eichhorn, Gabriele Kern-Isberner. In: Eduardo Fermé and Joāo Leite (Eds.), Lecture Notes in Computer Science (8761): Logics in Artificial Intelligence, p. 210-223, Springer International Publishing, 2014. (bibtex)
  • Structural Inference from Conditional Knowledge Bases. Gabriele Kern-Isberner, Christian Eichhorn. In Matthias Unterhuber and Gerhard Schurz (Ed.): Studia Logica Special Issue 102 (4), Logic and Probability: Reasoning in Uncertain Environments, p. 751-769, Springer Science+Business Media, Dordrecht, NL, OnlineFirst 2013, print 2014 DOI 10.1007/s11225-013-9503-6 (bibtex)
  • OCF-Networks with missing values. Gabriele Kern-Isberner, Christian Eichhorn. In Christoph Beierle, Gabriele Kern-Isberner (Hrsg.): Proceedings of th 4th Workshop on Dynamics of Knowledge and Belief (DBK-2013), 2013. (bibtex)
  • Intensional Combination of Rankings for OCF-Networks . Gabriele Kern-Isberner, Christian Eichhorn. In Chutima Boonthum-Denecke and Youngblood, Michael (Hrsg): Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference (FLAIRS-26), 2013. (bibtex)
  • A structural base for conditional reasoning. Gabriele Kern-Isberner, Christian Eichhorn. In: Human Reasoning and Automated Deduction (HRAD) – KI 2012 Workshop Proceedings (bibtex)
  • SemDupl: Semantic-based Duplicate Identification. Sven Hartrumpf, Hermann Helbig, Tim vor der Brück, Christan Eichhorn. Technischer Bericht, FernUniversität in Hagen, 2011. (bibtex)
  • Semantic Duplicate Identification with Parsing and Machine Learning. Sven Hartrumpf, Tim vor der Brück, Christan Eichhorn. In: Proceedings of the 13th International Conference on Text, Speech and Dialogue (TSD 2010) (herausgegeben von Petr Sojka, Aleš Horák, Ivan Kopeček und Karel Pala), Band 6231 von Lecture Notes in Artificial Intelligence, p. 84-92. Brno, Czech Republic. 2010. (bibtex)
  • Detecting Duplicates with Shallow and Parser-based Methods. Sven Hartrumpf, Tim vor der Brück, Christan Eichhorn. Proc. IEEE International Conference on Natural Language Processing and Knowledge Engineering (NLP-KE), p. 142-149, Beijing, China. 2010. (bibtex)
  • Automatische Duplikatserkennung: Ähnliche Texte entdecken und erkennen. Christian Eichhorn. Der Andere Verlag, Tönning, 2009. (bibtex)
  • Measuring Flow as Concept for Detecting Game Fun in the Pac-Man Game. Nicola Beume, Holger Danielsiek, Christian Eichhorn, Boris Naujoks, Mike Preuss, Klaus Stiller, Simon Wessing. Proc. 2008 Congress on Evolutionary Computation (CEC 2008) within Fifth IEEE World Congress on Computational Intelligence (WCCI 2008), p. 3447-3454. IEEE Press, 2008. (bibtex)
  • PG511 - CI in Games - Final Report. Holger Danielsiek, Christian Eichhorn, Tobias Hein, Edina Kurtić, Georg Neugebauer, Nico Piatkowski, Jan Quadflieg, Sebastian Schnelker, Raphael Stüer, Andreas Thom, Simon Wessing. Reihe CI 252/08, SFB 531, Technische Universität Dortmund, 2008. (bibtex)
  • PG511 - CI in Games - Zwischenbericht. Holger Danielsiek, Christian Eichhorn, Tobias Hein, Edina Kurtić, Georg Neugebauer, Nico Piatkowski, Michael Puchowezki, Jan Quadflieg, Sebastian Schnelker, Raphael Stüer, Andreas Thom, Simon Wessing. Reihe CI 236/07, SFB 531, Technische Universität Dortmund, 2007. (bibtex)
  • Das Virtuelle Informatik-Labor VILAB – Konzeption, technische Realisierung und Einsatz in der Lehre. Rainer Lütticke, Hermann Helbig, Christan Eichhorn. Reihe Informatik- Berichte 321 — 8/2005, FernUniversität in Hagen, 2005 (bibtex)
 
Joomla SEF URLs by Artio