research
∙
07/12/2023
Rethinking Answer Set Programming Templates
In imperative programming, the Domain-Driven Design methodology helps in...
share
research
∙
08/06/2020
Incremental maintenance of overgrounded logic programs with tailored simplifications
The repeated execution of reasoning tasks is desirable in many applicati...
research
∙
11/11/2019
ASP-Core-2 Input Language Format
Standardization of solver input languages has been a main driver for the...
research
∙
09/17/2019
Proceedings 35th International Conference on Logic Programming (Technical Communications)
Since the first conference held in Marseille in 1982, ICLP has been the ...
research
∙
07/22/2019
Incremental Answer Set Programming with Overgrounding
Repeated executions of reasoning tasks for varying inputs are necessary ...
research
∙
06/14/2012