Sfoglia per Autore
New models for generating hard random boolean formulas and disjunctive logic programs
2020-01-01 Amendola, G.; Ricca, F.; Truszczynski, M.
A formal approach for cautious reasoning in answer set programming (extended abstract)
2020-01-01 Amendola, G.; Dodaro, C.; Maratea, M.
Modeling Clique Coloring via {ASP(Q)}
2021-01-01 Amendola, Giovanni; Rotondaro, Giovanni
Paracoherent answer set computation
2021-01-01 Amendola, G.; Dodaro, C.; Faber, W.; Ricca, F.
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
Testing in ASP: Revisited Language and Programming Environment
2021-01-01 Amendola, G.; Berei, T.; Ricca, F.
Solving Problems in the Polynomial Hierarchy with ASP(Q)
2022-01-01 Amendola, Giovanni; Cuteri, Bernardo; Ricca, Francesco; Truszczynski, Mirek
La rivelazione delle sacre scritture matematiche
2022-01-01 Amendola, Giovanni
L’orizzonte sapienziale del metodo. Considerazioni tra teologia, matematica e scienze empiriche
2022-01-01 Amendola, Giovanni
Answers set programs for non-transferable utility games: Expressiveness, complexity and applications
2022-01-01 Amendola, G.; Greco, G.; Veltri, P.
Solving Problems in PH with ASP(Q): Preliminary Results
2022-01-01 Amendola, G.; Cuteri, B.; Ricca, F.; Truszczynski, M.
La ragionevole ineffabilità della natura al linguaggio matematico. Aspetti paradossali della misurazione della realtà fisica
2023-01-01 Amendola, Giovanni
Una ragione agapica per realizzare la fede. L’esempio di S. Francesco di Paola
2023-01-01 Amendola, Giovanni; FIORINI MOROSINI, Giuseppe
La comprensione dell’“intelligenza” tra intelligenza artificiale, filosofia e teologia
2023-01-01 Amendola, Giovanni
Riflessioni interdisciplinari sul controllo degli automi
2023-01-01 Amendola, Giovanni
Special Issue on Logic-Based Artificial Intelligence
2023-01-01 Amendola, Giovanni
Theological dimensions of the quantuminformational panpsychist approach to nature: a comparison between Federico Faggin’s vision and Christian theology
2023-01-01 Amendola, Giovanni
Characterizing Nexus of Similarity between Entities
2023-01-01 Agresta, G.; Amendola, G.; Cofone, P.; Manna, M.; Ricioppo, A.
A logic-based framework for characterizing nexus of similarity within knowledge bases
2024-01-01 Amendola, G.; Manna, M.; Ricioppo, A.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile