AMENDOLA, Giovanni

AMENDOLA, Giovanni  

Dipartimento di Matematica e Informatica  

Mostra records
Risultati 1 - 20 di 36 (tempo di esecuzione: 0.028 secondi).
Titolo Data di pubblicazione Autore(i) File
Abstract Solvers for Computing Cautious Consequences of ASP programs 1-gen-2019 Amendola, G.; Dodaro, C.; Maratea, M.
Algorithm Selection for Paracoherent Answer Set Computation 1-gen-2019 Amendola, G.; Dodaro, C.; Faber, W.; Pulina, Luca; Ricca, F.
Answers set programs for non-transferable utility games: Expressiveness, complexity and applications 1-gen-2022 Amendola, G.; Greco, G.; Veltri, P.
Antropo-Logos. La ragione al crocevia di intelligenza artificiale, razionalità scientifica, pensiero filosofico e teologia cristiana 1-gen-2021 Amendola, Giovanni
ASPQ: An ASP-based 2QBF solver 1-gen-2016 Amendola, Giovanni; Dodaro, Carmine; Ricca, Francesco
Better Paracoherent Answer Sets with Less Resources 1-gen-2019 Amendola, G.; Dodaro, C.; Ricca, F.
Beyond NP: Quantifying over Answer Sets 1-gen-2019 Amendola, G.; Ricca, F.; Truszczynski, M.
Creatività come amore che libera e rinnova. Spunti per ripensare teologicamente la creatività umana 1-gen-2018 Amendola, Giovanni
Dealing with incoherence in ASP: Split semi-equilibrium semantics 1-gen-2014 Amendola, Giovanni
Enhancing Existential Rules by Closed-World Variables 1-gen-2018 Amendola, Giovanni; Leone, Nicola; Manna, Marco; Veltri, Pierfrancesco
Entity set expansion from the Web via ASP 1-gen-2017 T., Adrian Weronika; Manna, Marco; Leone, Nicola; Amendola, Giovanni; Adrian, MAREK MAKSYMILIAN
Evaluation of Disjunctive Programs in WASP 1-gen-2019 Alviano, M.; Amendola, G.; Dodaro, C.; Leone, N.; Maratea, M.; Ricca, F.
Explainable certain answers 1-gen-2018 Amendola, G.; Libkin, L.
Extending Bell Numbers for Parsimonious Chase Estimation 1-gen-2019 Amendola, G.; Marte, C.
Externally Supported Models for Efficient Computation of Paracoherent Answer Sets 1-gen-2018 Amendola, Giovanni; Dodaro, Carmine; Faber, Wolfgang; Ricca, Francesco
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward 1-gen-2018 Amendola, Giovanni; Leone, Nicola; Manna, Marco
Finite model reasoning over existential rules 1-gen-2017 Amendola, Giovanni; Leone, Nicola; Manna, Marco
A formal approach for cautious reasoning in answer set programming (extended abstract) 1-gen-2020 Amendola, G.; Dodaro, C.; Maratea, M.
Generating Hard Random Boolean Formulas and Disjunctive Logic Programs 1-gen-2017 Amendola, Giovanni; Ricca, Francesco; Truszczynski, Miroslaw
A Generator of Hard 2QBF Formulas and ASP Programs 1-gen-2018 Amendola, Giovanni; Ricca, Francesco; Truszczynski, Mirek