research
∙
08/30/2023
Explainable Answer-set Programming
The interest in explainability in artificial intelligence (AI) is growin...
share
research
∙
12/18/2022
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling
We deal with a challenging scheduling problem on parallel machines with ...
research
∙
09/22/2020
Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics
Paraconsistent logics constitute an important class of formalisms dealin...
research
∙
11/12/2019