Fabrizio Riguzzi

218 papers A* 3A 7B 17C 1Misc 4Journal 97Unranked 80
YearRankTypeTitle / Venue / Authors
2025 A* conf
A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming.
KR
Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi
2025 J jnl
A semantics for probabilistic hybrid knowledge bases with function symbols.
Artif. Intell.
Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
2025 A conf
An Algebraic View of MAP Inference in Probabilistic Answer Set Programs.
ECAI
Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi
2025 — conf
An Evaluation of Open Source LLMs for Neuro-Symbolic Integration.
CILC
Stefano Sambri, Atefeh Ghanbari, Fabrizio Riguzzi
2025 J jnl
Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases.
Log. Methods Comput. Sci.
Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi
2025 J jnl
Integrating Belief Domains into Probabilistic Logic Programs.
CoRR
Damiano Azzolini, Fabrizio Riguzzi, Theresa Swift
2025 J jnl
Integrating Belief Domains into Probabilistic Logic Programs.
Theory Pract. Log. Program.
Damiano Azzolini, Fabrizio Riguzzi, Theresa Swift
2025 A* conf
Most Probable Explanation in Probabilistic Answer Set Programming.
IJCAI
Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi
2025 J jnl
Neurosymbolic AI for network intrusion detection systems: A survey.
J. Inf. Secur. Appl.
Alice Bizzarri, Chung-En Johnny Yu, Brian Jalaian, Fabrizio Riguzzi, Nathaniel D. Bastian
2025 J jnl
Predicate Renaming via Large Language Models.
CoRR
Elisabetta Gentili, Tony Ribeiro, Fabrizio Riguzzi, Katsumi Inoue
2025 J jnl
Probabilistic Answer Set Programming with Discrete and Continuous Random Variables.
Theory Pract. Log. Program.
Damiano Azzolini, Fabrizio Riguzzi
2025 J jnl
Solving Decision Theory Problems with Probabilistic Answer Set Programming.
Theory Pract. Log. Program.
Damiano Azzolini, Elena Bellodi, Rafael Kiesel, Fabrizio Riguzzi
2024 B conf
A Neuro-Symbolic Artificial Intelligence Network Intrusion Detection System.
ICCCN
Alice Bizzarri, Brian Jalaian, Fabrizio Riguzzi, Nathaniel D. Bastian
2024 J jnl
A Synergistic Approach In Network Intrusion Detection By Neurosymbolic AI.
CoRR
Alice Bizzarri, Chung-En Yu, Brian Jalaian, Fabrizio Riguzzi, Nathaniel D. Bastian
2024 — conf
Benchmarking in Neuro-Symbolic AI.
IJCLR
Robin Manhaeve, Francesco Giannini, Mehdi Ali, Damiano Azzolini, Alice Bizzarri, Andrea Borghesi, Samuele Bortolotti, Luc De Raedt, Devendra Singh Dhami, Michelangelo Diligenti, Sebastijan Dumancic, Boi Faltings, Elisabetta Gentili, Alfonso Gerevini, Marco Gori, Tias Guns, Martin Homola, Kristian Kersting, Jens Lehmann, Michele Lombardi, Luca Salvatore Lorello, Emanuele Marconato, Stefano Melacci, Andrea Passerini, Debjit Paul, Fabrizio Riguzzi, Stefano Teso, Neil Yorke-Smith, Marco Lippi
2024 J jnl
Fast Inference for Probabilistic Answer Set Programs Via the Residual Program.
Theory Pract. Log. Program.
Damiano Azzolini, Fabrizio Riguzzi
2024 J jnl
Fast Inference for Probabilistic Answer Set Programs via the Residual Program.
CoRR
Damiano Azzolini, Fabrizio Riguzzi
2024 A conf
Inference in Probabilistic Answer Set Programs with Imprecise Probabilities via Optimization.
UAI
Damiano Azzolini, Fabrizio Riguzzi
2024 J jnl
Integration between constrained optimization and deep networks: a survey.
Frontiers Artif. Intell.
Alice Bizzarri, Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi
2024 — conf
Logic Programming for Knowledge Graph Completion.
CILC
Damiano Azzolini, Matteo Bonato, Elisabetta Gentili, Fabrizio Riguzzi
2024 — conf
Neuro-Symbolic Integration for Open Set Recognition in Network Intrusion Detection.
AI*IA
Alice Bizzarri, Chung-En Yu, Brian Jalaian, Fabrizio Riguzzi, Nathaniel D. Bastian
2024 J jnl
Probabilistic Answer Set Programming with Discrete and Continuous Random Variables.
CoRR
Damiano Azzolini, Fabrizio Riguzzi
2024 J jnl
Quantum Algorithms for Weighted Constrained Sampling and Weighted Model Counting.
CoRR
Fabrizio Riguzzi
2024 J jnl
Quantum algorithms for weighted constrained sampling and weighted model counting.
Quantum Mach. Intell.
Fabrizio Riguzzi
2024 J jnl
Solving Decision Theory Problems with Probabilistic Answer Set Programming.
CoRR
Damiano Azzolini, Elena Bellodi, Rafael Kiesel, Fabrizio Riguzzi
2024 — conf
Summary of Inference in Probabilistic Answer Set Programs with Imprecise Probabilities via Optimization (Short paper).
DP@AI*IA
Damiano Azzolini, Fabrizio Riguzzi
2024 J jnl
Symbolic Parameter Learning in Probabilistic Answer Set Programming.
CoRR
Damiano Azzolini, Elisabetta Gentili, Fabrizio Riguzzi
2024 J jnl
Symbolic Parameter Learning in Probabilistic Answer Set Programming.
Theory Pract. Log. Program.
Damiano Azzolini, Elisabetta Gentili, Fabrizio Riguzzi
2023 J jnl
Automatic Differentiation in Prolog.
CoRR
Tom Schrijvers, Birthe van den Berg, Fabrizio Riguzzi
2023 J jnl
Automatic Differentiation in Prolog.
Theory Pract. Log. Program.
Tom Schrijvers, Birthe van den Berg, Fabrizio Riguzzi
2023 J jnl
Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases.
CoRR
Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi
2023 — conf
Inference in Probabilistic Answer Set Programming Under the Credal Semantics.
AI*IA
Damiano Azzolini, Fabrizio Riguzzi
2023 J jnl
Lifted inference for statistical statements in probabilistic answer set programming.
Int. J. Approx. Reason.
Damiano Azzolini, Fabrizio Riguzzi
2023 — conf
Link Prediction in Knowledge Graphs with Probabilistic Logic Programming: Work in Progress.
ICLP Workshops
Damiano Azzolini, Elisabetta Gentili, Fabrizio Riguzzi
2023 B conf
Regularization in Probabilistic Inductive Logic Programming.
ILP
Elisabetta Gentili, Alice Bizzarri, Damiano Azzolini, Riccardo Zese, Fabrizio Riguzzi
2022 — conf
Abduction in (Probabilistic) Answer Set Programming.
CILC
Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi
2022 J jnl
Abduction with probabilistic logic programming under the distribution semantics.
Int. J. Approx. Reason.
Damiano Azzolini, Elena Bellodi, Stefano Ferilli, Fabrizio Riguzzi, Riccardo Zese
2022 — conf
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols.
ICLP Technical Communications / Doctoral Consortium
Marco Alberti, Riccardo Zese, Fabrizio Riguzzi, Evelina Lamma
2022 — conf
Approximate Inference in Probabilistic Answer Set Programming for Statistical Probabilities.
AI*IA
Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi
2022 B conf
Learning the Parameters of Probabilistic Answer Set Programs.
ILP
Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi
2022 — conf
MAP Inference in Probabilistic Answer Set Programs.
AI*IA
Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi
2022 J jnl
Probabilistic Logic Models for the Lightning Network.
Cryptogr.
Damiano Azzolini, Fabrizio Riguzzi
2022 — conf
Semantics for Hybrid Probabilistic Logic Programs with Function Symbols: Technical Summary.
ICLP Workshops
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
2022 B conf
Statistical Statements in Probabilistic Logic Programming.
LPNMR
Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi
2022 J jnl
Symbolic DNN-Tuner.
Mach. Learn.
Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi
2022 J jnl
Symbolic DNN-Tuner: A Python and ProbLog-based system for optimizing Deep Neural Networks hyperparameters.
SoftwareX
Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi
2021 — conf
A Probabilistic Logic Model of Lightning Network.
BIS (Workshops)
Damiano Azzolini, Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma
2021 J jnl
A semantics for Hybrid Probabilistic Logic programs with function symbols.
Artif. Intell.
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
2021 J jnl
Identification of natural selection in genomic data with deep convolutional neural network.
BioData Min.
Arnaud Nguembang Fadja, Fabrizio Riguzzi, Giorgio Bertorelle, Emiliano Trucchi
2021 J jnl
Learning hierarchical probabilistic logic programs.
Mach. Learn.
Arnaud Nguembang Fadja, Fabrizio Riguzzi, Evelina Lamma
2021 J jnl
Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints.
CoRR
Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi
2021 J jnl
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints.
Theory Pract. Log. Program.
Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi
2021 J jnl
Optimizing Probabilities in Probabilistic Logic Programs.
CoRR
Damiano Azzolini, Fabrizio Riguzzi
2021 J jnl
Optimizing Probabilities in Probabilistic Logic Programs.
Theory Pract. Log. Program.
Damiano Azzolini, Fabrizio Riguzzi
2021 J jnl
Probabilistic inductive constraint logic.
Mach. Learn.
Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Marco Alberti, Evelina Lamma
2021 — conf
Reducing Probabilistic Logic Programs.
RuleML+RR (Supplement)
Damiano Azzolini, Fabrizio Riguzzi
2021 — conf
Syntactic Requirements for Well-defined Hybrid Probabilistic Logic Programs.
ICLP Technical Communications
Damiano Azzolini, Fabrizio Riguzzi
2020 J jnl
A Framework for Reasoning on Probabilistic Description Logics.
CoRR
Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi
2020 — ch.
A Framework for Reasoning on Probabilistic Description Logics.
Applications and Practices in Ontology Design, Extraction, and Reasoning
Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi
2020 — conf
An Analysis of Gibbs Sampling for Probabilistic Logic Programs.
ICLP Workshops
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
2020 — conf
Automatic Setting of DNN Hyper-Parameters by Mixing Bayesian Optimization and Tuning Rules.
LOD (1)
Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi
2020 J jnl
Automatic Setting of DNN Hyper-Parameters by Mixing Bayesian Optimization and Tuning Rules.
CoRR
Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi
2020 J jnl
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling.
Eng. Appl. Artif. Intell.
Federico Chesani, Giuseppe Cota, Marco Gavanelli, Evelina Lamma, Paola Mello, Fabrizio Riguzzi
2020 J jnl
Dischargeable Obligations in the
Fundam. Informaticae
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Ken Satoh, Riccardo Zese
2020 J jnl
MAP Inference for Probabilistic Logic Programming.
CoRR
Elena Bellodi, Marco Alberti, Fabrizio Riguzzi, Riccardo Zese
2020 J jnl
MAP Inference for Probabilistic Logic Programming.
Theory Pract. Log. Program.
Elena Bellodi, Marco Alberti, Fabrizio Riguzzi, Riccardo Zese
2020 — conf
Modeling Smart Contracts with Probabilistic Logic Programming.
BIS (Workshops)
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
2020 — ed.
Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020.
ICLP Technical Communications
Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca A. Lisi, Marco Maratea, Alessandra Mileo, Fabrizio Riguzzi
2020 A conf
Quantum Weighted Model Counting.
ECAI
Fabrizio Riguzzi
2019 — conf
A Comparison of MCMC Sampling for Probabilistic Logic Programming.
AI*IA
Damiano Azzolini, Fabrizio Riguzzi, Franco Masotti, Evelina Lamma
2019 — conf
Analyzing Transaction Fees with Probabilistic Logic Programming.
BIS (Workshops)
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
2019 J jnl
Editorial: Statistical Relational Artificial Intelligence.
Frontiers Robotics AI
Fabrizio Riguzzi, Kristian Kersting, Marco Lippi, Sriraam Natarajan
2019 — conf
KRaider: a Crawler for Linked Data.
CILC
Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese, Evelina Lamma
2019 J jnl
Lifted discriminative learning of probabilistic logic programs.
Mach. Learn.
Arnaud Nguembang Fadja, Fabrizio Riguzzi
2019 J jnl
Preface to special issue on Inductive Logic Programming, ILP 2017 and 2018.
Mach. Learn.
Nicolas Lachiche, Christel Vrain, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese
2019 J jnl
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach.
Theory Pract. Log. Program.
Riccardo Zese, Giuseppe Cota, Evelina Lamma, Elena Bellodi, Fabrizio Riguzzi
2019 J jnl
Quantum Weighted Model Counting.
CoRR
Fabrizio Riguzzi
2019 J jnl
Studying Transaction Fees in the Bitcoin Blockchain with Probabilistic Logic Programming.
Inf.
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
2019 J jnl
Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages.
Theory Pract. Log. Program.
Jan Wielemaker, Fabrizio Riguzzi, Robert A. Kowalski, Torbjörn Lager, Fariba Sadri, Miguel Calejo
2018 — conf
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning.
CILC
Federico Chesani, Giuseppe Cota, Evelina Lamma, Paola Mello, Fabrizio Riguzzi
2018 — conf
A Modular Inference System for Probabilistic Description Logics.
SUM
Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese, Elena Bellodi, Evelina Lamma
2018 — ch.
A survey of probabilistic logic programming.
Declarative Logic Programming
Fabrizio Riguzzi, Theresa Swift
2018 — conf
Expectation Maximization in Deep Probabilistic Logic Programming.
AI*IA
Arnaud Nguembang Fadja, Fabrizio Riguzzi, Evelina Lamma
2018 B ed.
Inductive Logic Programming - 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings
ILP
Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese
2018 — conf
Learning the Parameters of Deep Probabilistic Logic Programs.
PLP@ILP
Arnaud Nguembang Fadja, Fabrizio Riguzzi, Evelina Lamma
2018 — conf
Modeling Bitcoin Protocols with Probabilistic Logic Programming.
PLP@ILP
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma, Elena Bellodi, Riccardo Zese
2018 J jnl
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach.
CoRR
Riccardo Zese, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi
2018 — conf
Probabilistic Inference in SWI-Prolog.
PLP@ILP
Fabrizio Riguzzi, Jan Wielemaker, Riccardo Zese
2018 J jnl
Reasoning on Datalog
Fundam. Informaticae
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota
2018 J jnl
Tableau reasoning for description logics and its extension to probabilities.
Ann. Math. Artif. Intell.
Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Giuseppe Cota, Evelina Lamma
2018 — ed.
Up-and-Coming and Short Papers of the 28th International Conference on Inductive Logic Programming (ILP 2018), Ferrara, Italy, September 2-4, 2018.
ILP Up-and-Coming / Short Papers
Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese
2018 J jnl
Using SWISH to realise interactive web based tutorials for logic based languages.
CoRR
Jan Wielemaker, Fabrizio Riguzzi, Bob Kowalski, Torbjörn Lager, Fariba Sadri, Miguel Calejo
2018 — conf
Vision Inspection with Neural Networks.
RiCeRcA@AI*IA
Arnaud Nguembang Fadja, Evelina Lamma, Fabrizio Riguzzi
2017 — conf
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases.
PLP@ILP
Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
2017 J jnl
A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics.
Int. J. Approx. Reason.
Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota, Evelina Lamma
2017 J jnl
A web system for reasoning with probabilistic OWL.
Softw. Pract. Exp.
Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese, Giuseppe Cota
2017 J jnl
Causal inference in cplint.
Int. J. Approx. Reason.
Fabrizio Riguzzi, Giuseppe Cota, Elena Bellodi, Riccardo Zese
2017 — conf
Deep Probabilistic Logic Programming.
PLP@ILP
Arnaud Nguembang Fadja, Evelina Lamma, Fabrizio Riguzzi
2017 B conf
Dischargeable Obligations in Abductive Logic Programming.
RuleML+RR
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
2017 — conf
Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases.
ICTCS/CILC
Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
2017 — conf
Probabilistic Inductive Logic Programming on the Web.
RuleML+RR (Supplement)
Fabrizio Riguzzi, Riccardo Zese
2017 J jnl
cplint on SWISH: Probabilistic Logical Inference with a Web Browser.
Intelligenza Artificiale
Marco Alberti, Elena Bellodi, Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese
2016 — conf
Probabilistic Constraint Logic Theories.
PLP@ILP
Marco Alberti, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
2016 — conf
Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics.
AI*IA
Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
2016 — conf
Probabilistic Inductive Logic Programming on the Web.
EKAW (Satellite Events)
Fabrizio Riguzzi, Riccardo Zese, Giuseppe Cota
2016 — conf
Probabilistic Logic Programming for Natural Language Processing.
URANIA@AI*IA
Fabrizio Riguzzi, Evelina Lamma, Marco Alberti, Elena Bellodi, Riccardo Zese, Giuseppe Cota
2016 — conf
Probabilistic Logical Inference on the Web.
AI*IA
Marco Alberti, Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese
2016 J jnl
Probabilistic logic programming on the web.
Softw. Pract. Exp.
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese, Giuseppe Cota
2016 A conf
Scaling Structure Learning of Probabilistic Logic Programs by MapReduce.
ECAI
Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota, Evelina Lamma
2016 J jnl
Statistical relational learning for workflow mining.
Intell. Data Anal.
Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma
2016 J jnl
The distribution semantics for normal programs with function symbols.
Int. J. Approx. Reason.
Fabrizio Riguzzi
2015 — ed.
AI*IA 2015, Advances in Artificial Intelligence - XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings
AI*IA
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi
2015 — conf
Abductive Logic Programming for Normative Reasoning and Ontologies.
JSAI-isAI Workshops
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota
2015 — conf
Abductive logic programming for Datalog +/- ontologies.
CILC
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota
2015 — conf
An Abductive Framework for Datalog± Ontologies.
ICLP (Technical Communications)
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota
2015 J jnl
Bandit-based Monte-Carlo structure learning of probabilistic logic programs.
Mach. Learn.
Nicola Di Mauro, Elena Bellodi, Fabrizio Riguzzi
2015 B conf
Distributed Parameter Learning for Probabilistic Ontologies.
ILP
Giuseppe Cota, Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma
2015 J jnl
Introduzione all'Intelligenza Artificiale.
CoRR
Fabrizio Riguzzi
2015 — conf
Learning Probabilistic Ontologies with Distributed Parameter Learning.
DC@AI*IA
Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi
2015 — conf
Logic Programming Techniques for Reasoning with Probabilistic Ontologies.
JOWO@IJCAI
Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi
2015 J jnl
Probabilistic Description Logics under the distribution semantics.
Semantic Web
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
2015 — conf
Probabilistic Logic Programming in Action.
BIRS-IMLKE
Arnaud Nguembang Fadja, Fabrizio Riguzzi
2015 — ed.
Proceedings of the 2nd International Workshop on Probabilistic Logic Programming co-located with 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31st, 2015.
PLP@ICLP
Fabrizio Riguzzi, Joost Vennekens
2015 A* conf
Reasoning with Probabilistic Ontologies.
IJCAI
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
2015 J jnl
SWISH: SWI-Prolog for Sharing.
CoRR
Jan Wielemaker, Torbjörn Lager, Fabrizio Riguzzi
2015 J jnl
Structure learning of probabilistic logic programs by searching the clause space.
Theory Pract. Log. Program.
Elena Bellodi, Fabrizio Riguzzi
2015 — conf
Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques.
DC@AI*IA
Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma
2015 — conf
The Distribution Semantics is Well-Defined for All Normal Programs.
PLP@ICLP
Fabrizio Riguzzi
2014 J jnl
A History of Probabilistic Inductive Logic Programming.
Frontiers Robotics AI
Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese
2014 J jnl
Guest editors introduction: special issue on Inductive Logic Programming (ILP 2012).
Mach. Learn.
Fabrizio Riguzzi, Filip Zelezný
2014 — conf
Learning Probabilistic Description Logics.
URSW (LNCS Vol.)
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese, Giuseppe Cota
2014 J jnl
Lifted Variable Elimination for Probabilistic Logic Programming.
CoRR
Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vítor Santos Costa, Riccardo Zese
2014 J jnl
Lifted Variable Elimination for Probabilistic Logic Programming.
Theory Pract. Log. Program.
Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vítor Santos Costa, Riccardo Zese
2014 — conf
Semantics and Inference for Probabilistic Description Logics.
URSW (LNCS Vol.)
Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Fabiano Aguiari
2014 J jnl
Speeding Up Inference for Probabilistic Logic Programs.
Comput. J.
Fabrizio Riguzzi
2014 J jnl
Terminating Evaluation of Logic Programs with Finite Three-Valued Models.
ACM Trans. Comput. Log.
Fabrizio Riguzzi, Terrance Swift
2013 — conf
A Description Logics Tableau Reasoner in Prolog.
CILC
Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi
2013 — conf
BUNDLE: A Reasoner for Probabilistic Ontologies.
RR
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
2013 — conf
Computing Instantiated Explanations in OWL DL.
AI*IA
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
2013 — ch.
Constraint and Optimization Techniques for Supporting Policy Making.
Computational Intelligent Data Analysis for Sustainable Development
Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Gagnoli
2013 — conf
Constraint and Optimization techniques for supporting Policy Making.
CILC
Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
2013 J jnl
Expectation maximization over binary decision diagrams for probabilistic logic programs.
Intell. Data Anal.
Elena Bellodi, Fabrizio Riguzzi
2013 J jnl
Guest-editorial: 25 years of AI*IA.
Intelligenza Artificiale
Matteo Baldoni, Paola Mello, Fabrizio Riguzzi
2013 B ed.
Inductive Logic Programming - 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers
ILP
Fabrizio Riguzzi, Filip Zelezný
2013 J jnl
Italian Machine Learning and Data Mining research: The last years.
Intelligenza Artificiale
Nicola Di Mauro, Paolo Frasconi, Fabrizio Angiulli, Davide Bacciu, Marco de Gemmis, Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Marco Gori, Francesca A. Lisi, Pasquale Lops, Donato Malerba, Alessio Micheli, Marcello Pelillo, Francesco Ricci, Fabrizio Riguzzi, Lorenza Saitta, Giovanni Semeraro
2013 — ed.
Late Breaking Papers of the 22nd International Conference on Inductive Logic Programming, Dubrovnik, Croatia, September 17-19, 2012
ILP (Late Breaking Papers)
Fabrizio Riguzzi, Filip Zelezný
2013 — conf
Learning the Parameters of Probabilistic Description Logics.
ILP (Late Breaking Papers)
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
2013 J jnl
MCINTYRE: A Monte Carlo System for Probabilistic Logic Programming.
Fundam. Informaticae
Fabrizio Riguzzi
2013 — conf
Parameter Learning for Probabilistic Ontologies.
RR
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
2013 J jnl
Structure Learning of Probabilistic Logic Programs by Searching the Clause Space.
CoRR
Elena Bellodi, Fabrizio Riguzzi
2013 J jnl
Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics.
Theory Pract. Log. Program.
Fabrizio Riguzzi, Terrance Swift
2012 J jnl
Applying the information bottleneck to statistical relational learning.
Mach. Learn.
Fabrizio Riguzzi, Nicola Di Mauro
2012 Misc conf
Constraint and Optimization techniques for supporting Policy Making.
ISAIM
Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
2012 — conf
Epistemic and Statistical Probabilistic Ontologies.
URSW
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
2012 J jnl
Experimentation of an expectation maximization algorithm for probabilistic logic programs.
Intelligenza Artificiale
Elena Bellodi, Fabrizio Riguzzi
2012 — conf
Optimizing Inference for Probabilistic Logic Programs Exploiting Independence and Exclusiveness.
CILC
Fabrizio Riguzzi
2012 — conf
Parameter and Structure Learning Algorithms for Statistical Relational Learning.
DC@AI*IA
Elena Bellodi, Fabrizio Riguzzi
2012 — conf
Probabilistic Datalog+/- under the Distribution Semantics.
Description Logics
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma
2012 — conf
Probabilistic Ontologies in Datalog+/-.
CILC
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma
2012 — conf
Semantics and Inference for Probabilistic Ontologies.
PAI
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
2012 — conf
Un sistema di Vision Inspection basato su reti neurali.
PAI
Ludovico Buffon, Evelina Lamma, Fabrizio Riguzzi, Davide Formenti
2011 — conf
A Distribution Semantics for Probabilistic Ontologies.
URSW
Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Simone Albani
2011 — conf
An Application of Fuzzy Logic to Strategic Environmental Assessment.
AI*IA
Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Davide Sottara, Alessandro Cangini, Paolo Cagnoli
2011 — conf
EM over Binary Decision Diagrams for Probabilistic Logic Programs.
CILC
Elena Bellodi, Fabrizio Riguzzi
2011 J jnl
Learning specifications of interaction protocols and business processes and proving their properties.
Intelligenza Artificiale
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari
2011 B conf
Learning the Structure of Probabilistic Logic Programs.
ILP
Elena Bellodi, Fabrizio Riguzzi
2011 — conf
MCINTYRE: A Monte Carlo Algorithm for Probabilistic Logic Programming.
CILC
Fabrizio Riguzzi
2011 — conf
The PITA System for Logical-Probabilistic Inference.
ILP (Late Breaking Papers)
Fabrizio Riguzzi, Terrance Swift
2011 J jnl
The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty
CoRR
Fabrizio Riguzzi, Terrance Swift
2011 J jnl
The PITA system: Tabling and answer subsumption for reasoning under uncertainty.
Theory Pract. Log. Program.
Fabrizio Riguzzi, Terrance Swift
2011 J jnl
Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics
CoRR
Fabrizio Riguzzi, Terrance Swift
2010 — conf
An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation.
CILC
Fabrizio Riguzzi, Terrance Swift
2010 B conf
Approximate Inference for Logic Programs with Annotated Disjunctions.
ILP
Stefano Bragaglia, Fabrizio Riguzzi
2010 — ch.
Incremental Declarative Process Mining.
Smart Information and Knowledge Management
Massimiliano Cattafi, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari
2010 J jnl
Logic-Based Decision Support for Strategic Environmental Assessment
CoRR
Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
2010 J jnl
Logic-based decision support for strategic environmental assessment.
Theory Pract. Log. Program.
Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
2010 J jnl
Preface.
Fundam. Informaticae
Marco Gavanelli, Fabrizio Riguzzi, Alberto Pettorossi
2010 C conf
Probabilistic Declarative Process Mining.
KSEM
Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma
2010 — conf
Probabilistic Logic-Based Process Mining.
CILC
Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma
2010 J jnl
SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions.
Fundam. Informaticae
Fabrizio Riguzzi
2010 — conf
Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions.
ICLP (Technical Communications)
Fabrizio Riguzzi, Terrance Swift
2009 J jnl
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining.
Trans. Petri Nets Other Model. Concurr.
Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari
2009 J jnl
Exploiting association and correlation rules parameters for learning Bayesian networks.
Intell. Data Anal.
Sergio Storari, Fabrizio Riguzzi, Evelina Lamma
2009 J jnl
Extended semantics and inference for the Independent Choice Logic.
Log. J. IGPL
Fabrizio Riguzzi
2008 J jnl
ALLPAD: approximate learning of logic programs with annotated disjunctions.
Mach. Learn.
Fabrizio Riguzzi
2008 — conf
Checking Compliance of Execution Traces to Business Rules.
Business Process Management Workshops
Federico Chesani, Paola Mello, Marco Montali, Fabrizio Riguzzi, Maurizio Sebastianis, Sergio Storari
2008 — conf
Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties.
Il Milione
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari
2008 B conf
Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics.
ICLP
Fabrizio Riguzzi
2008 — conf
The SLGAD Procedure for Inference on Logic Programs with Annotated Disjunctions.
RCRA
Fabrizio Riguzzi
2007 — conf
A Top Down Interpreter for LPAD and CP-Logic.
AI*IA
Fabrizio Riguzzi
2007 B conf
Applying Inductive Logic Programming to Process Mining.
ILP
Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Sergio Storari
2007 A conf
Inducing Declarative Logic-Based Models from Labeled Traces.
BPM
Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari
2006 B conf
ALLPAD: Approximate Learning of Logic Programs with Annotated Disjunctions.
ILP
Fabrizio Riguzzi
2006 J jnl
Artificial Intelligence Techniques for Monitoring Dangerous Infections.
IEEE Trans. Inf. Technol. Biomed.
Evelina Lamma, Paola Mello, Anna Nanetti, Fabrizio Riguzzi, Sergio Storari, Gianfranco Valastro
2005 B conf
Bayesian Networks Learning for Gene Expression Datasets.
IDA
Giacomo Gamberoni, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Stefano Volinia
2004 J jnl
A System for Measuring Function Points from an ER-DFD Specification.
Comput. J.
Evelina Lamma, Paola Mello, Fabrizio Riguzzi
2004 A conf
Exploiting Association and Correlation Rules - Parameters for Improving the K2 Algorithm.
ECAI
Evelina Lamma, Fabrizio Riguzzi, Sergio Storari
2004 B conf
Learning Logic Programs with Annotated Disjunctions.
ILP
Fabrizio Riguzzi
2003 J jnl
Belief Revision via Lamarckian Evolution.
New Gener. Comput.
Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira
2003 J jnl
Discovering Validation Rules from Microbiological Data.
New Gener. Comput.
Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti
2003 — conf
Improving the SLA Algorithm Using Association Rules.
AI*IA
Evelina Lamma, Fabrizio Riguzzi, Andrea Stambazzi, Sergio Storari
2002 B conf
An Intelligent Medical System for Mocrobiological Data Validation and Nosocomial Infection Surveillance.
CBMS
Evelina Lamma, G. Modestino, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti
2002 Misc conf
Belief Revision via Lamarckian Evolution.
IC-AI
Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira
2001 — conf
An Expert System for Microbiological Data Validation and Surveillance.
ISMDA
Evelina Lamma, Paola Mello, Anna Nanetti, G. Poli, Fabrizio Riguzzi, Sergio Storari
2001 J jnl
An application of machine learning and statistics to defect detection.
Intell. Data Anal.
Rita Cucchiara, Paola Mello, Massimo Piccardi, Fabrizio Riguzzi
2001 — conf
Belief Revision by Lamarckian Evolution.
EvoWorkshops
Evelina Lamma, Luís Moniz Pereira, Fabrizio Riguzzi
2001 — conf
Rule-based Programming for Building Expert Systems: a Comparison in the Microbiological Data Validation and Surveillance Domain.
RULE@PLI
Evelina Lamma, L. Maestrami, Paola Mello, Fabrizio Riguzzi, Sergio Storari
2000 — conf
A System for Monitoring Nosocomial Infections.
ISMDA
Evelina Lamma, M. Manservigi, Paola Mello, Sergio Storari, Fabrizio Riguzzi
2000 J jnl
Abductive Concept Learning.
New Gener. Comput.
Antonis C. Kakas, Fabrizio Riguzzi
2000 J jnl
Strategies in Combined Learning via Logic Programs.
Mach. Learn.
Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira
1999 Misc conf
Adopting an Object-Oriented Data Model in Inductive Logic Programming.
FLAIRS
Michela Milano, Andrea Omicini, Fabrizio Riguzzi
1999 J jnl
Integrating Induction and Abduction in Logic Programming.
Inf. Sci.
Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi
1998 A conf
Integrating Abduction and Induction.
ECAI
Fabrizio Riguzzi
1998 Misc conf
Learning Multiple Predicates.
AIMSA
Antonis C. Kakas, Evelina Lamma, Fabrizio Riguzzi
1997 — conf
A System for Abductive Learning of Logic Programs.
LPKR
Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi
1997 — conf
An Algorithm for Learning Abductive Rules.
APPIA-GULP-PRODE
Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi
1997 — conf
Introducing Abduction into (Extensional) Inductive Logic Programming Systems.
AI*IA
Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi
1997 B conf
Learning with Abduction.
ILP
Antonis C. Kakas, Fabrizio Riguzzi