Hitzler, Pascal

6 publications

AAAI 2019 Efficient Concept Induction for Description Logics Md. Kamruzzaman Sarker, Pascal Hitzler

MLJ 2010 Concept Learning in Description Logics Using Refinement Operators Jens Lehmann, Pascal Hitzler

AAAI 2008 Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler

IJCAI 2007 A Fully Connectionist Model Generator for Covered First-Order Logic Programs Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel

AAAI 2007 Complexity Boundaries for Horn Description Logics Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler

IJCAI 2003 A Resolution Theorem for Algebraic Domains Pascal Hitzler