Content: Publications

Latest Publications

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)

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)

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)

Yannis Dimopoulos, Martin Gebser, Patrick Lühne , Javier Romero, Torsten Schaub

plasp 3: Towards Effective ASP Planning

Article in Journal, in Theory and Practice of Logic Programming 3, pp. 477-504 (2018)

Jens Claßen

Symbolic Verification of Golog Programs with First-Order BDDs

Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) (2018)

Benjamin Zarrieß

Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic

Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) (2018)

Patrick Koopmann, Benjamin Zarrieß

On the Complexity of Verifying Timed Golog Programs over Description Logic Actions

Workshop on Hybrid Reasoning and Learning (HRL 2018) (2018)

Anne-Gwenn Bosser, Pedro Cabalar, Martın Dieguez, Torsten Schaub

Introducing Temporal Stable Models for Linear Dynamic Logic

the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'18) (2018)

Tim Welschehold, Christian Dornhege, Fabian Paus, Wolfram Burgard, Tamim Asfour

Coupling Mobile Base and End-Effector Motion in Task Space

International Conference on Intelligent Robots and Systems (IROS) (2018)

Mario Alviano, Javier Romero, Torsten Schaub

Preference Relations by Approximation

the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'18) (2018)

Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko

Hybrid Metabolic Network Completion

Article in Journal, in Theory and Practice of Logic Programming 1, pp. 83-108 (2018)