Publications

For slides see my list of presentations.

[Currently Processing] [Books] [Edited Books (Research Collections)] ] [Edited Books (Proceedings)] [In Journals] [ Book Contributions] [In Conference Proceedings] [W3C Documents] [In Workshop Proceedings] [Workshop Proceedings] [Posters and Demos] [In Bulletins] [Theses] [Project Reports and Deliverables] [Technical Reports] [Edited Books (enhancement programmes)] [ Book Contributions (enhancement programmes)] [Manuscripts] [Edited Manuscripts]

Please note that the download versions of the papers are sometimes not identical to the printed versions, although always good approximations of them.

Currently Processing

• Mathematical Aspects of Logic Programming Semantics. (tentative title)
  Pascal Hitzler, Anthony K. Seda
  Research Monograph
  In preparation.
• Logik und Logikprogrammierung Band 2: Aufgaben und Lösungen. (tentative title)
  Steffen Hölldobler, Sebastian Bader, Bertram Fronhöfer, Ursula Hans, Pascal Hitzler, Markus Krötzsch, Tobias Pietzsch
  Synchron Verlag, 2008.
  In preparation.
• Commonsense Reasoning for the Semantic Web. (tentative title)
  Frank van Harmelen, Andreas Herzig, Pascal Hitzler, Guilin Qi (eds.)
  Special issue of Annals of Mathematics and Artificial Intelligence
  In preparation.
• On the Complexities of Horn Description Logics.
  Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
  In preparation.
  [pdf (technical report)]
• Approximate Instance Retrieval.
  Tuvshintur Tserendorj, Stephan Grimm, Pascal Hitzler
  In preparation.
  [pdf (technical report)]
• Towards a Tractable Web Service Modelling Language.
  Florian Fischer, Gulay Unel, Pascal Hitzler, Barry Bishop, Toma Iona, Dieter Fensel
  In preparation.
• Linked Data is Merely More Data.
  Prateek Jain, Pascal Hitzler, Peter Z. Yeh, Kunal Verma, Amit P. Sheth
  Submitted to a workshop.
• Local Closed-World Reasoning with Description Logics under the Well-founded Semantics.
  Matthias Knorr, Jose Julio Alferes, Pascal Hitzler
  Submitted to a journal.
  [pdf (technical report)]
• An Anytime Algorithm for Computing Inconsistency Measurement.
  Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zuoquan Lin
  In: Proceedings of KSEM2009.
  To appear.
  [pdf (paper)]
• Towards Reasoning Pragmatics.
  Pascal Hitzler
  In: Proceedings of GeoS2009.
  To appear.
  [pdf (paper)]
• Challenges for recurrent neural networks.
  Marco Gori, Barbara Hammer, Pascal Hitzler, Günter Palm (eds.)
  Special issue of the Logic Journal of the IGPL.
  To appear.
• Perspectives and challenges for recurrent neural network training.
  Marco Gori, Barbara Hammer, Pascal Hitzler, Günter Palm (eds.)
  Logic Journal of the IGPL.
  To appear.
• Extracting Reduced Logic Programs from Artificial Neural Networks.
  Jens Lehmann, Sebastian Bader, Pascal Hitzler
  Applied Intelligence, 2008; doi: 10.1007/s10489-008-0142-y
  [pdf (technical report)]
• Generalized Distance Functions in the Theory of Computation.
  Anthony Karel Seda and Pascal Hitzler
  The Computer Journal, 2008; doi: 10.1093/comjnl/bxm108
  [pdf (free access)]
• Concept Learning in Description Logics Using Refinement Operators.
  Jens Lehmann, Pascal Hitzler
  Machine Learning
  To appear.
  [pdf (paper)]

Books

• Foundations of Semantic Web Technologies.
  Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph
  Textbooks in Computing, Chapman and Hall/CRC Press, 2010.
  [(Book Website)]
• Semantic Web. Grundlagen.
  Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, York Sure
  Springer textbook, 2008, ISBN 978-3-540-33993-9.
  [more information]

Edited Books (Research Collections)

• Conceptual Structures in Practice.
  Pascal Hitzler, Henrik Schärfe (eds.)
  Chapman & Hall/CRC studies in informatics series, Boca Raton FL, 2009. ISBN 978-1-4200-6062-1.
  [(Publisher information]
• Perspectives of Neural-Symbolic Integration.
  Barbara Hammer, Pascal Hitzler (eds.)
  Studies in Computational Intelligence, Vol. 77. Springer, 2007, ISBN 978-3-540-73952-1.
  [(Publisher information]

Edited Books (Proceedings)

• Artificial General Intelligence. Second Conference on Artificial General Intelligence, AGI 2009, Arlington, Virginia, USA, March 6-9, 2009. Proceedings.
  Ben Goertzel, Pascal Hitzler, Marcus Hutter (eds.)
  Atlantis Press, Amsterdam, 2009. ISBN 978-90-78677-24-6.
• Conceptual Structures: Inspiration and Application. 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 2006, Proceedings.
  H. Schärfe, P. Hitzler, P. Øhrstrøm (eds.)
  Lecture Notes in Computer Science Vol. 4068, Springer, Berlin, 2006.
  [Publisher information]
• Inspiration and Application. Contributions to ICCS 2006, 14th International Conference on Conceptual Structures, ICCS 2006.
  P. Hitzler, H. Schärfe, P. Øhrstrøm (eds.)
  Aalborg University Press, Aalborg, Denmark, ISBN 87-7307-768-2.

Journal Publications

• Facets of Artificial General Intelligence.
  Pascal Hitzler, Kai-Uwe Kühnberger
  Künstliche Intelligenz 2/09, 58-59, 2009.
  [pdf (paper)]
• Connectionist Model Generation: A First-Order Approach.
  Sebastian Bader, Pascal Hitzler, Steffen Hölldobler
  Neurocomputing 71, 2008, 2420-2432.
  [pdf (technical report)]
• Semantic Matchmaking of Web Resources with Local Closed-World Reasoning.
  Stephan Grimm, Pascal Hitzler
  International Journal of e-Commerce 12 (2), 89-126, Winter 2007-8.
  [pdf (technical report)]
• DOLCE ergo SUMO: On Foundational and Domain Models in the SmartWeb Integrated Ontology (SWIntO).
  D. Oberle, A. Ankolekar, P. Hitzler, P. Cimiano, M. Sintek, M. Kiesel, B. Mougouie, S. Vembu, S. Baumann, M. Romanelli, P. Buitelaar, R. Engel, D. Sonntag, N. Reithinger, B. Loos, R. Porzel, H.-P. Zorn, V. Micelli, C. Schmidt, M. Weiten, F. Burkhardt, J. Zhou
  Journal of Web Semantics: Science, Services and Agents on the World Wide Web 5 (3), 2007, 156-174.
  [pdf (technical report)]
• A semantic future for AI.
  R. Studer, A. Ankolekar, P. Hitzler, Y. Sure
  IEEE Intelligent Systems 21 (4), 8-9, July/August 2006.
  [pdf (technical report)]
• A categorical view on algebraic lattices in formal concept analysis.
  Pascal Hitzler, Markus Krötzsch and Guo-Qiang Zhang
  Fundamenta Informaticae 74 (2-3), 301-328, 2006.
  [pdf (technical report)]
• The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence.
  Sebastian Bader, Pascal Hitzler, Steffen Hölldobler
  Invited Paper.
  Information 9 (1), 2006.
  [pdf (paper)]
• The Semantic Web in One Day.
  York Sure, Pascal Hitzler, Andreas Eberhart, Rudi Studer
  IEEE Intelligent Systems 20 (3), 85-87, May 2005.
  [pdf (paper)]
• Towards a Systematic Account of Different Semantics for Logic Programs.R
  Journal of Logic and Computation 15 (3), 2005, 391-404.
  [pdf (paper)][pdf (published version)]
• A uniform approach to logic programming semantics.
  Pascal Hitzler, Matthias Wendt
  Theory and Practice of Logic Programming 5 (1-2), 2005, 123-159.
  [gzipped postscript (technical report)] [pdf (technical report)]
• Logic Programs and Connectionist Networks.
  Pascal Hitzler, Steffen Hölldobler, Anthony K. Seda
  Journal of Applied Logic 2(3), 2004, 245-272.
  Special Issue on Neural-Symbolic Systems.
  7th ranked top downloaded paper of the journal in 2004!
  [pdf (technical report)]
• Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks.
  Sebastian Bader, Pascal Hitzler
  Journal of Applied Logic 2(3), 2004, 273-300.
  Special Issue on Neural-Symbolic Systems.
  10th ranked top downloaded paper of the journal in 2004!
  [gzipped postscript (technical report)] [pdf (technical report)]
• A generalized resolution theorem.
  Journal of Electrical Engineering 55 (1-2), 2004, 25-30.
  [ps.gz (technical report)] [pdf (technical report)]
• Generalized Metrics and Uniquely Determined Logic Programs.
  Pascal Hitzler, Anthony K. Seda
  Theoretical Computer Science 305 (1-3), 2003, 187-219.
  Special Issue: Proceedings of the Dagstuhl Seminar 00231 "Topology in Computer Science: Constructivity; Asymmetry and Partiality; Digitization"
  [gzipped postscript (paper)] [pdf (paper)]
• Unique Supported-Model Classes of Logic Programs. R
  Pascal Hitzler, Anthony K. Seda
  Information 4 (3). 2001, 295-302.
  [gzipped postscript (paper)] [pdf (paper)]
• A "Converse" of the Banach Contraction Mapping Theorem.
  Pascal Hitzler, Anthony K. Seda
  Journal of Electrical Engineering 52 (10/s), 2001, 3-6.
  [gzipped postscript (paper)] [pdf (paper)]
• Dislocated Topologies.
  Pascal Hitzler, Anthony K. Seda
  Journal of Electrical Engineering 51 (12/s), 2000, 3-7.
  [gzipped postscript (paper)] [pdf (paper)]
• Some Issues Concerning Fixed-Points in Computational Logic: Quasi-Metrics, Multivalued Mappings and the Knaster-Tarski Theorem.
  Pascal Hitzler, Anthony K. Seda
  Topology Proceedings 24, Summer 1999, 223-250.
  [gzipped postscript (paper)] [pdf (paper)]
• Topology and Iterates in Computational Logic.
  Pascal Hitzler, Anthony K. Seda
  Topology Proceedings 22, Summer 1997, 427-469.
  [gzipped postscript (paper)] [pdf (paper)]

Book Contributions

• Ontologies and Rules.
  Pascal Hitzler, Bijan Parsia
  In: Steffen Staab and Rudi Studer (eds.), Handbook on Ontologies. Springer, 2nd Edition, 2009, pp. 111-132.
  [pdf (chapter)]
• Learning Expressive Ontologies.
  Johanna Völker, Peter Haase, Pascal Hitzler
  In Paul Buitelaar and Philipp Cimiano (eds.), Bridging the Gap between Text and Knowledge. IOS Press, Amsterdam, 2008, ISBN 978-1-58603-818-2, pp. 45-69.
  [pdf (chapter)]
• The Core Method: Connectionist Model Generation for First-Order Logic Programs.
  Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel.
  In: Barbara Hammer, Pascal Hitzler (eds.), Perspectives of Neural-Symbolic Integration. Studies in Computational Intelligence Vol. 77. Springer, 2007, ISBN 978-3-540-73952-1, pp. 205-232.
  [pdf (chapter)]
• Knowledge Representation and Ontologies.
  Stephan Grimm, Pascal Hitzler, Andreas Abecker
  In: Rudi Studer, Stephan Grimm, Andreas Abecker (eds.), Semantic Web Services: Concepts, Technology and Applications, Springer, Berlin, 2007, pp. 51-106.
  [pdf (chapter)]
• Visual Ontology Modeling for Electronic Markets.
  Saartje Brockmans, Andreas Geyer-Schulz, Pascal Hitzler, Rudi Studer
  In: Thomas Dreier, Rudi Studer, Christof Weinhard (eds.), Information Management and Market Engineering, Universitätsverlag Karlsruhe, 2006, pp. 85-100.
  [online]
• Dimensions of neural-symbolic integration - a structured survey.
  Sebastian Bader, Pascal Hitzler
  In: S. Artemov, H. Barringer, A. S. d'Avila Garcez, L. C. Lamb and J. Woods (eds). We Will Show Them: Essays in Honour of Dov Gabbay, Volume 1. International Federation for Computational Logic, College Publications, 2005, pp. 167-194.
  [ps (technical report)] [zipped ps (technical report)] [pdf (technical report)]
• Convergence Classes and Spaces of Partial Functions.
  Roland Heinze, Pascal Hitzler, Anthony K. Seda
  In: G.-Q. Zhang, J. Lawson, Y.M. Liu and M.K. Luo (eds), Domain Theory, Logic and Computation. Semantic Structures in Computation Vol. 3, Kluwer Acad. Publ., 2003, 75-115.
  [pdf (paper)]
• The Fixed-Point Theorems of Priess-Crampe and Ribenboim in Logic Programming.
  Pascal Hitzler, Anthony K. Seda
  In: F-V. Kuhlmann, S. Kuhlmann and M. Marshall (eds.), Valuation Theory and Its Applications, Vol. I. Fields Institute Communications Vol. 32, American Mathematical Society, 2002, 219-235.
  [gzipped postscript (paper)] [pdf (paper)]
• Strong and Weak Topologies.
  In: G. Kalmbach, Quantum Measures and Spaces, Kluwer Acad. Publ., Dordrecht, 1998, pp. 223-231.

Conference Publications

• A Preferential Tableaux Calculus for Circumscriptive ALCO.
  Stephan Grimm, Pascal Hitzler
  In: Axel Polleres, Terrance Swift (Eds.), Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, October 20009, Proceedings. Lecture Notes in Computer Science Vol. 5837, Springer, pp. 40-54.
  Runner-up for Best Paper Award.
  [pdf (paper)]
• Paraconsistent reasoning for OWL 2.
  Yue Ma, Pascal Hitzler
  In: Axel Polleres, Terrance Swift (Eds.), Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, October 20009, Proceedings. Lecture Notes in Computer Science Vol. 5837, Springer, pp. 197-211.
  [pdf (paper)]
• RaDON - Repair and Diagnosis in Ontology Networks.
  Qiu Ji, Peter Haase, Guilin Qi, Pascal Hitzler, Steffen Stadtmüller
  In: Lora Aroyo, Paolo Traverso, Fabio Ciravegna, Philipp Cimiano, Tom Heath, Eero Hyvönen, Riichiro Mizoguchi, Eyal Oren, Marta Sabou, Elena Simperl (eds.) The Semantic Web: Research and Applications: 6th European Semantic Web Conference, ESWC 2009 Heraklion, Crete, Greece, May 31-June 4, 2009, pp. 863-867.
  [pdf (paper)]
• The Importance of Being Neural-Symbolic - A Wilde Position.
  Pascal Hitzler, Kai-Uwe Kühnberger
  In: Ben Goertzel, Pascal Hitzler, Marcus Hutter (eds.), Artificial General Intelligence. Second Conference on Artificial General Intelligence, AGI 2009, Arlington, Virginia, USA, March 6-9, 2009. Proceedings, pp. 208-209.
  [pdf (paper)]
• Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.
  Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
  In: Amit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan (eds.), The Semantic Web - ISWC 2008, 7th International Semantic Web Conference. Springer Lecture Notes in Computer Science Vol. 5318, 2008, 435-450.
  [pdf (technical report)]
• ELP: Tractable Rules for OWL 2.
  Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
  In: Amit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan (eds.), The Semantic Web - ISWC 2008, 7th International Semantic Web Conference. Springer Lecture Notes in Computer Science Vol. 5318, 2008, pp. 649-664.
  [pdf (paper)] [pdf (extended technical report)]
• What Is Approximate Reasoning?
  Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler
  In: D. Calvanese, G. Lausen (eds.), Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October/November 2008. Springer Lecture Notes in Computer Science Vol. 5341, 2008, pp. 150-164.
  [pdf (technical report)]
• Approximate OWL-Reasoning with Screech.
  Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
  In: D. Calvanese, G. Lausen (eds.), Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October/November 2008. Springer Lecture Notes in Computer Science Vol. 5341, 2008, pp. 165-180.
  [pdf (technical report)]
• Cheap Boolean Role Constructors for Description Logics.
  Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
  In: Steffen Hölldobler and Carsten Lutz and Heinrich Wansing (eds.), Proceedings of 11th European Conference on Logics in Artificial Intelligence (JELIA), volume 5293 of LNAI, pp. 362-374. Springer, September 2008.
  [pdf (technical report)]
• Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams.
  Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
  In: Dieter Fox and Carla P. Gomes (eds.), Proceedings of the 23rd AAAI Conference on Artficial Intelligence, AAAI-08, Chicago, USA, July 2008. AAAI Press, pp. 529-534.
  [pdf (paper)] [pdf (extended technical report)]
• Description Logic Rules.
  Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
  In: Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikos Avouris (eds.), Proceedings of the 18th European Conference on Artificial Intelligence, ECAI2008, Patras, Greece, July 2008. IOS Press, 2008, pp. 80-84.
  [pdf (paper)] [pdf (extended technical report)]
• A Coherent Well-founded model for Hybrid MKNF knowledge bases.
  Matthias Knorr, Jose Julio Alferes, Pascal Hitzler
  In: Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikos Avouris (eds.), Proceedings of the 18th European Conference on Artificial Intelligence, ECAI2008, Patras, Greece, July 2008. IOS Press, 2008, pp. 99-103.
  [pdf (paper)]
• A Refinement Operator Based Learning Algorithm for the ALC Description Logic.
  Jens Lehmann, Pascal Hitzler
  In: H. Blockeel, J. Ramon, J. Shavlik, P. Tadepalli (eds.), Inductive Logic Programming, 17th International Conference, ILP 2007, Corvallis, OR, USA, June 2007, Revised Selected Papers. Lecture Notes in Artificial Intelligence 4894, 2008, pp. 147-160.
  Best Student Paper Award at ILP 2007!
  [pdf (paper)] [pdf (technical report)]
• Foundations of Refinement Operators for Description Logics.
  Jens Lehmann, Pascal Hitzler
  In: H. Blockeel, J. Ramon, J. Shavlik, P. Tadepalli (eds.), Inductive Logic Programming, 17th International Conference, ILP 2007, Corvallis, OR, USA, June 2007, Revised Selected Papers. Lecture Notes in Artificial Intelligence 4894, 2008, pp. 161-174.
  Best Student Paper Award at ILP 2007!
  [pdf (paper)] [pdf (technical report)]
• Towards Tractable Local Closed World Reasoning for the Semantic Web.
  Matthias Knorr, Jose Alferes, Pascal Hitzler
  In: Jose Neves, Manuel Filipe Santos, Jose Machado (eds.): Progress in Artificial Intelligence, 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007, Guimaraes, Portugal, December 3-7, 2007, Proceedings. Lecture Notes in Computer Science 4874, Springer 2007, pp. 3-14.
  [pdf (technical report)]
• Conjunctive Queries for a Tractable Fragment of OWL 1.1.
  Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
  In: Karl Aberer, Key-Sun Choi, Natasha Fridman Noy, Dean Allemang, Kyung-Il Lee, Lyndon J. B. Nixon, Jennifer Golbeck, Peter Mika, Diana Maynard, Riichiro Mizoguchi, Guus Schreiber, Philippe Cudre-Mauroux (eds.): The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007. Lecture Notes in Computer Science 4825, Springer 2007, pp. 310-323.
  [pdf (paper)]
• Any-World Access to OWL from Prolog.
  Tobias Matzner, Pascal Hitzler
  In: Joachim Hertzberg, Michael Beetz, Roman Englert (eds.): KI 2007: Advances in Artificial Intelligence, 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 2007, Proceedings. Lecture Notes in Computer Science 4667 Springer 2007, pp. 84-98.
  [pdf (technical report)]
• An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics.
  Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
  In K. Mellouli (ed.), Proceedings of Ninth European Conference on Symbolic and Quanlitative Approaches to Reasoning with Uncertainty, Hammamet, Tunisia, October 2007. Springer Lecture Notes in Artificial Intelligence 4724, pp. 91-102.
  [paper (pdf)]
• Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics.
  Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
  In K. Mellouli (ed.), Proceedings of Ninth European Conference on Symbolic and Quanlitative Approaches to Reasoning with Uncertainty, Hammamet, Tunisia, October 2007. Springer Lecture Notes in Artificial Intelligence 4724, pp. 30-41.
  [paper (pdf)]
• Complexity Boundaries for Horn Description Logics
  Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
  In: Proceedings of the 22nd AAAI Conference on Artficial Intelligence. AAAI Press, Vancouver, British Columbia, Canada, 2007, pp. 452-457.
  [pdf (paper)] [pdf (extended technical report)]
• Supporting Lexical Ontology Learning by Relational Exporation.
  Sebastian Rudolph, Johanna Völker, Pascal Hitzler
  In Uta Priss, Simon Polovina, Richard Hill (eds.), Conceptual Structures: Knowledge Architectures for Smart Applications, Proceedings ICCS 2007, volume 4604 of LNAI, pp. 488-491. Springer, Sheffield, UK, July 2007.
  [pdf (paper)]
• Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the Semantic Web.
  Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
  In Uta Priss, Simon Polovina, Richard Hill (eds.), Conceptual Structures: Knowledge Architectures for Smart Applications, Proceedings ICCS 2007, volume 4604 of LNAI, pp. 464-467. Springer, Sheffield, UK, July 2007.
  [pdf (paper)]
• Acquisition of OWL DL Axioms from Lexical Resources.
  Johanna Völker, Pascal Hitzler, Philipp Cimiano
  In: Enrico Franconi, Michael Kifer, Wolfgang May (eds.), The Semantic Web: Research and Applications. Proceedings of the 4th European Semantic Web Conference, ESWC2007, Innsbruck, Austria, June 2007. Springer Lecture Notes in Computer Science 4519, pp. 670-685.
  [paper (pdf)]
• Algorithms for Paraconsistent Reasoning with OWL.
  Yue Ma, Pascal Hitzler, Zuoquan Lin
  In: Enrico Franconi, Michael Kifer, Wolfgang May (eds.), The Semantic Web: Research and Applications. Proceedings of the 4th European Semantic Web Conference, ESWC2007, Innsbruck, Austria, June 2007. Springer Lecture Notes in Computer Science 4519, pp. 399-413.
  [pdf (paper)] [pdf (extended technical report)]
• Decidability Under the Well-Founded Semantics.R
  Natalia Cherchago, Pascal Hitzler, Steffen Hölldobler
  In: Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie (eds.), Proceedings of the First International Conference on Web Reasoning and Rule Systems, RR2007, Innsbruck, Austria, June 2007. Springer Lecture Notes in Computer Science 4524, pp. 269-278.
  [pdf (paper)]
• Efficient OWL Reasoning with Logic Programs - Evaluations.
  Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic
  In: Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie (eds.), Proceedings of the First International Conference on Web Reasoning and Rule Systems, RR2007, Innsbruck, Austria, June 2007. Springer Lecture Notes in Computer Science 4524, pp. 370-373.
  For the presentation of this paper we received the best poster award.
  [pdf (paper)]
• A Fully Connectionist Model Generator for Covered First-Order Logic Programs.
  Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel
  In: Manuela M. Veloso (ed.), Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07, Hyderabad, India, January 2007, AAAI Press, Menlo Park CA, 2007, pp. 666-671.
  [pdf (paper)]
• Formalizing ontology alignment and its operations with category theory.
  A. Zimmermann, M. Krötzsch, P. Hitzler, J. Euzenat
  In: B. Bennett and C. Fellbaum (eds.), Proceedings of the International Conference on Formal Ontology in Information Systems, FOIS2006, Baltimore, Maryland, November 2006.
  [pdf (technical report)]
• How to reason with OWL in a logic programming system.
  M. Krötzsch, P. Hitzler, D. Vrandecic, M. Sintek
  In: Thomas Eiter, Enrico Franconi, Ralph Hodgson, Susie Stephens (eds.), Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML2006, Athens, Georgia, November 2006, IEEE Computer Society, ISBN 0-7695-2652-7, 2006, pp. 17-26.
  [pdf (technical report)]
• Querying formal contexts with answer set programs.
  P. Hitzler, M. Krötzsch
  In: H. Schärfe, P. Hitzler and P. Øhrstrøm (eds.), Conceptual Structures: Inspiration and Application, Proceedings of the 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 2006. Lecture Notes in Computer Science 4068, Springer, 2006, 260-273.
  [pdf (technical report)]
• Query-Based Multicontexts for Knowledge Base Browsing: An Evaluation.
  J. Tane, P. Cimiano, P. Hitzler
  In: H. Schärfe, P. Hitzler and P. Øhrstrøm (eds.), Conceptual Structures: Inspiration and Application, Proceedings of the 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 2006. Lecture Notes in Computer Science 4068, Springer, 2006, 413-426.
  [pdf (technical report)]
• A Metamodel and UML Profile for Rule-extended OWL DL Ontologies.
  S. Brockmans, P. Haase, P. Hitzler, R. Studer
  In: York Sure, John Domingue (eds.): The Semantic Web: Research and Applications, 3rd European Semantic Web Conference, ESWC 2006, Budva, Montenegro, June 11-14, 2006, Proceedings. Lecture Notes in Computer Science 4011 Springer 2006, 303-316.
  [pdf (technical report)]
• Resolution-based approximate reasoning for OWL DL.
  Pascal Hitzler, Denny Vrandecic
  In: Y. Gil et al. (eds.), Proceedings of ISWC2005, Galway, Ireland, November 2005. Lecture Notes in Computer Science 3729, pp. 383-397, Springer, Berlin, 2005.
  [pdf (paper)]
• The well-supported semantics for multidimensional dynamic logic programs.
  (with F. Banti, J. Alferes and A. Brogi)
  In: Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina (eds.): Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings. Lecture Notes in Computer Science 3662 Springer 2005, pp. 356-368.
  [pdf (paper)]
• Morphisms in Context.
  (with Markus Krötzsch and Guo-Qiang Zhang)
  Frithjof Dau, Marie-Laure Mugnier and Gerd Stumme (eds.), Conceptual Structures: Common Semantics for Sharing Knowledge. Proceedings of the 13th International Conference on Conceptual Structures, ICCS '05, Kassel, Germany, July 2005. Lecture Notes in Computer Science 3596, Springer, Berlin, 2005, pp. 223-237.
  [pdf (paper)][pdf (extended technical report)]
• Computing First-Order Logic Programs by Fibring Artificial Neural Networks.
  (with Sebastian Bader and Artur S. d'Avila Garcez)
  I. Russell, Z. Markov (eds.): Proceedings of the Eighteenth International Florida Artificial Intelligence Research Symposium Conference, Clearwater Beach, Florida, USA. AAAI Press 2005, May 2005, pp. 314-319.
  [pdf (paper)]
• The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence.
  (with Sebastian Bader and Steffen Hölldobler)
  In: L. Li and K.K. Yen, Proceedings of the Third International Conference on Information, Tokyo, Japan, November/December 2004. ISBN 4-901329-02-2, International Information Institute, pp. 22-33.
  [pdf (paper), pdf (extended abstract)]
• Default Reasoning over Domains and Concept Hierarchies.
  In: Proceedings of the 27th German conference on Artificial Intelligence, KI'2004, Ulm, Germany, September 2004, Lecture Notes in Artificial Intelligence 3238, Springer, Berlin, 2004, pp. 351-365.
  [gzipped postscript (paper, with appendix: complete proofs)] [pdf (paper, with appendix: complete proofs)]
• A cartesian closed category of approximable concept structures.
  (with Guo-Qiang Zhang)
  In: Karl-Erich Wolff, Heather D. Pfeiffer and Harry S. Delugach (Eds), Conceptual Structures at Work, Proceedings fo the 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, Alabama, USA, July 2004. Lecture Notes in Artificial Intelligence Vol. 3127, Springer, 2004, ppp. 170-185.
  [pdf (paper)]
• Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion.R
  In: D. Seipel, M. Hanus, U. Geske, and O. Bartenstein, Proceedings of the 15th International Conference on Applications of Declarative Programming and Knowledge Management and the 18th Workshop on Logic Programming, Potsdam, Germany, March 4-6, 2004, 13-27. Technical Report 327, Bayerische Julius-Maximilians-Universität Würzburg, Institut für Informatik, March 2004.
  [gzipped postscript (paper)] [pdf (paper)]
• A Resolution Theorem for Algebraic Domains.
  In G. Gottlob and T. Walsh (eds.), Proceedings of the 18th International Joint Conference on Artificial Intelligence, IJCAI-03, Acapulco, Mexico, August 2003, pp. 1339-1340.
  
• Towards a Systematic Account of Different Logic Programming Semantics.
  In: Andreas Günter, Rudolf Kruse and Bernd Neumann, KI2003: Advances in Artificial Intelligence. Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI2003, Hamburg, Germany, September 2003. Springer Lecture Notes in Artificial Intelligence Vol. 2821, 2003, pp. 355-369.
  [gzipped postscript (paper)] [pdf (paper)] (© Springer Verlag)
• Continuity of Semantic Operators in Logic Programming and their Approximation by Artificial Neural Networks.
  (with Anthony K. Seda)
  In: Andreas Günter, Rudolf Kruse and Bernd Neumann, KI2003: Advances in Artificial Intelligence. Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI2003, Hamburg, Germany, September 2003. Springer Lecture Notes in Artificial Intelligence Vol. 2821, 2003, pp. 105-119.
  [gzipped postscript (paper)] [pdf (paper)] (© Springer Verlag)
• Formal Concept Analysis and Resolution in Algebraic Domains.
  (with Matthias Wendt)
  In: Aldo de Moor and Bernhard Ganter (eds.): Using Conceptual Structures - Contributions to ICCS 2003. Shaker Verlag, Aachen, ISBN 3-8322-1705-3, pp. 157--170.
  [gzipped postscript (paper)] [pdf (paper)]
• The Well-Founded Semantics is a Stratified Fitting Semantics.
  (with Matthias Wendt)
  In: M. Jarke, J. Koehler and G. Lakemeyer, Proceedings of the 25th German Conference on Artificial Intelligence (KI2002), Aachen, September 2002. Lecture Notes in Artificial Intelligence 2479, Springer, 2002, 205-221
  [gzipped postscript (technical report)] [pdf (technical report)]
• On the Coincidence of Semantics for Uniquely Determined Programs.
  (with Anthony K. Seda)
  In: Ted Hurley, Micheal Mac an Airchinnigh, Michel Schellekens and Anthony K. Seda (eds.), Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Cork, Ireland, July 2000. Electronic Notes in Theoretical Computer Science, Volume 40, 2002, Elsevier.
  [gzipped postscript (paper)] [pdf (paper)]
  
• Semantic Operators and Fixed-Point Theory in Logic Programming.
  (with Anthony K. Seda)
  In: N. Callaos et al. (eds.), Proceedings of the joint IIIS and IEEE meeting of the 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI2001) and the 7th International Conference on Information Systems Analysis and Synthesis (ISAS2001), Orlando, Florida, USA, July, 2001. International Institute of Informatics and Systemics: IIIS, Vol. VII, Computer Science and Engineering Part 1, 2001, pp. 224-229.
  [gzipped postscript (paper)] [pdf (paper)]
• Classes of Logic Programs which Possess Unique Supported Models.
  (with Anthony K. Seda)
  In: L. Li, F. Ren and K. Yen (eds.), Proceedings of the First International Conference on Information (INFORMATION'2000), Fukuoka, Japan, October, 2000. Special edition of the Journal of Information, International Information Institute, 2000, pp. 100-101 (extended abstract).
  [gzipped postscript (published extended abstract)] [pdf (published extended abstract)]
• A New Fixed-point Theorem for Logic Programming Semantics.
  (with Anthony K. Seda)
  In: N. Callaos et al. (eds.) Proceedings of the joint IIIS & IEEE meeting of the 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI2000) and the 6th International Conference on Information Systems Analysis and Synthesis (ISAS2000), Orlando, Florida, USA, July, 2000. International Institute of Informatics and Systemics: IIIS, Vol. VII, Computer Science and Engineering Part 1, 2000, pp. 418-423.
  [gzipped postscript (paper)] [pdf (paper)]
• A Characterization of Acceptability.
  (with Anthony K. Seda)
  In: D. De Schreye (Ed.), Proceedings of the 1999 International Conference on Logic Programming, ICLP'99, Las Cruces, New Mexico. MIT Press, Cambridge, 1999, p. 609.
• Characterizations of Classes of Programs by Three-valued Operators.
  (with Anthony K. Seda)
  In: M. Gelfond, N. Leone and G. Pfeifer (eds.), Logic Programming and Nonmonotonic Reasoning, Proceedings of the 5th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR'99), El Paso, Texas, USA, December 1999. Lecture Notes in Artificial Intelligence 1730, Springer, Berlin, 1999, pp. 357-371.
  [gzipped postscript (paper)] [pdf (paper)]

W3C Documents

• OWL 2 Web Ontology Language: Primer.
  Pascal Hitzler, Markus Krötzsch, Bijan Parsia, Peter F. Patel-Schneider, Sebastian Rudolph
  W3C Recommendation, 27 October 2009.
  [html]
• Web Rule Language (WRL)
  (with Harold Boley, Jos de Bruijn, Dieter Fensel, Michael Kifer, Reto Krummenacher, Holger Lausen, Axel Polleres, Rudi Studer)
  W3C Member Submission, 09 September 2005.
  [http://www.w3.org/Submission/WRL/]
• Relationship of WRL to relevant other technologies
  (with Jos de Bruijn, Dieter Fensel, Michael Kifer, Axel Polleres)
  W3C Member Submission, 09 September 2005.
  [http://www.w3.org/Submission/WRL-related/]

Workshop Publications

• Suggestions for OWL 3.
  Pascal Hitzler
  In: Rinke Hoekstra, Peter Patel-Schneider (eds.), Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), Chantilly, VA, United States, October 23-24, 2009.
  CEUR Workshop Proceedings Vol. 529. ISSN 1613-0073.
  [pdf (paper)]
• Approximate OWL Instance Retrieval with Screech.
  Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, Tuvshintur Tserendorj
  In: A.G. Cohn, D.C. Hogg, R. Möller, B. Neumann (eds.), Dagstuhl Seminar Proceedings 08091, Logic and Probability for Scene Interpretation, February 2008.
  [pdf (extended abstract)]
• Paraconsistent Reasoning for Expressive and Tractable Description Logics.
  Yue Ma, Pascal Hitzler, Zuoquan Lin
  In: Franz Baader, Carsten Lutz, Boris Motik, Proceedings of the 21st International Workshop on Description Logics, DL2008, Dresden, Germany, May 2008. CEUR Workshop Proceedings Vol. 353, 2008. ISSN 1613-0073.
  [pdf (paper)]
• All Elephants are Bigger than All Mice.
  Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
  In: Franz Baader, Carsten Lutz, Boris Motik, Proceedings of the 21st International Workshop on Description Logics, DL2008, Dresden, Germany, May 2008. CEUR Workshop Proceedings Vol. 353, 2008. ISSN 1613-0073.
  [pdf (paper)]
• Defeasible Inference with Circumscriptive OWL Ontologies.
  Stephan Grimm, Pascal Hitzler
  In: Frank van Harmelen, Andreas herzig, Pascal Hitzler, Zuoquan Lin, Ruzica Piskac, Guilin Qi (eds.), Proceedings of the Workshop on Advancing Reasoning on the Web: Scalability and Commonsense, ARea 2008, at the 5th European Semantic Web Conference, ESWC08, Tenerife, Spain, June 2008. CEUR Workshop Proceedings Vol. 350, 2008. ISSN 1613-0073.
  [pdf (paper)]
• A Forgetting-based Approach for Handling Inconsistency in Distributed Ontologies.
  Guilin Qi, Yimin Wang, Peter Haase, Pascal Hitzler
  In: Ulrike Satller, Andrei Tamilin (eds.), Proceedings of the International Workshop WORM-08, Ontologies: Reasoning and Modularity, at the 5th European Semantic Web Conference, ESWC08, Tenerife, Spain, June 2008. CEUR Workshop Proceedings Vol. 348, 2008.
  [pdf (paper)]
• A Comparison of Disjunctive Well-founded Semantics.
  Matthias Knorr, Pascal Hitzler
  In: Pascal Hitzler, Thomas Roth-Berghofer and Sebastian Rudolph, FAInt-07, Foundations of Artificial Intelligence, Workshop at KI 2007.
  CEUR Workshop Proceedings, Vol. 277, 2007. ISSN 1613-0073.
  [pdf (paper)] [pdf (technical report)]
• Description Logic Programs: Normal Forms.
  Pascal Hitzler, Andreas Eberhart
  In: Pascal Hitzler, Thomas Roth-Berghofer and Sebastian Rudolph, FAInt-07, Foundations of Artificial Intelligence, Workshop at KI 2007.
  CEUR Workshop Proceedings, Vol. 277, 2007. ISSN 1613-0073.
  [pdf (technical report)]
• Paraconsistent Resolution for Four-valued Description Logics.
  Yue Ma, Pascal Hitzler, Zuoquan Lin
  In: Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris, Proceedings of the 2007 International Workshop on Description Logics (DL-2007), Brixen-Bressanone, Italy, June 2007. CEUR Workshop Proceedings Vol-250, 2007.
  [pdf (paper)]
• Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics.
  Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
  In: Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris, Proceedings of the 2007 International Workshop on Description Logics (DL-2007), Brixen-Bressanone, Italy, June 2007. CEUR Workshop Proceedings Vol-250, 2007.
  [pdf (paper)]
• A Well-founded Semantics for Hybrid MKNF Knowledge Bases.
  Matthias Knorr, Jose Julio Alferes, Pascal Hitzler.
  In: Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris, Proceedings of the 2007 International Workshop on Description Logics (DL-2007), Brixen-Bressanone, Italy, June 2007. CEUR Workshop Proceedings Vol-250, 2007.
  [pdf (paper)]
• On the Complexity of Horn Description Logics.
  Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
  In: Bernardo Cuenca Grau, Pascal Hitzler, Connor Shankey, Evan Wallace (eds.), Proceedings of the Second Workshop OWL - Experiences and Directions, OWLED2006, Athens, Georgia, November 2006.
  CEUR Workshop Proceedings Vol. 216. ISSN 1613-0073.
  [pdf (paper)]
• DLP isn't so bad after all.
  (with Peter Haase, Markus Krötzsch, York Sure, Rudi Studer)
  In: Proceedings of the Workshop OWL - Experiences and Directions, Galway, Ireland, November 2005.
  CEUR Workshop Proceedings Vol. 188. ISSN 1613-0073.
  [pdf (technical report)] [pdf (CEUR-version)]
• Modeling Fuzzy Rules with Description Logics.
  (with Sudhir Agarwal)
  In: Proceedings of the Workshop OWL - Experiences and Directions, Galway, Ireland, November 2005.
  CEUR Workshop Proceedings Vol. 188. ISSN 1613-0073.
  [pdf (technical report)] [pdf (CEUR-version)]
• Integrating First Order Logic Programs and Connectionist Systems - A Constructive Approach.
  (with Sebastian Bader and Andreas Witzel)
  In: Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy'05.
  [pdf (paper)]
• Extracting reduced logic programs from artificial neural networks.
  (with Jens Lehmann and Sebastian Bader)
  In: Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy'05.
  [pdf (paper)]
• Ontology leaning as a use case for neural-symbolic integration.
  (with Sebastian Bader and Artur S. d'Avila Garcez)
  In: Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy'05.
  [pdf (paper)]
• Faster OWL Using Split Programs.
  (with Denny Vrandecic)
  In: Proceedings of the 12th Workshop on Automated Reasoning, ARW 2005, Edinburgh, UK, July 2005.
  Also in: F. Bry, F. Fages, M. Marchiori, H. Ohlbach (eds.), Dagstuhl Seminar Proceedings 05371, Principles and Practices of Semantic Web Reasoning, September 2005.
  [pdf (paper)]
• What Is Ontology Merging? - A Category-Theoretical Perspective Using Pushouts.T
  (with Markus Krötzsch, Marc Ehrig and York Sure)
  In: Pavel Shvaiko, Jerome Euzenat, Alain Leger, Deborah L. McGuinness, and Holger Wache, Proceedings of the First International Workshop on Contexts and Ontologies: Theory, Practice and Applications (C&0). Workshop at the 20th National Conference on Artificial Intelligence, AAAI-05, Pittsburgh, Pennsylvania, July 2005. Technical Report WS-05-01, AAAI Press, Menlo Park, California, pp. 104-107.
  [pdf (paper)][pdf (extended technical report)]
• Description Logic Programs: A Practical Choice For the Modelling of Ontologies.
  (with Rudi Studer and York Sure)
  In: 1st Workshop on Formal Ontologies meet Meet Industry, FOMI'05, Verona, Italy, June 2005.
  Also in: F. Bry, F. Fages, M. Marchiori, H. Ohlbach (eds.), Dagstuhl Seminar Proceedings 05371, Principles and Practices of Semantic Web Reasoning, September 2005.
  [pdf (paper)]
• Semantic Management of Web Services using the Core Ontology of Services.
  (with Daniel Oberle, Steffen Lamparter, Andreas Eberhart, Stephan Grimm, Sudhir Agarwal, Rudi Studer)
  In: Proceedings of the W3C Workshop on Frameworks for Semantics in Web Services, Innsbruck, Austria, June 2005.
  [html (paper)]
• Bridging the Paradigm Gap with Rules for OWL. (with Jürgen Angele, Boris Motik, and Rudi Studer)
  In: Proceedings of the W3C Workshop on Rule Languages for Interoperability, Washington, D.C., USA, April 2005.
  [pdf (paper)]
• Level mapping characterizations of selector-generated models for logic programs.R
  (with Sibylle Schwarz)
  In: Armin Wolf, Thom W. Frühwirth, Marc Meister (eds.): 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 2005. Ulmer Informatik-Berichte 2005-01 Universität Ulm, Germany, 2005, pp. 65-75.
  [pdf (paper)]
• ILP Operators for Propositional Connectionist Networks.
  (with Miguel A. Gutiérrez Naranjo)
  In: B. Fronhöfer and Steffen Hölldobler, 17. WLP: Workshop Logische Programmierung, December 2002, Dresden, Germany. Technische Berichte der Fakultät Informatik TUD-FI03-03, ISSN 1430-211X, pp. 103-108.
  [gzipped postscript (paper) [pdf (paper)]
• Characterizing logic programming semantics with level mappings.
  (with Matthias Wendt)
  In: B. Fronhöfer and Steffen Hölldobler, 17. WLP: Workshop Logische Programmierung, December 2002, Dresden, Germany. Technische Berichte der Fakultät Informatik TUD-FI03-03, ISSN 1430-211X, pp. 60-67.
  [gzipped postscript (paper)] [pdf (paper)]
• Towards Nonmonotonic Reasoning on Hierarchical Knowledge.
  In: B. Fronhöfer and Steffen Hölldobler, 17. WLP: Workshop Logische Programmierung, December 2002, Dresden, Germany. Technische Berichte der Fakultät Informatik TUD-FI03-03, ISSN 1430-211X, pp. 68-80.
  [gzipped postscript (technical report)] [pdf (technical report)]
• VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM.
  (with Anthony K. Seda)
  In: A. Butterfield and G. Strong and C. Pahl, Proceedings of the Fifth Irish Workshop on Formal Methods (IWFM'01), Dublin, July 2001. Electronic Workshops in Compting (eWiC), British Computer Society.
  
• A Note on the Relationships between Logic Programs and Neural Networks.
  (with Anthony K. Seda)
  In: P. Gibson and D. Sinclair (eds.), Proceedings of the Fourth Irish Workshop on Formal Methods (IWFM'00), Maynooth, July 2000. Electronic Workshops in Computing (eWiC), British Computer Society
  [gzipped postscript (paper)] [pdf (paper)]
• Acceptable Programs Revisited.
  (with Anthony K. Seda)
  In: Sandro Etalle and Jan-Georg Smaus (eds.), Proceedings of the Workshop on Verification in Logic Programming, 16th International Conference on Logic Programming (ICLP'99), Las Cruces, New Mexico, November 1999, Electronic Notes in Theoretical Computer Science, Volume 30, No 1, Elsevier.
  [postcript (paper)]
• Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases.
  (with Anthony K. Seda)
  In: A. Butterfield and S. Flynn (eds.), Proceedings of the Third Irish Workshop on Formal Methods (IWFM'99), Electronic Workshops in Computing, British Computer Society, 1999, pp. 1-18.
  [gzipped postscript (paper)] [pdf (paper)]
• Strictly Level-Decreasing Logic Programs.
  (with Anthony K. Seda)
  In: A. Butterfield and S. Flynn (eds.), Proceedings of the Second Irish Workshop on Formal Methods (IWFM'98), Cork, 1998, Electronic Workshops in Computing, British Computer Society, 1999, pp. 1-18.
  [gzipped postscript (paper)] [pdf (paper)]

Edited Workshop Proceedings

• Proceedings of the Fifth International Workshop on Neural-Symbolic Learning and Reasoning, NeSy'09, at the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, July 2009.
  Artur d'Avila Garcez and Pascal Hitzler (eds.)
  CEUR Workshop Proceedings, Vol. 481, 2009. ISSN 1613-0073.
• Proceedings of the international workshop on Nature inspired Reasoning for the Semantic Web, NatuReS, at the 7th International Semantic Web Conference, Karlsruhe, Germany, October 2008.
  Christophe Gueret, Pascal Hitzler, Stefan Schlobach (eds.)
  CEUR Workshop Proceedings, Vol. 419, 2008. ISSN 1613-0073.
• Proceedings of the Third International Workshop on Applications of Semantic Technologies, AST2008, at Informatik2008, Munich, Germany, September 2008.
  Stephan Grimm, Pascal Hitzler (eds.)
  In: INFORMATIK 2008: Beherrschbare Systeme dank Informatik. Beiträge der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI), September 2008 in München. GI Proceedings 134, Vol. 2, ISSN 1617-5468, ISBN 978-3-88579-228-4.
  Lecture Notes in Informatics, Gesellschaft für Informatik, Bonn, 2008, pp. 667-726.
• Proceedings of the Fourth International Workshop on Neural-Symbolic Learning and Reasoning, NeSy'08, at the 18th European Conference on Artificial Intelligence, ECAI 2008, Patras, Greece, July 2008.
  Artur d'Avila Garcez and Pascal Hitzler (eds.)
  CEUR Workshop Proceedings, Vol. 366, 2008. ISSN 1613-0073.
• Proceedings of the Workshop on Advancing Reasoning on the Web: Scalability and Commonsense, ARea 2008, at the 5th European Semantic Web Conference, ESWC08, Tenerife, Spain, June 2008.L
  Frank van Harmelen, Andreas herzig, Pascal Hitzler, Zuoquan Lin, Ruzica Piskac, Guilin Qi (eds.)
  CEUR Workshop Proceedings, Vol. 350, 2008. ISSN 1613-0073.
• Recurrent Neural Networks - Models, Capacities, and Applications
  Luc de Raedt, Barbara Hammer, Pascal Hitzler, Wolfgang Maass (eds.)
  Dagstuhl Seminar Proceedings 08041 , Dagstuhl, Germany. April 2008, ISSN 1862-4405.
  [Proceedings]
• Proceedings of the Second International Workshop on Applications of Semantic Technologies, AST2007, at Informatik2007, Bremen, Germany, September 2007.
  Pascal Hitzler, York Sure (eds.)
  In: Rainer Koschke, Otthein Herzog, Karl-Heinz Rödiger, Marc Ronthaler (eds.), INFORMATIK 2007: Informatik trifft Logistik. Beiträge der 37. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 24.-27. September 2007 in Bremen. GI Proceedings 109, Vol. 1, ISSN 1617-5468, ISBN 978-3-88579-203-1.
  Lecture Notes in Informatics, Gesellschaft für Informatik, Bonn, 2007, pp. 195-246.
  
• Proceedings of the Workshop on Foundations of Artificial Intelligence, FAInt-07, at KI-2007, Osnabrück, Germany, September 2007.
  Pascal Hitzler, Thomas Roth-Berghofer, Sebastian Rudolph (eds.)
  CEUR Workshop Proceedings, Vol. 277, 2007. ISSN 1613-0073.
• Proceedings of the IJCAI-07 Third International Workshop on Neural-Symbolic Learning and Reasoning, NeSy'07, Hyderabad, India, January 2007.
  Artur S. d'Avila Garcez, Pascal Hitzler, Guglielmo Tamburrini (eds.)
  CEUR Workshop Proceedings, Vol. 230, 2007. ISSN 1613-0073.
  
• Proceedings of the Second Workshop OWL - Experiences and Directions, OWLED2006.
  Bernardo Cuenca Grau, Pascal Hitzler, Connor Shankey, Evan Wallace (eds.)
  Athens, GA, November 2006.
  CEUR Workshop Proceedings Vol. 216, 2006. ISSN 1613-0073.
  
• Proceedings of the International Workshop on Applications of Semantic Technologies, AST2006, at Informatik2006, Dresden, Germany, October 2006.
  Pascal Hitzler, York Sure (eds.)
  In: Christian Hochberger and Rüdiger Liskowsky (eds), Informatik 2006 - Informatik für Menschen Vol. 2. Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2.-6. Oktober 2006 in Dresden.
  Lecture Notes in Informatics Vol. P-94, Gesellschaft für Informatik, Bonn, 2006, pp. 289-362.
• Proceedings of the ECAI-06 Second International Workshop on Neural-Symbolic Learning and Reasoning, NeSy'06, Riva del Garda, Italy, August 2006.
  Artur S. d'Avila Garcez, Pascal Hitzler and Guglielmo Tamburrini (eds.)
• Proceedings of the WWW2006 Workshop on Reasoning on the Web, RoW06, Edinburgh, UK, May 2006.
  P. Hitzler, H. Wache and T. Eiter (eds.)
• Proceedings of the KI2005 Workshop on Foundational Aspects of Ontologies, FOnt'05, Koblenz, Germany, September 2005.
  P. Hitzler, C. Lutz and G. Stumme (eds.)
  Fachbericht Informatik 9/2005, Universität Koblenz-Landau, 2005. ISSN 1860-4471.
  [access pdf (proceedings)]
• Proceedings of the IJCAI-05 International Workshop on Neural-Symbolic Learning and Reasoning, NeSy'05, Edinburgh, UK, August 2005.
  Artur S. d'Avila Garcez, P. Hitzler and Jeff Ellman (eds.)
  

Posters and Demos

• An Evolutionary Computing Approach for Reasoning in the Semantic Web. SW
  Gaston Tagni, Christophe Gueret, Stefan Schlobach, Sebastian Rudolph, Pascal Hitzler
  Poster at DECOI2009, the International Workshop on Collective Intelligence andEvolution, Leiden, The Netherlands, February 2009.
• SmartWeb: Mobile Access to the Semantic Web.
  A. Ankolekar, P. Buitelaar, P. Cimiano, P. Hitzler, M. Kiesel, M. Krötzsch, H. Lewen, G. Neumann, M. Sintek, T. Tserendorj, R. Studer
  System Demo at the 5th International Semantic Web Conference, ISWC2006, Athens, Georgia, November 2006.
  [pdf (paper)]
• SmartWeb: Mobile Access to the Semantic Web.
  (with A. Ankolekar, P. Cimiano, M. Krötzsch, G. Ladwig, H. Lewen, D. Oberle, R. Studer, M. Kiesel, M. Sintek)
  System Demo at the 3rd European Semantic Web Conference, ESWC2006, Budva, Montenegro, June 2006.
  [pdf (paper)]
• Integrating Semantic Web Services for Mobile Access.
  (with Anupriya Ankolekar, Holger Lewen, Daniel Oberle and Rudi Studer)
  Poster at the 3rd European Semantic Web Conference, ESWC2006, Budva, Montenegro, June 2006.
  [pdf (paper)]
• SmartWeb: Mobile Access to the Semantic Web.
  Anupriya Ankolekar, Philipp Cimiano, Pascal Hitzler, Malte Kiesel, Markus Krötzsch, Günter Ladwig, Holger Lewen, Daniel Oberle, Hans-Peter Schnurr, Michael Sintek, Rudi Studer
  Demo at the Developers Track at the 15th International World Wide Web Conference, Edinburgh, Scotland, May 2006.
  [link]
• The SCREECH OWL reasoner - Scalable approximate ABox reasoning for OWL.
  (with Denny Vrandecic)
  Software Demo at ISWC2005, Galway, Ireland, November 2005.
  [pdf (abstract)]
• dlpconvert - Converting OWL DLP statements to logic programs.
  (with Boris Motik, Denny Vrandecic, York Sure, and Rudi Studer)
  System Demo at the 2nd European Semantic Web Conference, ESWC2005, Iraklion, Greece, May 2005.
  [pdf (paper)]

Bulletin Contributions

• KI 2009 - AI Mashup Challenge 2009.
  Brigitte Endres-Niggemeyer, Pascal Hitzler, Valentin Zacharias
  KI - Künstliche Intelligenz 3/09, August 2009, page 52.
• Wissensmanagement profitiert von Semantiktechnologien.
  Pascal Hitzler, Rudi Studer
  Computer Zeitung 37 (40), Oktober 2nd, 2006, page 21.
  [pdf (paper)] [online article]
• Generalized Metrics and Topology in Logic Programming Semantics.
  Bulletin of  the European Association of Theoretical Computer Science 75 (October 2001), 283-285.
  
• Generalized Ultrametrics, Domains and an Application to Computational Logic.
  Pascal Hitzler, Anthony K. Seda
  Irish Mathematical Society Bulletin 41 (1998), 31-43.
  [gzipped postscript (paper)] [pdf (paper)]

Theses

• Nichtmonotone, neuro-symbolische und begriffliche Wissensverarbeitung.
  Habilitationsschrift/Post-doctoral thesis (cumulative)
  Department of Computer Science, TU Dresden, 2004.
  [pdf (thesis, 5.5MB)]
• Generalized Metrics and Topology in Logic Programming Semantics.
  PhD thesis, Department of Mathematics, National University of Ireland, University College Cork, 2001.
  [ps.gz (thesis)] [pdf (thesis)]
  [ps.gz (erratum)] [pdf (erratum)]
• Topology and Logic Programming Semantics.
  Diplomarbeit in Mathematik, Universität Tübingen, 1998, 62 pages.
  [ps.gz (thesis)] [pdf (thesis)]

Project Reports and Deliverables

• Initial Framework for Measuring and Evaluating Heuristic Problem Solving
  Zhisheng Huang, Annette ten Teije, Frank van Harmelen, Gaston Tagni, Hansjorg Neth, Lael Schooler, Sebastian Rudolph, Pascal Hitzler, Tuvshintur Tserendorj, Yi Huang, Danica Damljanovic, Angus Roberts
  LarKC Deliverable D1.4.1.
  [pdf (paper)]
• Defining the Features of the WSML-DL v2.0 Language.
  Barry Bishop, Florian Fischer, Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, Yiorgos Trimponias, Gulay Unel
  SOA4All Deliverable D3.1.3, February 2009.
  [pdf]
• Inconsistency-tolerant Reasoning with Networked Ontologies.
  Guilin Qi, Peter Haase, Simon Schenk, Steffen Stadtmüller, Pascal Hitzler
  NeOn Deliverable D1.2.4, February 2009.
• Report on Research Exchange and Collaboration.
  Pascal Hitzler, York Sure, Jörg Diederich
  KnowledgeWeb Deliverable D2.6.8, October 2007.
• Scalable Expressive Reasoning with KAON2.
  Peter Haase, Pascal Hitzler, Qiu Ji, Guilin Qi, Rudi Studer
  KOReA Deliverable, February 2007.
• Incorporating Uncertainty into RDF and OWL
  P. Cimiano, T. Duc, P. Hitzler, M. Krötzsch, A. Lavelli, B. SchÄuler, G. Stoilos, K. Tso, V. Tsouvaras
  X-Media Deliverable D2.1, December 2006.
  
• Report on realizing practical approximate and distributed reasoning for ontologies V2.
  Pascal Hitzler, Peter Dolog, Perry Groot, Michel Klein, Malgorzata Mochol, Lyndon Nixon, Linda Peelen, Sebastian Rudolph, Stefan Schlobach, Heiner Stuckenschmidt, Denny Vrandecic, Holger Wache
  KnowledgeWeb deliverable D2.1.2.2.v2., December 2006.
  [pdf (deliverable)]
• Scalable Reasoning for Information Access.
  Peter Haase, Pascal Hitzler, Qiu Ji, Guilin Qi, Rudi Studer
  KOReA Deliverable, November 2006.
• Context Languages - State of the Art.
  Peter Haase, Pascal Hitzler, Sebastian Rudolph, Guilin Qi, Marko Grobelnik, Igor Mozetic, Damjan Bojadziev, Jérôme Euzenat, Mathieu d'Aquin, Aldo Gangemi, Carola Catenacci
  NeOn deliverable D3.1.1, August 2006.
  [pdf (deliverable)]
• Report on realizing practical approximate and distributed reasoning for ontologies V1.
  (with Stefania Ghita-Costache, Peter Dolog, Luciano Serafini, Wolf Siberski, Heiner Stuckenschmidt, Andrei Tamilin, Denny Vrandecic, HolgerWache)
  KnowledgeWeb deliverable D2.1.2.2.v1., January 2006.
  [pdf (paper)]
• Integrated view and comparison of alignment semantics.
  (with J. Euzenat, M. Krötzsch, L. Serafini, H. Stuckenschmidt, H. Wache and A. Zimmermann)
  KnowledgeWeb deliverable D2.2.5., January 2006.
  [pdf (paper)]
• Zur Wahl der Inferenzmaschine in SmartWeb.
  (with Michael Sintek and Moritz Weiten)
  SmartWeb internal report, June 2005.
• Methods for Approximate Reasoning.
  (with Perry Groot, Ian Horrocks, Boris Motik, Jeff Z. Pan, Heiner Stuckenschmidt, Daniele Turi, Holger Wache)
  KnowledgeWeb deliverable D2.1.2, December 2004.
  [pdf (paper)]
• Specification of a common framework for characterizing alignment.
  (with Paolo Bouquet, Marc Ehrig, Jerome Euzenat, Enrico Franconi, Markus Krötzsch, Luciano Serafini, Giorgos Stamou, York Sure, Sergio Tessaris)
  KnowledgeWeb deliverable D2.2.1v2, December 2004.
  [pdf (paper)]
• The SmartWeb Foundational Ontology. W
  (with Philipp Cimiano, Andreas Eberhart, Daniel Oberle, Steffen Staab, and Rudi Studer)
  SmartWeb internal report, September 2004.

Unpublished Technical Reports

Papers which appeared completely in journals or conferences etc. are not mentioned.

• ELP: Tractable Rules for OWL 2.
  Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
  Technical report, Institut AIFB, Universität Karlsruhe (TH), 2008.
  [pdf (technical report)]
• Reasoning in Circumscriptive ALCO
  Stephan Grimm, Pascal Hitzler
  Technical report, Institut AIFB, Universität Karlsruhe (TH), 2008.
  [pdf (technical report)]
• Expressive Tractable Description Logics based on SROIQ Rules.
  Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
  Technical Report, Universität Karlsruhe (TH). February 2008.
  [pdf (extended technical report)]
• Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams.
  Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
  Technical Report, Universität Karlsruhe (TH). February 2008.
  [pdf (extended technical report)]
• Complexity of Horn Description Logics.L
  Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
  Technical Report, AIFB, University of Karlsruhe, 2007
  [pdf (technical report)]
• Towards a unified theory of logic programming semantics: Level mapping characterizations of selector generated models.
  (with S. Schwarz)
  Technical Report, AIFB, Universität Karlsruhe, November 2005.
  [pdf (technical report)]
• Category Theory in Ontology Research: Concrete Gain from an Abstract Approach.
  (with Markus Krötzsch, Marc Ehrig, and York Sure)
  Technical Report, AIFB, Universität Karlsruhe, March 2005.
  [pdf (technical report)]
• DLP - An introduction
  (with Denny Vrandecic, Peter Haase, York Sure, Rudi Studer)
  Technical Note, AIFB, University of Karlsruhe, February 2005.
  [pdf (technical report)]
• Level mapping characterizations of selector-generated models for logic programs.
  (with Sibylle Schwarz)
  Technical Report WV-04-04, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2004.
  [gzipped postscript (technical report)] [pdf (technical report)]
• Formal Concept Analysis and Resolution on Algebraic Domains - Preliminary Report.
  (with Matthias Wendt)
  Technical Report WV-03-01, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2003.
  [gzipped postscript (technical report)] [pdf (technical report)]
• Circular Belief in Logic Programming Semantics.
  Technical Report WV-02-13, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2002.
  [gzipped postscript (technical report)] [pdf (technical report)]
• Contexts, Concepts, and Logic of Domains.
  Technical Report WV-02-12, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2002.
  [gzipped postscript (paper)] [pdf (paper)]
• Resolution and Logic Programming in Algebraic Domains: Negation and Defaults.
  Technical Report WV-02-05, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2002.
  [gzipped postscript (paper)] [pdf (paper)]
• Dislocated Topologies.
  (with Anthony K. Seda)
  Technical Report, Department of Mathematics, University College Cork, 2000.
  [gzipped postscript (paper)] [pdf (paper)]
• A Topological View of Acceptability.
  (with Anthony K. Seda)
  Technical Report, Department of Mathematics, University College Cork, 2000.
  
• A Topological Characterization of Acceptability.
  (with Anthony K. Seda)
  Technical Report, Department of Mathematics, University College Cork, 1999.
  
• Simplifying Termination Proofs for Pure Prolog Programs.
  (with Anthony K. Seda)
  Technical Report, Department of Mathematics, University College Cork, 1999.
  
• Sur les programmes logiques localement stratifiés.
  (with Anthony K. Seda)
  Technical Report, Department of Mathematics, University College Cork, 1997.
  [gzipped postscript (paper)] [pdf (paper)]
  

Edited Books (enhancement programmes)

• MINT (Mathematik, Informatik, Naturwissenschaften, Technik) Vol. 18.
  Pascal Hitzler and Gudrun Kalmbach (eds.)
  Aegis-Verlag, Ulm, 2008, ISBN 978-3-87005-073-3.
• Begabtenförderung im MINT-Bereich 12.
  (with Gudrun Kalmbach) (eds.)
  Aegis-Verlag, Ulm, 2005, ISBN 3-87005-067-5.
  
• Begabtenförderung im MINT-Bereich 9: Dedicated to Sylvia Pulmannova on the occasion of her 65. birthday.
  (with Gudrun Kalmbach and Zdenka Riecanova) (eds.)
  Aegis-Verlag, Ulm, 2004, ISBN 3-87005-064-0.
  
• Begabtenförderung im MINT-Bereich 5: Aus der Mathematik und ihrer Didaktik.
  (with Gudrun Kalmbach) (eds.)
  Aegis-Verlag, Ulm, 2000, ISBN 3-87005-053-5, 236 pages.
• Begabtenförderung im MINT-Bereich 4: Schwerpunkt: Geschlechterstudien - allgemein und für Mathematik.
  (with Otto Lange) (eds.)
  Aegis-Verlag, Ulm, 2000, ISBN 3-87005-053-5, 159 pages.
  
• Begabtenförderung im MINT-Bereich 3: Dedicated to Zdenka Riecanova on her 65th birthday.
  (with Gudrun Kalmbach) (eds.)
  Aegis-Verlag, Ulm, 2000, ISBN 3-87005-053-5, 233 pages.

Book Contributions (enhancement programmes)

• Spieltheorie.
  Alexander Chocholaty, Pascal Hitzler
  In: Pascal Hitzler and Gudrun Kalmbach (eds.), MINT (Mathematik, Informatik, Naturwissenschaften, Technik) Vol. 18. Aegis-Verlag, Ulm, 2008, ISBN 978-3-87005-073-3, pp. 117-125.
• Kursarbeit mit Schülern - die Intensivkurse Mathematik.
  Pascal Hitzler, Gudrun Kalmbach
  In: Martin Grimm and Gudrun Kalmbach, Begabtenförderung im MINT-Bereich Vol. 15, Aegis-Verlag, Ulm, 2007, pp. 61-68.
• Automatisiertes Schließen mit formalen Begriffen: Mathematische Grundlagen.
  In: P. Hitzler and G. Kalmbach, Begabtenförderung im MINT-Bereich Band 12. Aegis-Verlag Ulm, 2005, ISBN 3-87005-067-5, pp. 49-56.
  [pdf]
• Automatisiertes Schließen mit formalen Begriffen: Implementierung.
  (with Karl Fritsche)
  In: P. Hitzler and G. Kalmbach, Begabtenförderung im MINT-Bereich Band 12. Aegis-Verlag Ulm, 2005, ISBN 3-87005-067-5, pp. 57-62.
  [pdf]
• Kontraktionssätze auf verallgemeinerten metrischen Räumen.
  (Vorlesungsskripte Intensivkurs Mathematik 1999 und 2000)
  In: A. Dvurecenskij und G. Kalmbach H.E. (Hrsg), Begabtenförderung im MINT-Bereich 6, Aegis-Verlag, Ulm, 2001, pp. 79-88.
  [gzipped postscript] [pdf]
• BCU Contest 2001 Problems and Solutions.
  (with Finbarr Holland, Gudrun Kalmbach)
  In: A. Dvurecenskij und G. Kalmbach H.E. (Hrsg), Begabtenförderung im MINT-Bereich 6, Aegis-Verlag, Ulm, 2001, pp. 3-16.
• Tag der Mathematik Aufgaben 1996-2000.
  (mit Finbarr Holland, Gudrun Kalmbach, Franz J. Klingen)
  In: P. Hitzler und G. Kalmbach (Hrsg), Begabtenförderung im MINT-Bereich 5: Aus der Mathematik und ihrer Didaktik. Aegis-Verlag, Ulm, 2000, pp. 35-78.
• Der Banachsche Fixpunktsatz und der Satz von Picard-Lindelöf.N
  (with Frithjof Lutscher)
  In: P. Hitzler und G. Kalmbach (Hrsg.), Begabtenförderung im MINT-Bereich 3, Aegis-Verlag, Ulm, 2000, pp. 31-44.
  (Vorlesung auf dem Begabtenförderungs-Workshop 1998, Universität Tübingen)
  [gzipped postscript] [pdf]
• Fixpunktsemantik.
  In: M. Grimm und G. Kalmbach (Hrsg.), Begabtenförderung im MINT-Bereich 1, Aegis-Verlag, Ulm, 1997, pp. 57-61.
  (Vortrag auf der Emmy-Noether-Tagung Ulm 1997)
  [gzipped postscript] [pdf]
• Der Kontraktionssatz auf metrischen Räumen.
  In: M. Grimm und G. Kalmbach (Hrsg), Begabtenförderung im MINT-Bereich 1, Aegis-Verlag, Ulm, 1997, pp. 63-81.
  (Vorlesung auf dem Intensivkurs Mathematik Konstanz-Ulm 1996)
  [gzipped postscript] [pdf]
• Spieltheorie.
  (with Alexander Chocholaty)
  In: G. Kalmbach, R. Schweizer, Mathematik - bunt gemischt II, Reinhardt Becker Verlag, Velten, 1996, pp. 91-100.
  [gzipped postscript] [pdf]

Unpublished Manuscripts

• Operator-based semantics for logic programs
  Lecture script (30 hrs), International Master Program in Computational Logic, Dresden University of Technology, Germany, WS 2004/2005.
  [pdf (unpublished manuscript)]
• Approximating first-order logic programs by feedforward networks
  Lecture script (16 hrs), substitute lecturing for part of the lecture by Prof. Steffen Hölldobler on Computational Logic and Connectionist Systems, International Master Program in Computational Logic, Dresden University of Technology, Germany, June/July 2004.
  [gzipped postscript (unpublished manuscript)] [pdf (unpublished manuscript)]
• BCU Contest 2000 Problems and Solutions. ENC-CON
  (with Finbarr Holland and Gudrun Kalmbach)
  [gzipped postscript (problems)] [pdf (problems)]
  [gzipped postscript (solutions)] [pdf (solutions)]
• Der Kontraktionssatz auf metrischen Räumen und Verallgemeinerungen.
  (Lecture at the Intensivkurs Mathematik Konstanz-Ulm 1999 and 2000.)
  [gzipped postscript (script draft)] [pdf (script draft)]
• BCU Contest 1999 Problems and Solutions.
  (with Finbarr Holland and Gudrun Kalmbach)
  [postscript (problems)] [pdf (problems)]
  [postscript (solutions)] [pdf (solutions)]
• Fixpunktsemantik logischer Programme. LP
  Lecture script (4 hrs), substitute lecturing for part of the lecture by Dr. Tom Cornell on Einführung in Prolog, Department of Computational Linguistics, Tübingen University, July 1997.
  Also reused for part of a lecture at the Intensivkurs Mathematik Konstanz-Ulm 1997.
  [gzipped postscript (script draft)] [pdf (script draft)]

Unpublished Edited Manuscripts

• Intensivkurs Mathematik Konstanz-Ulm 2000.
  (with Gudrun Kalmbach) (eds.)
  Universität Ulm, 2000, 50 pages.
• Intensivkurs Mathematik Konstanz-Ulm 1999.
  (with Frank Houdek, Gudrun Kalmbach und Katharina Schmithüsen) (eds.)
  Universität Ulm, 1999, 150 pages.
• Intensivkurs Mathematik Konstanz-Ulm 1998.
  (with Frank Houdek, Gudrun Kalmbach und Gabriela Schmithüsen) (eds.)
  Universität Ulm, 1998, 158 pages.
• Intensivkurs Mathematik Konstanz-Ulm 1997.
  (with Frank Houdek, Gudrun Kalmbach und Gabriela Schmithüsen) (eds.)
  Universität Ulm, 1997, 190 pages.
• Intensivkurs Mathematik Konstanz-Ulm 1996.
  (with Frank Houdek, Gudrun Kalmbach und Katharina Schmithüsen) (eds.)
  Universität Ulm, 1996, 208 pages.