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
∙
09/18/2019
Reasoning in Highly Reactive Environments
The aim of my Ph.D. thesis concerns Reasoning in Highly Reactive Environ...
research
∙
07/22/2019