Quelltext der Seite Seminar Rule-Based Paradigms in KR (WS2021)

{{Vorlesung
|Title=Seminar Rule-Based Paradigms in KR
|Research group=Wissensbasierte Systeme
|Lecturers=Stefan Ellmauthaler; Markus Krötzsch
|Tutors=Stefan Ellmauthaler; Markus Krötzsch
|Term=WS
|Year=2021
|Matrix=#RuleBasedKR2021:tu-dresden.de
|Module=INF-AQUA, INF-PM-FOR, INF-04-HS, INF-D-940, MCL-PS, CMS-SEM, CMS-LM-MOC, CMS-LM-ADV
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Exam type=Hausarbeit, Referat
|Description==== Announcements ===
[2021-12-13] The Elevator-Pitch Session will be held virtually
[2021-12-01] Optional Consultation will be held virtually

[2021-10-19] Please note that due to the implementation of the 3G-Rules in Teaching, you need to be informed about the Declaration-Questionnaire in OPAL. You can find the link to this site directly in our OPAL-Course.

[2021-10-06] Matrix-channel available

=== Contents ===

The field of knowledge representation and reasoning (KRR) addresses how to represent, manipulate, and generate knowledge by accommodating a plethora of various paradigms.
One basic principle follows the rule-based approach.
There knowledge as well as additionally inferable knowledge is represented by a set of rules.
One rule is usually in the form of a simple implication (i.e. A -> B), which intuitively states that "If the premise holds, the conclusion shall hold too".

This Seminar will be focused on different rule-based paradigms which has been investigated, applied, and has been relevant in the recent decades.
The main topics will be
* Datalog
* Answer Set Programming
* Distributed rule-based reasoning formalisms

We offer a variety of topics, including conceptional and modelling aspects as well as analysis.

The goal of this course is to read, analyse, and understand a given scientific paper and prepare a report as well as a presentation of the topic.
Therefore additional skills like basic literature search and the acquisition of knowledge on underlying concepts will be required and trained. 


=== Schedule and Location ===
Wednesday, DS 5 (14:50 - 16:20). Please check "Dates and Materials" for further details and links to the virtual rooms. The introductory session will be online on Wednesday, October 13th. 

Currently either a hybrid-mode or an on-site model is planned for this course and will be discussed at the Kickoff-Meeting on October 13th.

The optional consultations can be either in Room APB 3035 or APB 3027. I will be at Room 3027 at the start of the time-slot and will be at my office if no one shows up.
On Wednesday, December, 1st the consultation will be held virtually.
For further details please feel free to contact me.

=== Opportunities ===
Upon interest, we can provide seminar attendees with follow-up research-related tasks that may be later developed into master's or bachelor's theses, and/or publications.

=== Communication ===
Important Announcements will be communicated through our [https://matrix.to/#/#RuleBasedKR2021:tu-dresden.de matrix-channel], so feel free to join the chat-channel.

=== Summary Paper & Slides ===
Please hand in your summary paper and slides by email to [mailto:stefan.ellmauthaler@tu-dresden.de stefan.ellmauthaler@tu-dresden.de].

==== Contact ====
Please, feel free to send me an [mailto:stefan.ellmauthaler@tu-dresden.de email] or a message at [https://matrix.to/#/@stel830c:tu-dresden.de matrix] if you have any further questions.

=== Enrolment ===
Note that it is mandatory to enroll to this course at Opal. Please go to the [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/32032915463 Opal-Course-Site] and follow up to the Enrolment-Page you will find there.
|Literature==== Interesting and general Papers ===
==== DB-Theory and Datalog as a query-language ====
* Abiteboul, S.; Hull, R. & Vianu, V. Foundations of databases. Addison-Wesley Reading, 1995, 8
==== High-level overview Paper on Answer Set Programming ====
* Brewka, G.; Eiter, T. & Truszczyŉski, M. Answer set programming at a glance. Communications of the ACM, Association for Computing Machinery (ACM), 2011, 54, 92-103
==== Dense and very in-depth Paper on Logic Programming ====
Recommendation: Hard to read from start to end, usually interesting to answer specific questions on one of the discussed topics
* Dantsin, E.; Eiter, T.; Gottlob, G. & Voronkov, A. Complexity and expressive power of logic programming. Proceedings of Computational Complexity. Twelfth Annual IEEE Conference, IEEE Comput. Soc, 2001, 33, 374-425

=== Research Papers ===
==== Answer Set Programming ====
* Eiter, Polleres: Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications, TPLP 2006  https://doi.org/10.1017/S1471068405002577
* Weinzierl: Blending Lazy-Grounding and CDNL Search for Answer-Set Solving, LPNMR 2017 https://link.springer.com/chapter/10.1007/978-3-319-61660-5_17
* Alferes, Brogi, Leite, Pereira: Evolving Logic Programs JELIA 2002 https://link.springer.com/content/pdf/10.1007%2F3-540-45757-7_5.pdf
* Alviano, Dodaro, JÄrvisalo, Maratea, Previti: Cautious reasoning in ASP via minimal models and unsatifiable cores, TPLP 2018 https://doi.org/10.1017/S1471068418000145
* Gebser, Schaub: Tableau Calculi for Answer Set Programming, ICLP 2006: Logic Programming pp 11-25 https://doi.org/10.1007/11799573_4
==== Datalog ====
* Deutsch, Nash, Remmel: The Chase Revisited, Proceedings of the 27th Symposium on Principles of Database Systems (PODS'08), ACM, 2008, 149-158 https://doi.org/10.1145/1376916.1376938
* Baget, Leclère, Mugnier, Salvat: On rules with existential variables: Walking the decidability line , AIJ 2011 https://doi.org/10.1016/j.artint.2011.03.002
* Cali, Gottlob, Lukasiewicz:  A general datalog-based framework for tractable query answering over ontologies, PODS 2009 https://dl.acm.org/doi/pdf/10.1145/1559795.1559809
==== Distributed Reasoning ====
* Dao-Tran, Eiter: Streaming Multi-Context Systems: IJCAI 2017, https://www.ijcai.org/proceedings/2017/0139.pdf
* Brewka, Eiter, Fink, Weinzierl: Managed Multi-Context Systems, IJCAI 2011 https://www.aaai.org/ocs/index.php/IJCAI/IJCAI11/paper/viewFile/3086/3500
==== Notes ====
  * TPLP and AIJ paper are journal paper, and therefore longer with a broader point of view
    * in this case challenging paper
    * challenge to compress the information to the length-restrictions
    * students literature research is mostly focused on newer results, position in the scientific comunity and "missing links"
    * summary paper - hints for journal paper
      * Introduction needs to justify and motivate the choice of results and the need then and nowadays
      * conclusion needs to sum up the results and their value from the students point of view

  * the other paper are conference paper
    * students literature research will be needed for preliminaries, newer work, and parallel/related work
    * challenge to reflect on the given information and present it with your own words
    * summary paper - hints for conference paper
      * introdcution needs to introduce the topic, position it within the field and reflect on historical and current need
      * conclusion needs to sum up the results and their value from the students point of view, a comparison with related work (if any).

The difficulty of specific papers can be discussed during session 3 if one is unsure about the selection!
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Seminar
|Title=Kickoff Meeting
|Room=https://selfservice.zih.tu-dresden.de/l/link.php?m=151155&p=632a0eec
|Date=2021/10/13
|DS=DS5
|Download=session-01-introduction.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Seminar
|Title=Topic overview
|Room=APB 3027
|Date=2021/10/20
|DS=DS5
|Download=Session-02-declarative solving.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Seminar
|Title=Topic Assignment, Organisational Matters
|Room=APB 3027
|Date=2021/10/27
|DS=DS5
|Download=Seminar style.tar.gz,Session-03-topic assignment and more.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Konsultation
|Title=Consultation (optional)
|Room=APB 3027
|Date=2021/11/03
|DS=DS5
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Konsultation
|Title=Consultation (optional)
|Room=APB 3027
|Date=2021/11/08
|DS=DS5
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Entfällt
|Title=Public Holiday
|Room=None
|Date=2021/11/17
|DS=terminlos
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Entfällt
|Title=No Consultation
|Room=None
|Date=2021/11/24
|DS=terminlos
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Konsultation
|Title=Consultation (optional)
|Room=Virtual
|Date=2021/12/01
|DS=DS5
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Entfällt
|Title=No Consultation due to sick leave
|Room=APB 3027
|Date=2021/12/08
|DS=DS5
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Seminar
|Title=Elevator Pitch
|Room=https://selfservice.zih.tu-dresden.de/l/link.php?m=165093&p=a6958ef5
|Date=2021/12/15
|DS=DS5
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Konsultation
|Title=Consultation (optional)
|Room=https://selfservice.zih.tu-dresden.de/l/link.php?m=167909&p=37d6e6d8
|Date=2022/01/05
|DS=DS5
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Konsultation
|Title=Consultation (optional) - Reminder: Summary Paper Deadline
|Room=https://selfservice.zih.tu-dresden.de/l/link.php?m=169663&p=971d48f6
|Date=2022/01/12
|DS=DS5
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Entfällt
|Title=No Consultation
|Room=none
|Date=2022/01/19
|DS=DS5
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Konsultation
|Title=Slide Feedback and Consultation
|Room=https://selfservice.zih.tu-dresden.de/l/link.php?m=172413&p=e89bc238
|Date=2022/01/26
|DS=DS5
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Seminar
|Title=Presentation (Seminar-Talk)
|Room=https://selfservice.zih.tu-dresden.de/l/link.php?m=172820&p=683cfb2e
|Date=2022/02/02
|DS=DS5
}}