AMENDOLA, Giovanni

AMENDOLA, Giovanni  

Dipartimento di Matematica e Informatica  

Mostra records
Risultati 1 - 20 di 51 (tempo di esecuzione: 0.028 secondi).
Titolo Data di pubblicazione Autore(i) File
A formal approach for cautious reasoning in answer set programming (extended abstract) 1-gen-2020 Amendola, G.; Dodaro, C.; Maratea, M.
A Generator of Hard 2QBF Formulas and ASP Programs 1-gen-2018 Amendola, Giovanni; Ricca, Francesco; Truszczynski, Mirek
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.
Angoscia esistenziale, attese di salvezza e nostalgia di Dio nella cinematografia di Ingmar Bergman 1-gen-2019 Amendola, G.
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
Artificial Intelligence and Sensitive Thought 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.
Come relazionare scienze della natura e teologia? 1-gen-2015 Amendola, Giovanni
Comunicare la fede nel mondo tardo antico: indagine logico-formale sull’Epistula ad Candidum di Mario Vittorino 1-gen-2017 Amendola, Giovanni
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.