In diesem Proseminar werden Themen aus den Grundlagen der logischen Programmierung und logischer Programmiertechniken, der Implementierung von Logiksprachen wie Prolog, sowie der Einsatz logischer Programmiersprachen in verschiedenen Anwendungsbereichen bearbeitet.
Type | Proseminar |
---|---|
Instructor | Prof. Dr. Adrian Paschke |
Room | Takustr. 9 SR 053 |
Start | Oct 14, 2013 |
end | Feb 18, 2013 |
Time | Dienstag 16 - 18 Uhr |
Zeitraum: | 15.10.2013-16.02.2014 |
Haupttermine: | Dienstag 16 - 18 Uhr - Takustr. 9 SR 053 |
Termin | Thema | Referent |
11.7.13 | Vorbesprechung zur Themenvergabe (10 Uhr in der Königin-Luise-Str. 24 SR017) | Adrian Paschke |
15.10.13 |
Einführung in das Seminar und Präsentationstechnik +Weitere Themenvergabe |
Adrian Paschke |
29.10.13 |
Predicate Logic: Propositional Logic, First Order Logic, Higher Order Logic, Semantics (Proof Theory, Model Theory, Denotational ...) |
Mehmed Halilovic |
5.11.13 | Prolog: ISO Prolog syntax, declarative versus sequential programming constructs (CUT, assert/retract, is ...) |
Felix Steinbach |
12.11.13 | Logic Programming: Datalog, Horn Logic, Rules |
Tobias Bouschen |
19.11.13 |
Semantics of Logic Programs - Proof-theoretic Semantics: Unification, SLD Resolution |
Patrick Adams |
26.11.13 | Semantics of Logic Programs - Model-theoretic Semantics: (Minimal) Herbrand Semantics, Soundness and Completeness | Daud Bosharat |
3.12.13 | 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) |
David Sultanowksi |
10.12. | Object-oriented Frame-based Logic: Frame Logic, Slotted Knowledge Representations |
Agun Gumilar |
10.12. | Description Logics | Phil Schmidt |
Templates für Präsentation und Seminararbeit
Latex Tutorial
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