Seminar Selected Topics of Computational Logic

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

Seminar Selected Topics of Computational Logic

Lehrveranstaltung mit SWS 0/2/0 (Vorlesung/Übung/Praktikum) in WS 2019

Dozent

Umfang (SWS)

  • 0/2/0

Module

Leistungskontrolle

  • Hausarbeit
  • Referat

The main topic of this years seminar is Answer Set Programming (ASP). In particular we will concentrate on practical aspects of ASP such as Answer-Set Navigation, Preferences, Lazy grounding and Visualization.

Learning Outcomes

  • The students will get an overview of recent research topic within the field of ASP.
  • The students will be able to write a scientific article and give a scientific presentation.

Organization

After the introductory meeting, the students will select one topic from the list below. The students need to write a 5 pages seminar article about their topic. At the end of the semester each student needs to present his/her work in a 30 min talk.

Important Dates

The first meeting will be on Thursday, 17th October 2019, in DS 2 9:20-10:50 in APB 1004 (großes Ratszimmer).

The deadline to submit the seminar article is on Friday, 20th December 2019.

Selected Topics

  • Christian Alrabbaa, Sebastian Rudolph, Lukas Schweizer: Faceted Answer-Set Navigation. RuleML+RR 2018: 211-225
  • Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink: Finding similar/diverse solutions in answer set programming. TPLP 13(3): 303-359 (2013)
  • Javier Romero, Torsten Schaub, Philipp Wanko: Computing Diverse Optimal Stable Models. ICLP (Technical Communications) 2016: 3:1-3:14
  • Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub: asprin: Customizing Answer Set Preferences without a Headache. AAAI 2015: 1467-1474
  • Richard Taupe, Antonius Weinzierl, Gerhard Friedrich: Degrees of Laziness in Grounding - Effects of Lazy-Grounding Strategies on ASP Solving. LPNMR 2019: 298-311
  • Thomas Eiter, Gerhard Friedrich, Richard Taupe, Antonius Weinzierl: Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP. KI 32(2-3): 197-198 (2018)
  • Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari: Enhancing DLV for Large-Scale Reasoning. LPNMR 2019: 312-325
  • Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: Multi-shot ASP solving with clingo. TPLP 19(1): 27-82 (2019)
  • Pedro Cabalar, Roland Kaminski, Philip Morkisch, Torsten Schaub: telingo = ASP + Time. LPNMR 2019: 256-269
  • Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko: Train Scheduling with Hybrid ASP. LPNMR 2019: 3-17
  • Mario Alviano, Javier Romero, Torsten Schaub: On the Integration of CP-nets in ASPRIN. IJCAI 2019: 1495-1501
  • Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski: Beyond NP: Quantifying over Answer Sets. TPLP 19(5-6): 705-721 (2019)
  • Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller: Partial Compilation of ASP Programs. TPLP 19(5-6): 857-873 (2019)
Visualization:
  • Onofrio Febbraro, Kristian Reale, Francesco Ricca: ASPIDE: Integrated Development Environment for Answer Set Programming. LPNMR 2011: 317-330
  • Christian Kloimüllner, Johannes Oetsch, Jörg Pührer, Hans Tompits: Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs. INAP/WLP 2011: 325-344
  • Thomas Ambroz, Günther Charwat, Andreas Jusits, Johannes Peter Wallner, Stefan Woltran: ARVis: Visualizing Relations between Answer Sets. LPNMR 2013: 73-78
See materials of https://iccl.inf.tu-dresden.de/web/Academic_Skills_in_Computer_Science_(SS2019) for information on scientific writing and presentations.

Veranstaltungskalender abonnieren (icalendar)

Seminar Preliminary Discussion DS2, 17. Oktober 2019 in APB 1004


Kalender