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 1 a 20 di 59
Titolo Data di pubblicazione Autore(i) File
A first study of the horn fragment of the modal logic of time intervals? 2014 Bresolin, Davide; Muñoz Velasco, Emilio; Sciavicco, Guido file con accesso da definire
Abduction in (Probabilistic) Answer Set Programming 2022 Azzolini, D.; Bellodi, E.; Riguzzi, F.
An Abductive Framework for Datalog± Ontologies 2015 Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe
Abductive logic programming for Datalog+/- ontologies 2015 Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe
An Analysis of Gibbs Sampling for Probabilistic Logic Programs 2020 Azzolini, D.; Riguzzi, F.; Lamma, E.
An ASP Approach for the Valves Positioning Optimization in a Water Distribution System 2012 Gavanelli, Marco; Nonato, Maddalena; Peano, Andrea; Alvisi, Stefano; Franchini, Marco
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex 2023 Bertagnon, A.; Gavanelli, M.; Zanotti, F. file con accesso da definire
A Brief Discussion about the Credal Semantics for Probabilistic Answer Set Programs 2023 Azzolini, D. file con accesso da definire
CLARIN-IT: An Overview on the Italian CLARIN Consortium After Six Years of Activity 2022 Del, Fante; Francesca, Frontini; Monica, Monachini; Valeria, Quochi file con accesso da definire
Comparing Emotion and Sentiment Analysis Tools on Italian anti-vaccination for COVID-19 posts 2022 Bellodi, Elena; Bertagnon, Alessandro; Gavanelli, Marco file con accesso da definire
Deductive and Inductive Probabilistic Programming 2016 Riguzzi, Fabrizio
Deep learning for probabilistic logic programming 2018 Fadja, Arnaud Nguembang; Riguzzi, Fabrizio; Lamma, Evelina
Deep probabilistic logic programming 2017 NGUEMBANG FADJA, Arnaud; Lamma, Evelina; Riguzzi, Fabrizio file con accesso da definire
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases 2017 Alberti, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo file con accesso da definire
The Distribution Semantics is Well-Defined for All Normal Programs 2015 Riguzzi, Fabrizio
Evaluating compliance: from LTL to abductive logic programming 2015 Montali, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola
Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches 2023 Bertagnon, A.; Gavanelli, M. file con accesso da definire
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
Mostrati risultati da 1 a 20 di 59
Legenda icone

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