Sfoglia per Serie
Explanations for Inconsistency-Tolerant Query Answering under Existential Rules
2022-01-01 Lukasiewicz, T.; Malizia, E.; Molinaro, C.
Explanations for Negative Query Answers under Existential Rules
2023-01-01 Ceylan, I. I.; Lukasiewicz, T.; Malizia, E.; Molinaro, C.; Vaicenavicius, A.
Exploring domain and task adaptation of LamBERTa models for article retrieval on the Italian Civil Code
2023-01-01 Simeri, A.; Tagarelli, A.
An Extension of Datalog for Modelling and Solving Complex Combinatorial Problems
2019-01-01 Ricca, Francesco
First Steps towards Reasoning on Big Data with DLV
2018-01-01 Leone, Nicola; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
A Formal Comparison between Datalog-based Languages for Stream Reasoning
2022-01-01 Leone, N.; Manna, M.; Morelli, M. C.; Perri, S.
From Node Embeddings to Triple Embeddings
2022-01-01 Fionda, Valeria; Pirro', Giuseppe
How Many Inconsistencies Are In Your Database?
2023-01-01 Parisi, F.; Grant, J.
How Modern Deductive Database Systems Can Enhance Data Integration
2018-01-01 Calimeri, F.; Perri, Simona; Terracina, G.; Zangari, J.
I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector
2017-01-01 Fuscà, D.; Calimeri, F.; Perri, S.; Zangari, J.
The INCOSE Italia conference on systems engineering (CIISE 2018)
2018-01-01 Mancin, Enrico; Garro, Alfredo; Gaudenzi, Paolo; Tirone, Lucio; Fierro, Davide; Falcone, Alberto
An infrastructure for stream reasoning with incremental grounding
2019-01-01 Ianni, G.; Pacenza, F.; Zangari, J.
The ingredients of the argumentation reasoner pyglaf: Python, circumscription, and glucose to taste
2017-01-01 Alviano, M.
Introducing ASP recipes and ASP Chef
2023-01-01 Alviano, M.; Cirimele, D.; Rodriguez Reiners, L. A.
Is your argument still skeptically accepted?
2019-01-01 Alfano, G.; Greco, S.; Parisi, F.
The Italian civil code network analysis
2021-01-01 La Cava, L.; Simeri, A.; Tagarelli, A.
Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, September 5, 2022
2022-01-01 Bruno, Pierangela; Calimeri, Francesco; Cauteruccio, Francesco; Maratea, Marco; Terracina, Giorgio; Vallati, Mauro
A knowledge-based platform for the classification of accounting documents
2019-01-01 Amelio, A.; Falcone, A.; Furfaro, A.; Garro, A.; Sacca, D.
KR&R approaches for robot manipulation tasks with articulated objects
2018-01-01 Bertolucci, R.; Capitanelli, A.; Dodaro, C.; Maratea, M.; Mastrogiovanni, F.; Vallati, M.
Large Scale DLV: Preliminary Results
2019-01-01 Leone, Nicola; Allocca, Carlo; Alviano, Mario; Calimeri, Francesco; Civili, Cristina; Costabile, Roberta; Cuteri, Bernardo; Fiorentino, Alessio; Fusca', Davide; Germano, Stefano; Laboccetta, Giovanni; Manna, Marco; Perri, Simona; Reale, Kristian; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
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