Springe direkt zu Inhalt

Proseminar Logik Programmierung

In der Veranstaltung werden verschiedene Themen des Semantic Webs und der deklarativen Wissensrepräsentation und Logikprogrammierung im betrieblichen Anwendungskontext behandelt.

TypProseminar
Dozent/inProf. Dr. Adrian Paschke
RaumTakustr. 9 SR 053
Beginn16.10.2012
Ende19.02.2013
Zeit

Dienstag 16 - 18 Uhr

  • Zeitraum: 15.10.2012-16.02.2013
    Haupttermine: Dienstag 16 - 18 Uhr - Takustr. 9 SR 053
    Termin Thema Referent
    16.10.12 Vorbesprechung zur Themenvergabe (16 Uhr in der Takustr. 9 SR053) Adrian Paschke
    23.10.12

    Predicate Logic: Propositional Logic, First Order Logic, Higher Order Logic, Semantics (Proof Theory, Model Theory, Denotational ...)

    Pia Hinzmann  

    30.10.12 Prolog: ISO Prolog syntax, declarative versus sequential programming constructs (CUT, assert/retract, is ...)

    Patrick Hobusch 

    6.11.12 Logic Programming: Datalog, Horn Logic, Rules

    Kai Kriedemann 

    13.11.12

    Semantics of Logic Programs - Proof-theoretic Semantics: Unification, SLD Resolution

    Vincent Trageser

    13.11.12 Semantics of Logic Programs - Model-theoretic Semantics: (Minimal) Herbrand Semantics, Soundness and Completeness

    Paul Kermas

    20.11.12 Theory of Logic Programing with Negation: Negation as Failure vs. classical Negation, SLDNF Resolution, two-valued Clark's completion semantics, restriction Properties for complete SLDNF (stratification)

    Richard Möhn

    4.12.12 Logic Programming with Negation: Stable-model Semantics

    Ahmet-Serdar Karakaya

    4.12.12 Logic Programming with Negation: Three-valued Well-founded Semantics

    Tay Phuong Ho

    11.12.12 Object-oriented Frame-based Logic: Frame Logic, Slotted Knowledge Representations

    Conrad Läßig

    18.12.12 Description Logics (entfällt) Tobias Kässer (entfällt)
    8.1.13 Events and Action Logics: Situation Calculus Nils Bussas
    8.1.13 Events and Action Logics: Event Calculus Andreas Reuter 
    15.1.13 Transaction Logics Kay Braun
    22.1.13 Rule-based Complex Event Processing (entfällt) Jan Niklas Lehmann (entfällt)
         

    Templates für Präsentation und Seminararbeit

    Template Seminararbeit

    Template Präsentation

     

    Latex Tutorial

    http://latex.mschroeder.net/

    http://www.eng.cam.ac.uk/help/tpl/textprocessing/

    http://en.wikibooks.org/wiki/LaTeX

     

    Ablauf und Leistungserbringung

    siehe http://www.ag-nbi.de/lehre/seminare.html

    Bitte beachten Sie auch die Hinweise zu Plagiaten.

     

    Themen

    • werden in der Vorbesprechung vorgestellt
    • Vorgeschlagene Themen:
      1. Predicate Logic: Propositional Logic, First Order Logic, Higher Order Logic, Semantics (Proof Theory, Model Theory, Denotational ...)
      2. Prolog: ISO Prolog syntax, declarative versus sequential programming constructs (CUT, assert/retract, is ...)
      3. Logic Programming: Datalog, Horn Logic, Rules
      4. Semantics of Logic Programs - Proof-theoretic Semantics: Unification, SLD Resolution
      5. Semantics of Logic Programs - Model-theoretic Semantics: (Minimal) Herbrand Semantics, Soundness and Completeness
      6. Theory of Logic Programing with Negation: Negation as Failure vs. classical Negation, SLDNF Resolution, two-valued Clark's completion semantics, restriction properties for complete SLDNF (stratification)
      7. Logic Programming with Negation: Three-valued Well-founded Semantics
      8. Logic Programming with Negation: Stable-model Semantics
      9. Logic Programming with Negation: Answer Set Semantics
      10. Object-oriented Frame-based Logic: Frame Logic, Slotted Knowledge Representation
      11. Description Logics
      12. Description Logic Programs
      13. Events and Action Logics: Situation Calculus
      14. Events and Action Logics: Event Calculus
      15. Linear Temporal Logics and Action Languages
      16. Transaction Logics
      17. Reaction Rules on the example of Prova: ECA paradigm, reactive messaging, pragmatic primitives (e.g. FIPA ACL, KQML)
      18. Platform Independent Rule Languages and Semantic Web Rules: RuleML and W3C RIF
      19. Rule-based Complex Event Processing
       
    • Weitere Themen können vorgeschlagen werden