Torsten Schaub — Federated Logic Conference 2026

Torsten Schaub

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

Talks

aspen-tree: A system for non-ground meta-programming in ASP (Preliminary Report) · Opening + Neurosymbolic and Metaprogramming

Opening · Paper session 1

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

Meta-Programming in Answer Set Programming: From Flexible Prototyping to Temporal Reasoning · SS Invited Talk 2

Solving configuration problems with unbounded cardinalities in COOM: Preliminary report · Industrial applications

Finding Counterexamples for External Equivalence: Preliminary Report · System and Tools + Closing

Parametric Modular Answer Set Programs Made Declarative · Block 1 (3 TPLP)

Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics · Block 7 (4 TPLP)

Bridging the Gap: Foundedness, Defaults, and Expressivity in Constraint Answer Set Programming · ASP

Bound-Founded Semantics for Answer Set Programming with Difference Constraints · Block 11 (6 TC)

Pages in this Program