Search
Now showing items 1-10 of 12
Revisiting Explicit Negation in Answer Set Programming
(Cambridge University Press, 2019-09)
[Abstract] A common feature in Answer Set Programming is the use of a second negation, stronger than default negation and sometimes called explicit, strong or classical negation. This explicit negation is normally used in ...
A Polynomial Reduction of Forks Into Logic Programs
(Elsevier, 2022)
[Abstract] In this research note we present additional results for an earlier published paper [1]. There, we studied the problem of projective strong equivalence (PSE) of logic programs, that is, checking whether two logic ...
aspBEEF: Explaining Predictions Through Optimal Clustering
(MDPI AG, 2020-08-28)
[Abstract]
In this paper we introduce aspBEEF, a tool for generating explanations for the outcome of an arbitrary machine learning classifier. This is done using Grover’s et al. framework known as Balanced English ...
Predicting pharmaceutical inkjet printing outcomes using machine learning
(Elsevier B.V., 2023)
[Abstract]: Inkjet printing has been extensively explored in recent years to produce personalised medicines due to its low cost and versatility. Pharmaceutical applications have ranged from orodispersible films to complex ...
Linear-Time Temporal Answer Set Programming
(Cambridge University Press, 2023)
[Abstract]: In this survey, we present an overview on (Modal) Temporal Logic Programming in view of its application to Knowledge Representation and Declarative Problem Solving. The syntax of this extension of logic programs ...
Syntactic ASP forgetting with forks
(Elsevier, 2024-01)
[Abstract]: Answer Set Programming (ASP) constitutes nowadays one of the most successful paradigms for practical Knowledge Representation and declarative problem solving. The formal analysis of ASP programs is essential ...
Forgetting Auxiliary Atoms in Forks
(Elsevier Ltd, 2019)
[Abstract]: In this work we tackle the problem of checking strong equivalence of logic programs that may contain local auxiliary atoms, to be removed from their stable models and to be forbidden in any external context. ...
A rule-based system for explainable donor-patient matching in liver transplantation
(Open Publishing Association, 2019-09)
[Abstract]: In this paper we present web-liver, a rule-based system for decision support in the medical domain, focusing on its application in a liver transplantation unit for implementing policies for donor-patient matching. ...
Accelerating 3D printing of pharmaceutical products using machine learning
(Elsevier, 2022)
[Abstract] Three-dimensional printing (3DP) has seen growing interest within the healthcare industry for its ability to fabricate personalized medicines and medical devices. However, it may be burdened by the lengthy ...
Machine learning predicts 3D printing performance of over 900 drug delivery systems
(Elsevier B.V., 2021-09)
[Abstract]: Three-dimensional printing (3DP) is a transformative technology that is advancing pharmaceutical research by producing personalized drug products. However, advances made via 3DP have been slow due to the lengthy ...
