Giovanni Amendola

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A logic-based framework for characterizing nexus of similarity within knowledge bases Information Sciences	2024-05-06	Paper
Solving problems in the polynomial hierarchy with ASP(Q)	2023-04-04	Paper
Answers set programs for non-transferable utility games: expressiveness, complexity and applications Artificial Intelligence	2021-12-13	Paper
Testing in ASP: revisited language and programming environment	2021-12-01	Paper
Paracoherent answer set computation Artificial Intelligence	2021-11-02	Paper
Paracoherent answer set semantics meets argumentation frameworks Theory and Practice of Logic Programming	2020-05-04	Paper
Better paracoherent answer sets with less resources Theory and Practice of Logic Programming	2020-05-04	Paper
Beyond NP: quantifying over answer sets Theory and Practice of Logic Programming	2020-05-04	Paper
Abstract Solvers for Computing Cautious Consequences of ASP programs Theory and Practice of Logic Programming	2020-05-04	Paper
Algorithm selection for paracoherent answer set computation	2020-02-18	Paper
Extending Bell numbers for parsimonious chase estimation	2020-02-18	Paper
New models for generating hard random Boolean formulas and disjunctive logic programs Artificial Intelligence	2020-01-20	Paper
Reasoning on anonymity in Datalog	2019-10-24	Paper
Evaluation of disjunctive programs in WASP	2019-10-10	Paper
Finite model reasoning over existential rules Theory and Practice of Logic Programming	2017-11-08	Paper
Semi-equilibrium models for paracoherent answer set programs Artificial Intelligence	2016-03-08	Paper
Modular paracoherent answer sets Logics in Artificial Intelligence	2015-01-14	Paper

Research outcomes over time

This page was built for person: Giovanni Amendola