SFERA Archivio dei prodotti della Ricerca dell'Università di Ferrara

Sfoglia per Serie  CEUR WORKSHOP PROCEEDINGS

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 18 a 37 di 60
Titolo Data di pubblicazione Autore(i) File
Implementation of a Tableau-Based Satisfiability Checker for HS3 2017 Muñoz Velasco, Emilio; Stan, Ionel Eduard; Sciavicco, Guido file con accesso da definire
Improving the efficiency of euclidean TSP solving in constraint programming by predicting effective nocrossing constraints 2020 Bellodi, E.; Bertagnon, A.; Gavanelli, M.; Zese, R.
The Isolation System Design in Hydraulic Networks 2015 Gavanelli, Marco; Nonato, Maddalena; Peano, Andrea
Iterated fixpoint well-founded semantics for hybrid knowledge bases 2017 Alberti, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo file con accesso da definire
Knowledge Graph Completion with Probabilistic Logic Programming 2024 Gentili, E. file con accesso da definire
KRaider: A crawler for linked data 2019 Cota, Giuseppe; Riguzzi, Fabrizio; Zese, Riccardo; Lamma, Evelina
Late Breaking Papers of the 22nd International Conference on Inductive Logic Programming (ILP) 2013 Riguzzi, Fabrizio; F., Železný file con accesso da definire
Learning Probabilistic Ontologies with Distributed Parameter Learning 2015 Cota, Giuseppe; Zese, Riccardo; Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio
Learning the parameters of deep probabilistic logic programs 2018 NGUEMBANG FADJA, Arnaud; Riguzzi, Fabrizio; Lamma, Evelina
Link Prediction in Knowledge Graphs with Probabilistic Logic Programming: Work in Progress 2023 Azzolini, D.; Gentili, E.; Riguzzi, F. file con accesso da definire
Logic programming techniques for reasoning with probabilistic ontologies 2015 Zese, Riccardo; Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio
Machine learning for recognition of individuals from motion capture time series: performance and explainability 2023 Galdi, E. M.; Alberti, M.; D'Ausilio, A.; Tomassini, A. file con accesso da definire
A Model Checker for Interval Temporal Logics over Finite Structures 2017 Della Monica, Dario; Cominato, Enrico; Montanari, Angelo; Sciavicco, Guido file con accesso da definire
Modeling Bitcoin protocols with probabilistic logic programming 2018 Azzolini, Damiano; Riguzzi, Fabrizio; Lamma, Evelina; Bellodi, Elena; Zese, Riccardo
A Novel Cephalometric Tool Enhanced by AI Assistance 2023 Zese, R.; Lombardo, L.; De Maio, M.; Tamascelli, M.; Cremonini, F. file con accesso da definire
Observation strategies for event detection with incidence on runtime verification 2010 Alberti, Marco; Dell'Acqua, Pierangelo; Pereira, Lúis Moniz
On (maximal, tractable) fragments of the branching algebra? 2020 Bertagnon, Alessandro; Gavanelli, Marco; Sciavicco, Guido; Trevisani, Stefano
Parameter and Structure Learning Algorithms for Statistical Relational Learning 2012 Bellodi, Elena; Riguzzi, Fabrizio file con accesso da definire
A Post-Modern Approach to Automatic Metaphor Identification 2023 Del Fante, Dario; Manzella, Federico; Sciavicco, Guido; Stan, Eduard file con accesso da definire
Preface 2017 Zese, Riccardo; Theil Have, Christian file con accesso da definire
Mostrati risultati da 18 a 37 di 60
Legenda icone

  •  file ad accesso aperto
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile