Research Group on
Databases and Logic Programming

Prof. Dr. Dietmar Seipel

  Teaching

Hauptstudium (Graduate Courses)
  1. Deduktive Datenbanken ( Vorlesung im SS 2013 )
  2. Datenbanken I und Datenbanken II/Advanced Databases ( Vorlesung im WS 2012/13 )
  3. Semantic Web ( Vorlesung im WS 2005/06 )
Seminare
  1. Deklarative Methoden zur Sprachverarbeitung ( Hauptseminar im SS 2010 )
  2. Annotation und Analyse von XML/Text-Korpora ( Hauptseminar im SS 2009 )
  3. Logikprogrammierung und Linguistik ( Hauptseminar im SS 2005 )
  4. Ontologien, Semantic Web und Knowledge Engineering ( Hauptseminar im SS 2005 )
Grundstudium (Undergraduate Courses)
  1. Logik für Informatiker ( Vorlesung im WS 2012/13 )
  2. Algorithmen und Datenstrukturen / Praktische Informatik I ( Vorlesung im WS 2006/07 )
  3. Softwaretechnik / Praktische Informatik II ( Vorlesung im SS 2003 )
  4. Einführung in die Informatik für Hörer aller Fakultäten ( Vorlesung im WS 2011/12 )
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 Events
  1. WLP 2012 - 26th Workshop on Logic Programming -
    Bonn, Germany, September 24 - 26, 2012
  2. MOC 2012 - Workshop über Deklarative Modellierung und effiziente Optimierung -
    TU Braunschweig, Germany, at INFORMATIK 2012, September 16 - 21, 2012
  3. KESE 2012 - 8th Workshop on Knowledge Engineering and Software Engineering -
    Montpellier, France, August 27-31, 2012
  4. FoIKS 2012 - International Symposium on Foundations of Information and Knowledge Systems -
    Kiel, Germany, March 5-9, 2012
Previous Events
  1. KESE 2011 - 7th Workshop on Knowledge Engineering and Software Engineering -
    Tenerife, Spain, November 7-11, 2011
  2. MOC 2011 - Workshop über Deklarative Modellierung und effiziente Optimierung mit Constraint-Technologie -
    TU Berlin, Germany, at INFORMATIK 2011: Informatik schafft Communities, October 04 - 07, 2011
  3. INAP / WLP 2011 - 19th International Conference on Applications of Declarative Programming and Knowledge Management and
    25th Workshop on (Constraint) Logic Programming -
    Vienna University of Technology, Austria, September 28-30, 2011
  4. MOC 2010 - Workshop über Deklarative Modellierung und effiziente Optimierung dank Constraint-Technologie -
    Leipzig, Germany, at INFORMATIK 2010: Service Science - Neue Perspektiven für die Informatik, September 27 - October 02, 2010
  5. WLP 2010 - 24th Workshop on (Constraint) Logic Programming -
    Cairo, Egypt, September 14 - 16, 2010
  6. SDKB 2010 - International Workshop on Semantics in Data and Knowledge Bases -
    Bordeaux, France, July 5, 2010, in conjunction with ICALP
  7. FoIKS 2010 - International Symposium on Foundations of Information and Knowledge Systems -
    Sofia, Bulgaria, February 15-19, 2010
more