Sfoglia per Serie
Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics
2023-01-01 Cuteri, A.; Mazzotta, G.; Ricca, F.
A compiler for stratified Datalog programs: preliminary results
2017-01-01 Cuteri, Bernardo; Ricca, Francesco
Computational strategies for trust-aware abstract argumentation frameworks
2020-01-01 Fazzinga, B.; Flesca, S.; Furfaro, F.
Compute Paracoherent Answer Sets via Saturation
2018-01-01 Ricca, Francesco
Computing extensions’ probabilities over probabilistic bipolar abstract argumentation frameworks
2019-01-01 Fazzinga, B.; Flesca, S.; Furfaro, F.; Scala, F.
Computing modular paracoherent answer sets: Preliminary result
2019-01-01 Cuteri, B.; Dodaro, C.; Ricca, F.
Confortation: about a new qualitative category for analyzing biomedical texts
2009-01-01 Amardeilh, F.; Battistelli, D.; Folino, A.; Geretto, P.; Kuznik, L.; Minel, J.
Continual Learning for medical image classification
2022-01-01 Quarta, A.; Bruno, P.; Calimeri, F.
Debugging of answer set programs using paracoherent reasoning
2019-01-01 Cuteri, B.; Dodaro, C.; Ricca, F.
Declarative Mining of Business Processes via ASP
2022-01-01 Ielo, A.; Pontieri, L.; Ricca, F.
Decomposing and Pruning Primary Key Violations from Large Data Sets
2017-01-01 Manna, M.; Ricca, F.; Terracina, G.
Decomposing and pruning primary key violations from large data sets
2017-01-01 Manna, Marco; Ricca, Francesco; Terracina, Giorgio
DEGAIN as tool for Missing Data Imputation
2023-01-01 Shahbazian, R.; Trubitsyna, I.
Detecting and Explaining Exceptional Values in Categorical Data
2020-01-01 Angiulli, F.; Fassetti, F.; Palopoli, L.; Serrao, C.
Domain-agnostic Procedural Content Generation Can Be Done Declaratively
2023-01-01 Angilica, D.; Germano, S.; Ianni, G.
Dyadic Existential Rules
2022-01-01 Gottlob, G.; Manna, M.; Marte, C.
Educational games for cultural heritage
2019-01-01 Vocaturo, E.; Zumpano, E.; Caroprese, L.; Pagliuso, S. M.; Lappano, D.
Empowering ASPQ to win in QBFEval 2018
2019-01-01 Cuteri, B.; Dodaro, C.; Ricca, F.
Exotic compilers as a malware evasion technique
2019-01-01 Ianni, M.; Masciari, E.; Sacca, D.
Explaining ASP-based Operating Room Schedules
2021-01-01 Bertolucci, Riccardo; Dodaro, Carmine; Galatà, Giuseppe; Maratea, Marco; Porro, Ivan; Ricca, Francesco
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