Lars-Phillip Spiegel

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 2

Top Topics

Meta Level Reasoning

Answer Set Programming

Modulo Theories

Top Venues

Publications

Marco Wilhelm, Lars-Phillip Spiegel, Gabriele Kern-Isberner
Intrinsic Prioritization in Answer Set Programming Based on an Adapted Notion of Tolerance. FLAIRS (2024)
Lars-Phillip Spiegel, Gabriele Kern-Isberner, Marco Ragni
Rational Inference Patterns. PRICAI (1) (2019)