Seminar Selected Topics of Computational Logic

From International Center for Computational Logic

Seminar Selected Topics of Computational Logic

Course with SWS 0/2/0 (lecture/exercise/practical) in WS 2019



  • 0/2/0


Examination method

  • Term paper
  • Seminar presentation

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.


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.

Available Topics

  • Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub: asprin: Customizing Answer Set Preferences without a Headache. AAAI 2015: 1467-1474
  • 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)
  • Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski: Beyond NP: Quantifying over Answer Sets. TPLP 19(5-6): 705-721 (2019)

Assigned 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
  • Richard Taupe, Antonius Weinzierl, Gerhard Friedrich: Degrees of Laziness in Grounding - Effects of Lazy-Grounding Strategies on ASP Solving. LPNMR 2019: 298-311
  • 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
  • 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
  • Jakob Suchan, Mehul Bhatt, Srikrishna Varadarajan: Out of Sight But Not Out of Mind: An Answer Set Programming Based Online Abduction Framework for Visual Sensemaking in Autonomous Driving. IJCAI 2019: 1879-1885
  • Rolf Schwitter: Specifying and Verbalising Answer Set Programs in Controlled Natural Language.TPLP 18(3-4): 691-705 (2018)
  • Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller: Partial Compilation of ASP Programs. TPLP 19(5-6): 857-873 (2019)
  • Pedro Cabalar, Roland Kaminski, Philip Morkisch, Torsten Schaub: telingo = ASP + Time. LPNMR 2019: 256-269
  • Mario Alviano, Javier Romero, Torsten Schaub: On the Integration of CP-nets in ASPRIN. IJCAI 2019: 1495-1501
  • Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko: Train Scheduling with Hybrid ASP. LPNMR 2019: 3-17
  • Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: Multi-shot ASP solving with clingo. TPLP 19(1): 27-82 (2019)
See materials of for information on scientific writing and presentations.

Subscribe to events of this course (icalendar)

Seminar Preliminary Discussion DS2, October 17, 2019 in APB 1004