research
∙
06/23/2022
plingo: A system for probabilistic reasoning in clingo based on lpmln
We present plingo, an extension of the ASP system clingo with various pr...
share
research
∙
08/10/2021
On the Foundations of Grounding in Answer Set Programming
We provide a comprehensive elaboration of the theoretical foundations of...
research
∙
08/15/2020
How to build your own ASP-based system?!
Answer Set Programming (ASP) has become a popular and quite sophisticate...
research
∙
11/11/2019
ASP-Core-2 Input Language Format
Standardization of solver input languages has been a main driver for the...
research
∙
04/26/2018
Temporal Answer Set Programming on Finite Traces
In this paper, we introduce an alternative approach to Temporal Answer S...
research
∙
07/13/2017
Clingo goes Linear Constraints over Reals and Integers
The recent series 5 of the ASP system clingo provides generic means to e...
research
∙
05/27/2017
Multi-shot ASP solving with clingo
We introduce a new flexible paradigm of grounding and solving in Answer ...
research
∙
03/12/2016
Grounding Recursive Aggregates: Preliminary Report
Problem solving in Answer Set Programming consists of two steps, a first...
research
∙
01/06/2014
Solver Scheduling via Answer Set Programming
Although Boolean Constraint Technology has made tremendous progress over...
research
∙
01/08/2013
Answer Set Programming for Stream Reasoning
The advance of Internet and Sensor technology has brought about new chal...
research
∙
09/01/2011
aspcud: A Linux Package Configuration Tool Based on Answer Set Programming
We present the Linux package configuration tool aspcud based on Answer S...
research
∙
07/28/2011