Übungen zu Deduktive Datenbanken
Sommersemester 2008

    Prof. Dr. Dietmar Seipel

Tutoren:

• Markus Fröhlich
• Roland Mayer

Übungszeiten:

• Rechner: Fr, 25.04., 15:15 Uhr
• Theorie: Fr, 02.05., 15:15 Uhr
• Rechner: Do, 08.05., 15:15 Uhr
• Theorie: Do, 15.05., 08:15 und 10:15 Uhr
• Rechner: Fr, 16.05., 15:15 Uhr
• Theorie: Do, 29.05., 08:45 und 10:15 Uhr
• Rechner: Fr, 30.05., 15:15 Uhr
• Theorie: Do, 05.06., 08:45 und 10:15 Uhr
• Rechner: Fr, 13.06., 15:15 Uhr
• Theorie: Do, 19.06., 08:45 und 10:15 Uhr
• Fallstudienbesprechung: Do, 19.06., 09:45 - 10:15 Uhr
• Theorie: Do, 26.06., 08:45 und 10:15 Uhr
• Präsentation zur Fallstudie: Do, 03.07., 10:00 Uhr
• Theorie: Do, 10.07., 08:45 und 10:15 Uhr

Wichtige Termine:

• Klausur: Freitag, 11.07.2007, 13:30 - 15:00 Uhr (zur Vorlesungszeit)
• Übungsgruppen: Donnerstags, 8 - 10 und 10 - 12 Uhr, ÜR 1

Übungsblätter:

• Blatt 1, Loesung 1
• Blatt 2
• Blatt 3
• Blatt 4
• Blatt 5
• Blatt 6
• Blatt 7

Material:

• Arbeitsblätter ( A 1, A 2, A 3, A 4, A 5, A 6 )
• Tutorial zu Input/Output
• Tutorial D3-Regeln
• Datalog vs. Prolog

Software:

• SWI-Prolog
• DDK (Gesamtsystem)

Beispiele zur Vorlesung (Prolog, XML):

• Bäume:
  • trees.pl
  • find_trust.pl
  • parts_of_list.pl
• loops.pl
• labyrinth.pl
• data_structures.pl
• read_file_to_string.pl
• Diagnoseregeln in D3:
  • d3_rules.pl
  • d3_rules.xml
  • d3_rules_extract.xml
  • d3_rules_P181.xml
  • d3_dialogs
  • d3_knowledge_base_to_rules
  • d3_diagnostic_reasoning
• one_mother.pl

[Institut] [Lehrstuhl I] [Mitarbeiter] [Vorlesungen] [Veröffentlichungen]

Letzte Änderung: 17.07.2008
Bei Problemen: webmaster@optix.informatik.uni-wuerzburg.de