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

• 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