Content: Publications

Publications 2018

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)

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)

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)

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)

Martin Gebser, Philipp Obermeier, Thomas Otto, Orkunt Sabuncu, Van Nguyen, Tran Cao Son

Experimenting with robotic intra-logistics domains

Article in Journal, in Theory and Practice of Logic Programming 3-4, pp. 502-519 (2018)

Benjamin Zarrieß

Verification of Golog Programs over Description Logic Actions

PhD. Thesis, TU Dresden (2018)

Björn Schäpers, Tim Niemueller, Gerhard Lakemeyer, Martin Gebser, Torsten Schaub

ASP-Based Time-Bounded Planning for Logistics Robots

the Twenty-eighth International Conference on Automated Planning and Scheduling (ICAPS'18) (2018)

Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann

Temporal Answer Set Programming on Finite Traces

Article in Journal, in Theory and Practice of Logic Programming 3-4, pp. 406-420 (2018)

Kai Neubauer, Philipp Wanko, Tobias Neumann, Christian Haubelt

Exact Multi-Objective Design Space Exploration using ASPmT

the Twenty-first Conference on Design, Automation and Test in Europe (DATE'18) (2018)