!!!!! This page and its subpages are no longer updated !!!!!
!!!!! You find my new homepage at http://www.pascal-hitzler.de !!!!!

Publications

For slides see my list of presentations.
For BibTeX entries for the more recent papers, see the corresponding AIFB portal page.

[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]

Publications are roughly classified as follows:

LP	logic programming		NMR	nonmonotonic reasoning		DT	domain theory		SW	semantic web
TOP	topology		FIX	fixed-point theory		ANN	artificial neural networks		OM	ontology merging
FCA	formal concept analysis		ENC	enhancement programmes		LN	lecture notes		DL	description logics
CAT	category theory		NESY	neural-symbolic integration		CON	contest problems/solutions		RCOL	collection with papers by researchers
SCOL	collection with papers by students

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

• Foundations of Semantic Web Technologies. LN-SW-DL
  Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph
  Textbooks in Computing, Chapman and Hall/CRC Press.
  In press.
  [(Book Website)]
• Mathematical Aspects of Logic Programming Semantics. (tentative title) LP-NMR-DT-FIX-TOP-NESY
  Pascal Hitzler, Anthony K. Seda
  Research Monograph
  In preparation.
• Logik und Logikprogrammierung Band 2: Aufgaben und Lösungen. (tentative title) LN
  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) SW-RCOL
  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. DL-SW
  Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
  Submitted to a journal.
  [pdf (submitted paper)]
• Approximate Instance Retrieval. SW-DL
  Tuvshintur Tserendorj, Stephan Grimm, Pascal Hitzler
  Submitted to a conference.
  [pdf (technical report)]
• Towards a Tractable Web Service Modelling Language. SW-DL-LP
  Florian Fischer, Gulay Unel, Pascal Hitzler, Barry Bishop, Toma Iona, Dieter Fensel
  Submitted to a conference.
• OWL 2 Web Ontology Language: Primer. SW-DL
  Pascal Hitzler, Markus Krötzsch, Bijan Parsia, Peter F. Patel-Schneider, Sebastian Rudolph
  W3C Working Draft 11 June 2009.
  [html (latest version)]
• A Preferential Tableaux Calculus for Circumscriptive ALCO. SW-DL
  Stephan Grimm, Pascal Hitzler
  Proceedings of RR2009.
  To appear.
  [pdf (paper)]
Paraconsistent reasoning for OWL 2. SW-DL
Yue Ma, Pascal Hitzler
Proceedings of RR2009.
To appear.
[pdf (paper)]
• Challenges for recurrent neural networks. NN-RCOL
  Marco Gori, Barbara Hammer, Pascal Hitzler, Günter Palm (eds.)
  Special issue of the Logic Journal of the IGPL.
  To appear.
• Extracting Reduced Logic Programs from Artificial Neural Networks. NESY-LP-ANN
  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. DT-FIX-LP
  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. DL-SW
  Jens Lehmann, Pascal Hitzler
  Machine Learning
  To appear.

Books

• Semantic Web. Grundlagen. LN-SW-DL
  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. SW-FCA-RCOL
  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. NESY-RCOL
  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. RCOL
  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. SW-FCA-RCAOL
  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. SW-FCA-RCOL
  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. NESY
  Pascal Hitzler, Kai-Uwe Kühnberger
  Künstliche Intelligenz 2/09, 58-59, 2009.
  [pdf (paper)]
• Connectionist Model Generation: A First-Order Approach. NESY-LP-ANN
  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. SW-DL-NMR
  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). SW
  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. SW
  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. FCA-DT
  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. NESY
  Sebastian Bader, Pascal Hitzler, Steffen Hölldobler
  Invited Paper.
  Information 9 (1), 2006.
  [pdf (paper)]
• The Semantic Web in One Day. SW
  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. LP-NMR
  Journal of Logic and Computation 15 (3), 2005, 391-404.
  [pdf (paper)][pdf (published version)]
• A uniform approach to logic programming semantics. NMR
  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. LP-ANN-TOP-NESY
  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. LP-ANN-TOP-NESY
  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. DT
  Journal of Electrical Engineering 55 (1-2), 2004, 25-30.
  [ps.gz (technical report)] [pdf (technical report)]
• Generalized Metrics and Uniquely Determined Logic Programs. LP-TOP-DT-FIX
  (with 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. LP-NMR
  Pascal Hitzler, Anthony K. Seda
  Information 4 (3). 2001, 295-302.
  [gzipped postscript (paper)] [pdf (paper)]
• A "Converse" of the Banach Contraction Mapping Theorem. TOP-FIX
  Pascal Hitzler, Anthony K. Seda
  Journal of Electrical Engineering 52 (10/s), 2001, 3-6.
  [gzipped postscript (paper)] [pdf (paper)]
• Dislocated Topologies. TOP
  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. NMR-FIX-DT
  Pascal Hitzler, Anthony K. Seda
  Topology Proceedings 24, Summer 1999, 223-250.
  [gzipped postscript (paper)] [pdf (paper)]
• Topology and Iterates in Computational Logic. LP-NMR-TOP-DT
  Pascal Hitzler, Anthony K. Seda
  Topology Proceedings 22, Summer 1997, 427-469.
  [gzipped postscript (paper)] [pdf (paper)]

Book Contributions

• Ontologies and Rules. SW-DL-LP
  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. SW
  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. NESY-LP
  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. SW-DL-LP
  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. SW
  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. NESY
  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. TOP-DT
  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. LP-TOP-FIX
  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. TOP
  In: G. Kalmbach, Quantum Measures and Spaces, Kluwer Acad. Publ., Dordrecht, 1998, pp. 223-231.

Conference Publications

• RaDON - Repair and Diagnosis in Ontology Networks. SW-DL
  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. NESY
  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.SW-DL
  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. SW-DL
  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? SW-DL
  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. SW-DL
  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. SW-DL
  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. SW-DL
  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. SW-DL-LP
  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. SW-DL-LP
  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. DL-SW
  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. DL-SW
  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. DL-NMR
  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. SW-DL
  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. DL-LP-NMR
  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. SW-DL-NMR
  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. SW-DL-NMR
  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 SW-DL
  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. SW-DL-FCA
  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. SW
  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. SW-DL
  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. DL-NMR
  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. LP-NMR
  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. DL-LP
  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. LP-ANN
  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. SW-CAT
  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. SW-LP-DL
  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. SW-FCA-NMR-DT
  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. FCA
  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. SW-DL
  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. SW-DL-LP
  (with 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. LP-NMR
  (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. FCA-CAT
  (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. LP-NESY
  (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. NESY
  (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. NMR-DT-FCA-SW
  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. DT-FCA
  (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. LP-NMR
  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. DT
  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. LP-NMR
  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. TOP-LP-NESY
  (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. FCA-DT
  (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. NMR
  (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. LP-NMR
  (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. LP-FIX
  (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. LP-NMR
  (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. FIX-LP
  (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. LP
  (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. LP-NMR
  (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

• Web Rule Language (WRL) SW-LP
  (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 SW-LP
  (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

• Approximate OWL Instance Retrieval with Screech. SW-DL
  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. DL-SW
  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. SW-DL
  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. SW-DL-NMR
  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. SW-DL
  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. LP-NMR
  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. SW-LP-DL
  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. SW-DL-NMR
  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. SW-DL-NMR
  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. LPNMR-DL-SW
  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. DL
  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. SW-LP-DL
  (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. SW-DL
  (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. LP-NESY
  (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. NESY
  (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. SW-NESY
  (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. SW-DL-LP
  (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. SW-OM-CAT
  (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. SW-DL-LP
  (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. SW-DL-LP
  (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. LP-NMR
  (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. LP-ANN-NESY
  (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. NMR
  (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. NMR-DT
  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. TOP-DT
  (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. LP-TOP-ANN-NESY
  (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. LP-TOP
  (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. FIX-NMR
  (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. LP-TOP
  (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. NESY-RCOL
  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. SW-RCOL
  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. SW-RCOL
  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. NESY-RCOL
  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. SW-NMR-RCOL
  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 NESY-RCOL
  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. SW-RCOL
  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. RCOL
  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. NESY-RCOL
  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. SW-RCOL
  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. SW-RCOL
  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. NESY-RCOL
  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. SW-RCOL
  P. Hitzler, H. Wache and T. Eiter (eds.)
• Proceedings of the KI2005 Workshop on Foundational Aspects of Ontologies, FOnt'05, Koblenz, Germany, September 2005. SW-RCOL
  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. NESY-RCOL
  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. SW
  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. SW
  (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. SW
  (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. SW
  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. SW-LP-DL
  (with Denny Vrandecic)
  Software Demo at ISWC2005, Galway, Ireland, November 2005.
  [pdf (abstract)]
• dlpconvert - Converting OWL DLP statements to logic programs. WS-DL-LP
  (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

• Wissensmanagement profitiert von Semantiktechnologien. SW
  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. DT-LP
  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

• Defining the Features of the WSML-DL v2.0 Language. SW-DL
  Barry Bishop, Florian Fischer, Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, Yiorgos Trimponias, Gulay Unel
  SOA4All Deliverable D3.1.3, February 2009.
• Inconsistency-tolerant Reasoning with Networked Ontologies. SW-DL
  Guilin Qi, Peter Haase, Simon Schenk, Steffen Stadtmüller, Pascal Hitzler
  NeOn Deliverable D1.2.4, February 2009.
• Report on Research Exchange and Collaboration. SW
  Pascal Hitzler, York Sure, Jörg Diederich
  KnowledgeWeb Deliverable D2.6.8, October 2007.
• Scalable Expressive Reasoning with KAON2. SW-DL
  Peter Haase, Pascal Hitzler, Qiu Ji, Guilin Qi, Rudi Studer
  KOReA Deliverable, February 2007.
• Incorporating Uncertainty into RDF and OWL SW-DL
  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.
  Submitted.
• Report on realizing practical approximate and distributed reasoning for ontologies V2. SW-DL
  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. SW-DL
  Peter Haase, Pascal Hitzler, Qiu Ji, Guilin Qi, Rudi Studer
  KOReA Deliverable, November 2006.
• Context Languages - State of the Art. SW
  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. SW-DL
  (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. SW-OM
  (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. SW-DL-LP
  (with Michael Sintek and Moritz Weiten)
  SmartWeb internal report, June 2005.
• Methods for Approximate Reasoning. SW-DL-LP
  (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. SW-OM
  (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. SW
  (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. SW-DL-LP
  Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
  Technical report, Institut AIFB, Universität Karlsruhe (TH), 2008.
  [pdf (technical report)]
• Reasoning in Circumscriptive ALCO SW-DL
  Stephan Grimm, Pascal Hitzler
  Technical report, Institut AIFB, Universität Karlsruhe (TH), 2008.
  [pdf (technical report)]
• Expressive Tractable Description Logics based on SROIQ Rules. SW-DL-LP
  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. SW-DL
  Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
  Technical Report, Universität Karlsruhe (TH). February 2008.
  [pdf (extended technical report)]
• Complexity of Horn Description Logics. SW-DL
  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. LP-NMR
  (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. SW-OM-CAT
  (with Markus Krötzsch, Marc Ehrig, and York Sure)
  Technical Report, AIFB, Universität Karlsruhe, March 2005.
  [pdf (technical report)]
• DLP - An introduction SW-LP-DL
  (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. LP-NMR
  (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. FCA-DT
  (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. NMR
  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. FCA-DT
  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. DT-NMR
  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. TOP-LP
  (with Anthony K. Seda)
  Technical Report, Department of Mathematics, University College Cork, 2000.
  [gzipped postscript (paper)] [pdf (paper)]
• A Topological View of Acceptability. TOP-LP
  (with Anthony K. Seda)
  Technical Report, Department of Mathematics, University College Cork, 2000.
  
• A Topological Characterization of Acceptability.TOP-LP
  (with Anthony K. Seda)
  Technical Report, Department of Mathematics, University College Cork, 1999.
  
• Simplifying Termination Proofs for Pure Prolog Programs. TOP-LP
  (with Anthony K. Seda)
  Technical Report, Department of Mathematics, University College Cork, 1999.
  
• Sur les programmes logiques localement stratifiés. TOP-NMR
  (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. ENC-SCOL-RCOL
  Pascal Hitzler and Gudrun Kalmbach (eds.)
  Aegis-Verlag, Ulm, 2008, ISBN 978-3-87005-073-3.
• Begabtenförderung im MINT-Bereich 12. ENC-RCOL
  (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. ENC-RCOL
  (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. ENC-RCOL
  (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. ENC-RCOL
  (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. ENC-RCOL
  (with Gudrun Kalmbach) (eds.)
  Aegis-Verlag, Ulm, 2000, ISBN 3-87005-053-5, 233 pages.

Book Contributions (enhancement programmes)

• Spieltheorie. ENC
  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. ENC
  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. ENC-FCA-DT-NMR
  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. ENC-FCA-DT-NMR
  (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. ENC-LN
  (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. ENC-CON
  (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. ENC-CON
  (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. ENC-LN
  (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. ENC-FIX
  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. ENC-LN
  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 LP-NMR-TOP
  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 LP-ANN-TOP-NESY
  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. ENC-LN
  (Lecture at the Intensivkurs Mathematik Konstanz-Ulm 1999 and 2000.)
  [gzipped postscript (script draft)] [pdf (script draft)]
• BCU Contest 1999 Problems and Solutions. ENC-CON
  (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. ENC-SCOL
  (with Gudrun Kalmbach) (eds.)
  Universität Ulm, 2000, 50 pages.
  [gzipped postscript] [pdf]
• Intensivkurs Mathematik Konstanz-Ulm 1999. ENC-SCOL
  (with Frank Houdek, Gudrun Kalmbach und Katharina Schmithüsen) (eds.)
  Universität Ulm, 1999, 150 pages.
  [zipped postscript] [pdf]
• Intensivkurs Mathematik Konstanz-Ulm 1998. ENC-SCOL
  (with Frank Houdek, Gudrun Kalmbach und Gabriela Schmithüsen) (eds.)
  Universität Ulm, 1998, 158 pages.
  [gzipped postscript] [pdf]
• Intensivkurs Mathematik Konstanz-Ulm 1997. ENC-SCOL
  (with Frank Houdek, Gudrun Kalmbach und Gabriela Schmithüsen) (eds.)
  Universität Ulm, 1997, 190 pages.
  [gzipped postscript] [pdf]
• Intensivkurs Mathematik Konstanz-Ulm 1996. ENC-SCOL
  (with Frank Houdek, Gudrun Kalmbach und Katharina Schmithüsen) (eds.)
  Universität Ulm, 1996, 208 pages.