Giovanni Amendola

Available identifiers

Publication	Date of Publication	Type
A logic-based framework for characterizing nexus of similarity within knowledge bases	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	2021-12-13	Paper
Testing in ASP: revisited language and programming environment	2021-12-01	Paper
Paracoherent answer set computation	2021-11-02	Paper
Paracoherent Answer Set Semantics meets Argumentation Frameworks	2020-05-04	Paper
Better Paracoherent Answer Sets with Less Resources	2020-05-04	Paper
Beyond NP: Quantifying over Answer Sets	2020-05-04	Paper
Abstract Solvers for Computing Cautious Consequences of ASP programs	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	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	2017-11-08	Paper
Semi-equilibrium models for paracoherent answer set programs	2016-03-08	Paper
Modular Paracoherent Answer Sets	2015-01-14	Paper

This page was built for person: Giovanni Amendola