Affiliation:	University of Postdam
Affiliation:	University of Potsdam
Affiliation:	University of Potsdam, Germany
Affiliation:	Potassco Solutions GmbH, Germany

Parametric Modular Answer Set Programs Made Declarative

flingo - Instilling ASP Expressiveness into Linear Integer Constraints

Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics

Meta Programming for Linear-time Temporal Answer Set Programming

Bound-Founded Semantics for Answer Set Programming with Difference Constraints

aspen-tree: A system for non-ground meta-programming in ASP (Preliminary Report)

Flaspland: A Test-bed for Routing and Scheduling in Answer Set Programming (Preliminary Report)

Dynamic Equilibrium Logic for Action and Change: Abridged report

Solving configuration problems with unbounded cardinalities in COOM: Preliminary report

Finding Counterexamples for External Equivalence: Preliminary Report

asplain: An ASP System for Contrastive Explanations

Opening