Sfoglia per Serie CEUR WORKSHOP PROCEEDINGS
A first study of the horn fragment of the modal logic of time intervals?
file con accesso da definire2014 Bresolin, Davide; Muñoz Velasco, Emilio; Sciavicco, Guido
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.
A Brief Discussion about the Credal Semantics for Probabilistic Answer Set Programs
2023 Azzolini, D.
CLARIN-IT: An Overview on the Italian CLARIN Consortium After Six Years of Activity
2022 Fante, Del; Francesca, Frontini; Monica, Monachini; Valeria, Quochi
Comparing Emotion and Sentiment Analysis Tools on Italian anti-vaccination for COVID-19 posts
2022 Bellodi, Elena; Bertagnon, Alessandro; Gavanelli, Marco
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning
2018 Chesani, Federico; Cota, Giuseppe; Lamma, Evelina; Mello, Paola; Riguzzi, Fabrizio
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
file con accesso da definire2017 NGUEMBANG FADJA, Arnaud; Lamma, Evelina; Riguzzi, Fabrizio
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases
file con accesso da definire2017 Alberti, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo
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
A First Journey into the Complexity of Statistical Statements in Probabilistic Answer Set Programming
2024 Azzolini, Damiano; Markus, Hecher
Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches
2023 Bertagnon, A.; Gavanelli, M.
Implementation of a Tableau-Based Satisfiability Checker for HS3
file con accesso da definire2017 Muñoz Velasco, Emilio; Stan, Ionel Eduard; Sciavicco, Guido
Legenda icone
- file ad accesso aperto
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile