Research Group on
Databases and Logic Programming

Prof. Dr. Dietmar Seipel

  Teaching

Aktuelles
  1. Annotation und Analyse von XML/Text-Korpora ( Hauptseminar im SS 2009 )
Hauptstudium (Graduate Courses)
  1. Datenbanken I und Datenbanken II/Advanced Databases ( Vorlesung im WS 2008/09 )
  2. Deduktive Datenbanken ( Vorlesung im SS 2008 )
  3. Semantic Web ( Vorlesung im WS 2005/06 )
  4. Ontologien, Semantic Web und Knowledge Engineering ( Hauptseminar im SS 2005 )
  5. Logikprogrammierung und Linguistik ( Hauptseminar im SS 2005 )
  6. XML-Datenbanken und das Semantic Web ( Hauptseminar im SS 2003 )
  7. Diagnostische Inferenzen ( Hauptseminar im WS 2001/02 )
Grundstudium (Undergraduate Courses)
  1. Algorithmen und Datenstrukturen / Praktische Informatik I ( Vorlesung im WS 2006/07 )
  2. Softwaretechnik / Praktische Informatik II ( Vorlesung im SS 2003 )
  3. Einführung in die Informatik für Hörer aller Fakultäten ( Vorlesung im WS 2006/07 )
  4. Logik für Informatiker ( Vorlesung im SS 1998 )
frühere Veranstaltungen (Previous Courses)

Diplomarbeiten (Themen auf Anfrage)

  Research and Publications

Research Topics
  1. Relational and Deductive Databases, Knowledge Bases
  2. Knowledge Base Management and Software Engineering
  3. Semi-Structured Data and XML
  4. The DisLog Developers' Toolkit (DDK)
Selected Publications

  Workshops and Conferences

Current/Recent Events
  1. FoIKS 2010 - International Symposium on Foundations of Information and Knowledge Systems -
    Sofia, Bulgaria, February 15-19, 2010
  2. INAP 2009 - 18th International Conference on Applications of Declarative Programming and Knowledge Management -
    Universidade de Evora, Portugal, November 05-07, 2009
  3. MOC 2009 - Workshop über Deklarative Modellierung und effiziente Optimierung -
    Lübeck, Germany, at INFORMATIK 2009: Im Focus das Leben, (September 28 - October 02, 2009)
  4. WLP 2009 - 23rd Workshop on (Constraint) Logic Programming -
    Potsdam, Germany, co-located with the 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009, (September 15 - 16, 2009)
  5. KESE 2009 - Workshop on Knowledge Engineering and Software Engineering -
    Paderborn, Germany, at the 32nd German Conference on Artificial Intelligence, KI 2009, (September 15 - 18, 2009)
  6. WLP 2008 - 22nd Workshop on Logic Programming -
    Dresden, Germany, at the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008 (September 30 - October 01, 2008)
  7. KESE 2008 - Workshop on Knowledge Engineering and Software Engineering -
    Kaiserslautern, Germany, at the 31st German Conference on Artificial Intelligence, KI 2008, (September 22 - 26, 2008)
  8. SDKB 2008 - International Workshop on Semantics in Data and Knowledge Bases -
    Nantes, France, March 29, 2008, in conjunction with EDBT
  9. FoIKS 2008 - International Symposium on Foundations of Information and Knowledge Systems -
    Pisa, Italy, February 11-15, 2008
  10. INAP 2007 - 17th International Conference on Applications of Declarative Programming and Knowledge Management -
    University of Würzburg, Germany, October 04-06, 2007
  11. KESE 2007 - Workshop on Knowledge Engineering and Software Engineering -
    Osnabrück, Germany, at the 30th German Conference on Artificial Intelligence, KI 2007, (September 10, 2007)

Previous Events

[Institut] [Lehrstuhl I] [Mitarbeiter]

Last modified: 28.05.2009 (seipel@informatik.uni-wuerzburg.de)