Content: Publications

Publications 2019

Jens Claßen, Gerhard Lakemeyer, Benjamin Zarrieß

Situation Calculus Meets Description Logics

Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday (2019)

Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko

Train scheduling with hybrid ASP

the Fifteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'19) (2019)

Pedro Cabalar, Martın Dieguez, Torsten Schaub

Towards Dynamic Answer Set Programming over Finite Traces

the Fifteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'19) (2019)

Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn

Lower Bound Founded Logic of Here-and-There

the Sixteenth European Conference on Logics in Artificial Intelligence (JELIA'19) (2019)

Max Ostrowski

Modern Constraint Answer Set Solving

PhD. Thesis, University of Potsdam (2019)

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

Multi-shot {ASP} solving with clingo

Article in Journal, in Theory and Practice of Logic Programming 1, pp. 27-82 (2019)

Philipp Obermeier, Javier Romero, Torsten Schaub

Multi-Shot Stream Reasoning in Answer Set Programming: A Preliminary Report

Article in Journal, in Open Journal of Databases 1, pp. 33-38 (2019)