research
∙
03/27/2022
Abstract argumentation and answer set programming: two faces of Nelson's logic
In this work, we show that both logic programming and abstract argumenta...
share
research
∙
08/21/2020
A framework for modelling Molecular Interaction Maps
Metabolic networks, formed by a series of metabolic pathways, are made o...
research
∙
05/25/2019
Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning
Dynamic Epistemic Logic (DEL) is a family of multimodal logics that has ...
research
∙
12/20/2018
Splitting Epistemic Logic Programs
Epistemic logic programs constitute an extension of the stable models se...
research
∙
05/02/2018
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates
In this paper, we propose a variant of Answer Set Programming (ASP) with...
research
∙
02/27/2013