AMENDOLA, Giovanni
AMENDOLA, Giovanni
Dipartimento di Matematica e Informatica
A formal approach for cautious reasoning in answer set programming (extended abstract)
2020-01-01 Amendola, G.; Dodaro, C.; Maratea, M.
A Generator of Hard 2QBF Formulas and ASP Programs
2018-01-01 Amendola, Giovanni; Ricca, Francesco; Truszczynski, Mirek
A logic-based framework for characterizing nexus of similarity within knowledge bases
2024-01-01 Amendola, G.; Manna, M.; Ricioppo, A.
Abstract Solvers for Computing Cautious Consequences of ASP programs
2019-01-01 Amendola, G.; Dodaro, C.; Maratea, M.
Algorithm Selection for Paracoherent Answer Set Computation
2019-01-01 Amendola, G.; Dodaro, C.; Faber, W.; Pulina, Luca; Ricca, F.
Angoscia esistenziale, attese di salvezza e nostalgia di Dio nella cinematografia di Ingmar Bergman
2019-01-01 Amendola, G.
Answers set programs for non-transferable utility games: Expressiveness, complexity and applications
2022-01-01 Amendola, G.; Greco, G.; Veltri, P.
Antropo-Logos. La ragione al crocevia di intelligenza artificiale, razionalità scientifica, pensiero filosofico e teologia cristiana
2021-01-01 Amendola, Giovanni
Artificial Intelligence and Sensitive Thought
2021-01-01 Amendola, Giovanni
ASPQ: An ASP-based 2QBF solver
2016-01-01 Amendola, Giovanni; Dodaro, Carmine; Ricca, Francesco
Better Paracoherent Answer Sets with Less Resources
2019-01-01 Amendola, G.; Dodaro, C.; Ricca, F.
Beyond NP: Quantifying over Answer Sets
2019-01-01 Amendola, G.; Ricca, F.; Truszczynski, M.
Characterizing Nexus of Similarity between Entities
2023-01-01 Agresta, G.; Amendola, G.; Cofone, P.; Manna, M.; Ricioppo, A.
Come relazionare scienze della natura e teologia?
2015-01-01 Amendola, Giovanni
Comunicare la fede nel mondo tardo antico: indagine logico-formale sull’Epistula ad Candidum di Mario Vittorino
2017-01-01 Amendola, Giovanni
Creatività come amore che libera e rinnova. Spunti per ripensare teologicamente la creatività umana
2018-01-01 Amendola, Giovanni
Dealing with incoherence in ASP: Split semi-equilibrium semantics
2014-01-01 Amendola, Giovanni
Enhancing Existential Rules by Closed-World Variables
2018-01-01 Amendola, Giovanni; Leone, Nicola; Manna, Marco; Veltri, Pierfrancesco
Entity set expansion from the Web via ASP
2017-01-01 T., Adrian Weronika; Manna, Marco; Leone, Nicola; Amendola, Giovanni; Adrian, MAREK MAKSYMILIAN
Evaluation of Disjunctive Programs in WASP
2019-01-01 Alviano, M.; Amendola, G.; Dodaro, C.; Leone, N.; Maratea, M.; Ricca, F.