Seminar Logic-Based Knowledge Representation

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Seminar Logic-Based Knowledge Representation

Lehrveranstaltung mit SWS 0/2/0 (Vorlesung/Übung/Praktikum) in SS 2022

Dozent

Umfang (SWS)

  • 0/2/0

Module

Leistungskontrolle

  • Hausarbeit
  • Referat



Course Description

The seminar introduces selected topics of active research areas in the field of knowledge representation by analyzing introductory literature as well as research papers. In particular, we will focus on three topics in this course:

1) Modal Logics

2) Non-monotonic Reasoning, and

3) Algorithms and Systems.

Since each topic will have an introductory session, this course is not only recommended to students who want to deepen their knowledge on knowledge representation, but also to those who are unfamiliar with these topics.

Prerequisites

Participants are expected to be familiar with propositional and first-order logic.

If possible, please register via Selma course “K1107-MA0027S Logic-Based Knowledge Representation (S)”.

Course Plan

The seminar will now proceed as indicated in the “Dates and Materials” section.

For spontaneously interested students, the following topics are still available:

- NMR Recap (20th June)

- Satisfiability Solving (4th July)

Please send a draft of your slides at least one week (preferably two weeks) before the date of your talk to Hannes Straß to get feedback.

All participants are expected to read the respective text before each presentation in order to be acquainted with the topic and to be able to actively contribute to a lively discussion. In case you cannot find a text, send an e-mail.

Location

The seminar will take place online via Zoom.
  • Rosja Mastop: Modal Logic for Artificial Intelligence (2011)
  • Frank van Harmelen, Vladimir Lifschitz, Bruce Porter (Eds.): Handbook of Knowledge Representation (2008)
  • Ernest Davis, Leora Morgenstern: Epistemic Logic and its Applications. Tutorial Notes (2009)
  • Grigoris Antoniou: A Tutorial on Default Logics (1999)
  • Robert Moore: Semantical Considerations on Nonmonotonic Logic (1985)
  • Raymond Reiter: Nonmonotonic Reasoning (1987)
  • Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: Answer Set Solving in Practice (2012)

Veranstaltungskalender abonnieren (icalendar)

Vorlesung Introduction DS5, 4. April 2022 in Videokonferenz Datei
Vorlesung Logic Recap DS5, 11. April 2022 in Videokonferenz Datei
Seminar Modal Logics – Semantics DS5, 25. April 2022 in Videokonferenz
Seminar Modal Logic – Proof Theory DS5, 2. Mai 2022 in Videokonferenz
Seminar Temporal Reasoning DS5, 9. Mai 2022 in Videokonferenz
Seminar Epistemic Logics DS5, 16. Mai 2022 in Videokonferenz
Seminar NMR Introduction DS5, 23. Mai 2022 in Videokonferenz
Seminar Default Logic DS5, 30. Mai 2022 in Videokonferenz
Seminar Autoepistemic Logic DS5, 13. Juni 2022 in Videokonferenz
Entfällt NMR Recap DS5, 20. Juni 2022 in Videokonferenz
Seminar Theorem Proving DS5, 27. Juni 2022 in Videokonferenz
Entfällt Satisfiability Solving DS5, 4. Juli 2022 in Videokonferenz
Seminar Answer Set Solving DS5, 11. Juli 2022 in Videokonferenz


Kalender