Sfoglia per Autore
Generating Hard Random Boolean Formulas and Disjunctive Logic Programs
2017-01-01 Amendola, Giovanni; Ricca, Francesco; Truszczynski, Miroslaw
Towards Quantified Answer Set Programming
2018-01-01 Amendola, Giovanni
Solving the Stable Roommates Problem using Incoherent Answer Set Programs
2018-01-01 Amendola, Giovanni
Creatività come amore che libera e rinnova. Spunti per ripensare teologicamente la creatività umana
2018-01-01 Amendola, Giovanni
Preliminary Results on Modeling Interdependent Scheduling Games via Answer Set Programming
2018-01-01 Amendola, Giovanni
Ripensare la morale sessuale in chiave personalistica: La proposta di Enrico Chiavacci
2018-01-01 Amendola, G.
Random models of very hard 2QBF and disjunctive programs: An overview
2018-01-01 Amendola, G.; Ricca, F.; Truszczynski, M.
Externally supported models for efficient computation of paracoherent answer sets
2018-01-01 Amendola, G.; Dodaro, C.; Faber, W.; Ricca, F.
Enhancing Existential Rules by Closed-World Variables
2018-01-01 Amendola, Giovanni; Leone, Nicola; Manna, Marco; Veltri, Pierfrancesco
A Generator of Hard 2QBF Formulas and ASP Programs
2018-01-01 Amendola, Giovanni; Ricca, Francesco; Truszczynski, Mirek
Explainable certain answers
2018-01-01 Amendola, G.; Libkin, L.
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward
2018-01-01 Amendola, Giovanni; Leone, Nicola; Manna, Marco
Evaluation of Disjunctive Programs in WASP
2019-01-01 Alviano, M.; Amendola, G.; Dodaro, C.; Leone, N.; Maratea, M.; Ricca, F.
Better Paracoherent Answer Sets with Less Resources
2019-01-01 Amendola, G.; Dodaro, C.; Ricca, F.
Paracoherent Answer Set Semantics meets Argumentation Frameworks
2019-01-01 Amendola, G.; Ricca, F.
Algorithm Selection for Paracoherent Answer Set Computation
2019-01-01 Amendola, G.; Dodaro, C.; Faber, W.; Pulina, Luca; Ricca, F.
Extending Bell Numbers for Parsimonious Chase Estimation
2019-01-01 Amendola, G.; Marte, C.
Angoscia esistenziale, attese di salvezza e nostalgia di Dio nella cinematografia di Ingmar Bergman
2019-01-01 Amendola, G.
Beyond NP: Quantifying over Answer Sets
2019-01-01 Amendola, G.; Ricca, F.; Truszczynski, M.
Abstract Solvers for Computing Cautious Consequences of ASP programs
2019-01-01 Amendola, G.; Dodaro, C.; Maratea, M.
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