default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFabrizio Riguzzi
Person information
- affiliation: University of Ferrara, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j63]Alice Bizzarri, Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi:
Integration between constrained optimization and deep networks: a survey. Frontiers Artif. Intell. 7 (2024)- [c102]Damiano Azzolini, Matteo Bonato, Elisabetta Gentili, Fabrizio Riguzzi:
Logic Programming for Knowledge Graph Completion. CILC 2024 - [c101]Alice Bizzarri, Brian Jalaian, Fabrizio Riguzzi, Nathaniel D. Bastian:
A Neuro-Symbolic Artificial Intelligence Network Intrusion Detection System. ICCCN 2024: 1-9 - [i23]Alice Bizzarri, Chung-En Yu, Brian Jalaian, Fabrizio Riguzzi, Nathaniel D. Bastian:
A Synergistic Approach In Network Intrusion Detection By Neurosymbolic AI. CoRR abs/2406.00938 (2024) - [i22]Fabrizio Riguzzi:
Quantum Algorithms for Weighted Constrained Sampling and Weighted Model Counting. CoRR abs/2407.12816 (2024) - [i21]Damiano Azzolini, Fabrizio Riguzzi:
Fast Inference for Probabilistic Answer Set Programs via the Residual Program. CoRR abs/2408.07524 (2024) - [i20]Damiano Azzolini, Elisabetta Gentili, Fabrizio Riguzzi:
Symbolic Parameter Learning in Probabilistic Answer Set Programming. CoRR abs/2408.08732 (2024) - [i19]Damiano Azzolini, Elena Bellodi, Rafael Kiesel, Fabrizio Riguzzi:
Solving Decision Theory Problems with Probabilistic Answer Set Programming. CoRR abs/2408.11371 (2024) - [i18]Damiano Azzolini, Fabrizio Riguzzi:
Probabilistic Answer Set Programming with Discrete and Continuous Random Variables. CoRR abs/2409.20274 (2024) - 2023
- [j62]Damiano Azzolini
, Fabrizio Riguzzi:
Lifted inference for statistical statements in probabilistic answer set programming. Int. J. Approx. Reason. 163: 109040 (2023) - [j61]Tom Schrijvers, Birthe van den Berg, Fabrizio Riguzzi:
Automatic Differentiation in Prolog. Theory Pract. Log. Program. 23(4): 900-917 (2023) - [c100]Damiano Azzolini, Fabrizio Riguzzi:
Inference in Probabilistic Answer Set Programming Under the Credal Semantics. AI*IA 2023: 367-380 - [c99]Damiano Azzolini, Elisabetta Gentili, Fabrizio Riguzzi:
Link Prediction in Knowledge Graphs with Probabilistic Logic Programming: Work in Progress. ICLP Workshops 2023 - [c98]Elisabetta Gentili, Alice Bizzarri, Damiano Azzolini, Riccardo Zese, Fabrizio Riguzzi:
Regularization in Probabilistic Inductive Logic Programming. ILP 2023: 16-29 - [i17]Tom Schrijvers, Birthe van den Berg, Fabrizio Riguzzi:
Automatic Differentiation in Prolog. CoRR abs/2305.07878 (2023) - [i16]Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi:
Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases. CoRR abs/2306.09138 (2023) - 2022
- [j60]Damiano Azzolini, Fabrizio Riguzzi:
Probabilistic Logic Models for the Lightning Network. Cryptogr. 6(2): 29 (2022) - [j59]Damiano Azzolini, Elena Bellodi, Stefano Ferilli, Fabrizio Riguzzi, Riccardo Zese:
Abduction with probabilistic logic programming under the distribution semantics. Int. J. Approx. Reason. 142: 41-63 (2022) - [j58]Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi:
Symbolic DNN-Tuner. Mach. Learn. 111(2): 625-650 (2022) - [j57]Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi:
Symbolic DNN-Tuner: A Python and ProbLog-based system for optimizing Deep Neural Networks hyperparameters. SoftwareX 17: 100957 (2022) - [c97]Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi:
Approximate Inference in Probabilistic Answer Set Programming for Statistical Probabilities. AI*IA 2022: 33-46 - [c96]Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi:
MAP Inference in Probabilistic Answer Set Programs. AI*IA 2022: 413-426 - [c95]Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi:
Abduction in (Probabilistic) Answer Set Programming. CILC 2022: 90-103 - [c94]Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma:
Semantics for Hybrid Probabilistic Logic Programs with Function Symbols: Technical Summary. ICLP Workshops 2022 - [c93]Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi:
Learning the Parameters of Probabilistic Answer Set Programs. ILP 2022: 1-14 - [c92]Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi:
Statistical Statements in Probabilistic Logic Programming. LPNMR 2022: 43-55 - [c91]Marco Alberti, Riccardo Zese, Fabrizio Riguzzi, Evelina Lamma:
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols. ICLP Technical Communications / Doctoral Consortium 2022: 65-78 - 2021
- [j56]Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma:
A semantics for Hybrid Probabilistic Logic programs with function symbols. Artif. Intell. 294: 103452 (2021) - [j55]Arnaud Nguembang Fadja, Fabrizio Riguzzi, Giorgio Bertorelle, Emiliano Trucchi:
Identification of natural selection in genomic data with deep convolutional neural network. BioData Min. 14(1) (2021) - [j54]Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Marco Alberti, Evelina Lamma:
Probabilistic inductive constraint logic. Mach. Learn. 110(4): 723-754 (2021) - [j53]Arnaud Nguembang Fadja, Fabrizio Riguzzi, Evelina Lamma:
Learning hierarchical probabilistic logic programs. Mach. Learn. 110(7): 1637-1693 (2021) - [j52]Damiano Azzolini, Fabrizio Riguzzi:
Optimizing Probabilities in Probabilistic Logic Programs. Theory Pract. Log. Program. 21(5): 543-556 (2021) - [j51]Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi:
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints. Theory Pract. Log. Program. 21(5): 557-574 (2021) - [c90]Damiano Azzolini, Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma:
A Probabilistic Logic Model of Lightning Network. BIS (Workshops) 2021: 321-333 - [c89]Damiano Azzolini, Fabrizio Riguzzi:
Reducing Probabilistic Logic Programs. RuleML+RR (Supplement) 2021 - [c88]Damiano Azzolini, Fabrizio Riguzzi:
Syntactic Requirements for Well-defined Hybrid Probabilistic Logic Programs. ICLP Technical Communications 2021: 14-26 - [i15]Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi:
Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints. CoRR abs/2108.03033 (2021) - [i14]Damiano Azzolini, Fabrizio Riguzzi:
Optimizing Probabilities in Probabilistic Logic Programs. CoRR abs/2108.03095 (2021) - 2020
- [j50]Federico Chesani, Giuseppe Cota, Marco Gavanelli, Evelina Lamma, Paola Mello, Fabrizio Riguzzi:
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling. Eng. Appl. Artif. Intell. 95: 103861 (2020) - [j49]Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Ken Satoh, Riccardo Zese:
Dischargeable Obligations in the 𝒮CIFF Framework. Fundam. Informaticae 176(3-4): 321-348 (2020) - [j48]Elena Bellodi, Marco Alberti, Fabrizio Riguzzi, Riccardo Zese:
MAP Inference for Probabilistic Logic Programming. Theory Pract. Log. Program. 20(5): 641-655 (2020) - [c87]Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma:
Modeling Smart Contracts with Probabilistic Logic Programming. BIS (Workshops) 2020: 86-98 - [c86]Fabrizio Riguzzi:
Quantum Weighted Model Counting. ECAI 2020: 2640-2647 - [c85]Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma:
An Analysis of Gibbs Sampling for Probabilistic Logic Programs. ICLP Workshops 2020 - [c84]Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi:
Automatic Setting of DNN Hyper-Parameters by Mixing Bayesian Optimization and Tuning Rules. LOD (1) 2020: 477-488 - [p3]Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi:
A Framework for Reasoning on Probabilistic Description Logics. Applications and Practices in Ontology Design, Extraction, and Reasoning 2020: 127-144 - [e7]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:
Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020. EPTCS 325, 2020 [contents] - [i13]Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi:
Automatic Setting of DNN Hyper-Parameters by Mixing Bayesian Optimization and Tuning Rules. CoRR abs/2006.02105 (2020) - [i12]Elena Bellodi, Marco Alberti, Fabrizio Riguzzi, Riccardo Zese:
MAP Inference for Probabilistic Logic Programming. CoRR abs/2008.01394 (2020) - [i11]Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi:
A Framework for Reasoning on Probabilistic Description Logics. CoRR abs/2010.01087 (2020)
2010 – 2019
- 2019
- [j47]Fabrizio Riguzzi, Kristian Kersting, Marco Lippi, Sriraam Natarajan:
Editorial: Statistical Relational Artificial Intelligence. Frontiers Robotics AI 6: 68 (2019) - [j46]Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma:
Studying Transaction Fees in the Bitcoin Blockchain with Probabilistic Logic Programming. Inf. 10(11): 335 (2019) - [j45]Nicolas Lachiche, Christel Vrain, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese:
Preface to special issue on Inductive Logic Programming, ILP 2017 and 2018. Mach. Learn. 108(7): 1057-1059 (2019) - [j44]Arnaud Nguembang Fadja, Fabrizio Riguzzi:
Lifted discriminative learning of probabilistic logic programs. Mach. Learn. 108(7): 1111-1135 (2019) - [j43]Jan Wielemaker, Fabrizio Riguzzi, Robert A. Kowalski, Torbjörn Lager, Fariba Sadri, Miguel Calejo:
Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages. Theory Pract. Log. Program. 19(2): 229-261 (2019) - [j42]Riccardo Zese, Giuseppe Cota, Evelina Lamma, Elena Bellodi, Fabrizio Riguzzi:
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach. Theory Pract. Log. Program. 19(3): 449-476 (2019) - [c83]Damiano Azzolini, Fabrizio Riguzzi, Franco Masotti, Evelina Lamma:
A Comparison of MCMC Sampling for Probabilistic Logic Programming. AI*IA 2019: 18-29 - [c82]Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma:
Analyzing Transaction Fees with Probabilistic Logic Programming. BIS (Workshops) 2019: 243-254 - [c81]Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese, Evelina Lamma:
KRaider: a Crawler for Linked Data. CILC 2019: 202-216 - [i10]Fabrizio Riguzzi:
Quantum Weighted Model Counting. CoRR abs/1910.13530 (2019) - 2018
- [j41]Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Giuseppe Cota, Evelina Lamma:
Tableau reasoning for description logics and its extension to probabilities. Ann. Math. Artif. Intell. 82(1-3): 101-130 (2018) - [j40]Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota:
Reasoning on Datalog± Ontologies with Abductive Logic Programming. Fundam. Informaticae 159(1-2): 65-93 (2018) - [c80]Arnaud Nguembang Fadja, Evelina Lamma, Fabrizio Riguzzi:
Vision Inspection with Neural Networks. RiCeRcA@AI*IA 2018 - [c79]Arnaud Nguembang Fadja, Fabrizio Riguzzi, Evelina Lamma:
Expectation Maximization in Deep Probabilistic Logic Programming. AI*IA 2018: 293-306 - [c78]Federico Chesani, Giuseppe Cota, Evelina Lamma, Paola Mello, Fabrizio Riguzzi:
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning. CILC 2018: 117-131 - [c77]Arnaud Nguembang Fadja, Fabrizio Riguzzi, Evelina Lamma:
Learning the Parameters of Deep Probabilistic Logic Programs. PLP@ILP 2018: 9-14 - [c76]Fabrizio Riguzzi, Jan Wielemaker, Riccardo Zese:
Probabilistic Inference in SWI-Prolog. PLP@ILP 2018: 15-27 - [c75]Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma, Elena Bellodi, Riccardo Zese:
Modeling Bitcoin Protocols with Probabilistic Logic Programming. PLP@ILP 2018: 49-61 - [c74]Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese, Elena Bellodi, Evelina Lamma:
A Modular Inference System for Probabilistic Description Logics. SUM 2018: 78-92 - [p2]Fabrizio Riguzzi, Theresa Swift:
A survey of probabilistic logic programming. Declarative Logic Programming 2018: 185-228 - [e6]Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese:
Up-and-Coming and Short Papers of the 28th International Conference on Inductive Logic Programming (ILP 2018), Ferrara, Italy, September 2-4, 2018. CEUR Workshop Proceedings 2206, CEUR-WS.org 2018 [contents] - [e5]Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese:
Inductive Logic Programming - 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings. Lecture Notes in Computer Science 11105, Springer 2018, ISBN 978-3-319-99959-3 [contents] - [i9]Jan Wielemaker, Fabrizio Riguzzi, Bob Kowalski, Torbjörn Lager, Fariba Sadri, Miguel Calejo:
Using SWISH to realise interactive web based tutorials for logic based languages. CoRR abs/1808.08042 (2018) - [i8]Riccardo Zese, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi:
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach. CoRR abs/1809.06180 (2018) - 2017
- [j39]Marco Alberti, Elena Bellodi, Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese:
cplint on SWISH: Probabilistic Logical Inference with a Web Browser. Intelligenza Artificiale 11(1): 47-64 (2017) - [j38]Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota, Evelina Lamma:
A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics. Int. J. Approx. Reason. 80: 313-333 (2017) - [j37]Fabrizio Riguzzi, Giuseppe Cota, Elena Bellodi, Riccardo Zese:
Causal inference in cplint. Int. J. Approx. Reason. 91: 216-232 (2017) - [j36]Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese, Giuseppe Cota:
A web system for reasoning with probabilistic OWL. Softw. Pract. Exp. 47(1): 125-142 (2017) - [c73]Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese:
Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases. ICTCS/CILC 2017: 248-261 - [c72]Arnaud Nguembang Fadja, Evelina Lamma, Fabrizio Riguzzi:
Deep Probabilistic Logic Programming. PLP@ILP 2017: 3-14 - [c71]Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese:
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases. PLP@ILP 2017: 40-50 - [c70]Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese:
Dischargeable Obligations in Abductive Logic Programming. RuleML+RR 2017: 7-21 - [c69]Fabrizio Riguzzi, Riccardo Zese:
Probabilistic Inductive Logic Programming on the Web. RuleML+RR (Supplement) 2017 - 2016
- [j35]Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma:
Statistical relational learning for workflow mining. Intell. Data Anal. 20(3): 515-541 (2016) - [j34]Fabrizio Riguzzi:
The distribution semantics for normal programs with function symbols. Int. J. Approx. Reason. 77: 1-19 (2016) - [j33]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese, Giuseppe Cota:
Probabilistic logic programming on the web. Softw. Pract. Exp. 46(10): 1381-1396 (2016) - [c68]Fabrizio Riguzzi, Evelina Lamma, Marco Alberti, Elena Bellodi, Riccardo Zese, Giuseppe Cota:
Probabilistic Logic Programming for Natural Language Processing. URANIA@AI*IA 2016: 30-37 - [c67]Marco Alberti, Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese:
Probabilistic Logical Inference on the Web. AI*IA 2016: 351-363 - [c66]Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese:
Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics. AI*IA 2016: 364-376 - [c65]Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota, Evelina Lamma:
Scaling Structure Learning of Probabilistic Logic Programs by MapReduce. ECAI 2016: 1602-1603 - [c64]Fabrizio Riguzzi, Riccardo Zese, Giuseppe Cota:
Probabilistic Inductive Logic Programming on the Web. EKAW (Satellite Events) 2016: 172-175 - [c63]Marco Alberti, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese:
Probabilistic Constraint Logic Theories. PLP@ILP 2016: 15-28 - 2015
- [j32]Nicola Di Mauro, Elena Bellodi, Fabrizio Riguzzi:
Bandit-based Monte-Carlo structure learning of probabilistic logic programs. Mach. Learn. 100(1): 127-156 (2015) - [j31]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
Probabilistic Description Logics under the distribution semantics. Semantic Web 6(5): 477-501 (2015) - [j30]Elena Bellodi, Fabrizio Riguzzi:
Structure learning of probabilistic logic programs by searching the clause space. Theory Pract. Log. Program. 15(2): 169-212 (2015) - [c62]Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma:
Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques. DC@AI*IA 2015: 1-6 - [c61]Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi:
Learning Probabilistic Ontologies with Distributed Parameter Learning. DC@AI*IA 2015: 7-12 - [c60]Arnaud Nguembang Fadja, Fabrizio Riguzzi:
Probabilistic Logic Programming in Action. BIRS-IMLKE 2015: 89-116 - [c59]Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota:
Abductive logic programming for Datalog +/- ontologies. CILC 2015: 128-143 - [c58]Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota:
An Abductive Framework for Datalog± Ontologies. ICLP (Technical Communications) 2015 - [c57]Fabrizio Riguzzi:
The Distribution Semantics is Well-Defined for All Normal Programs. PLP@ICLP 2015: 69-84 - [c56]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
Reasoning with Probabilistic Ontologies. IJCAI 2015: 4310-4316 - [c55]Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi:
Logic Programming Techniques for Reasoning with Probabilistic Ontologies. JOWO@IJCAI 2015 - [c54]Giuseppe Cota, Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma:
Distributed Parameter Learning for Probabilistic Ontologies. ILP 2015: 30-45 - [c53]Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota:
Abductive Logic Programming for Normative Reasoning and Ontologies. JSAI-isAI Workshops 2015: 187-203 - [e4]Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi:
AI*IA 2015, Advances in Artificial Intelligence - XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings. Lecture Notes in Computer Science 9336, Springer 2015, ISBN 978-3-319-24308-5 [contents] - [e3]Fabrizio Riguzzi, Joost Vennekens:
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. CEUR Workshop Proceedings 1413, CEUR-WS.org 2015 [contents] - [i7]Jan Wielemaker, Torbjörn Lager, Fabrizio Riguzzi:
SWISH: SWI-Prolog for Sharing. CoRR abs/1511.00915 (2015) - [i6]Fabrizio Riguzzi:
Introduzione all'Intelligenza Artificiale. CoRR abs/1511.04352 (2015) - 2014
- [j29]Fabrizio Riguzzi:
Speeding Up Inference for Probabilistic Logic Programs. Comput. J. 57(3): 347-363 (2014) - [j28]Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese:
A History of Probabilistic Inductive Logic Programming. Frontiers Robotics AI 1: 6 (2014) - [j27]Fabrizio Riguzzi, Filip Zelezný:
Guest editors introduction: special issue on Inductive Logic Programming (ILP 2012). Mach. Learn. 94(1): 1-2 (2014) - [j26]Fabrizio Riguzzi, Terrance Swift:
Terminating Evaluation of Logic Programs with Finite Three-Valued Models. ACM Trans. Comput. Log. 15(4): 32:1-32:38 (2014) - [j25]Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vítor Santos Costa, Riccardo Zese:
Lifted Variable Elimination for Probabilistic Logic Programming. Theory Pract. Log. Program. 14(4-5): 681-695 (2014) - [c52]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese, Giuseppe Cota:
Learning Probabilistic Description Logics. URSW (LNCS Vol.) 2014: 63-78 - [c51]Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Fabiano Aguiari:
Semantics and Inference for Probabilistic Description Logics. URSW (LNCS Vol.) 2014: 79-99 - [i5]Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vítor Santos Costa, Riccardo Zese:
Lifted Variable Elimination for Probabilistic Logic Programming. CoRR abs/1405.3218 (2014) - 2013
- [j24]Fabrizio Riguzzi:
MCINTYRE: A Monte Carlo System for Probabilistic Logic Programming. Fundam. Informaticae 124(4): 521-541 (2013) - [j23]Matteo Baldoni, Paola Mello, Fabrizio Riguzzi:
Guest-editorial: 25 years of AI*IA. Intelligenza Artificiale 7(2): 69 (2013) - [j22]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:
Italian Machine Learning and Data Mining research: The last years. Intelligenza Artificiale 7(2): 77-89 (2013) - [j21]Elena Bellodi, Fabrizio Riguzzi:
Expectation maximization over binary decision diagrams for probabilistic logic programs. Intell. Data Anal. 17(2): 343-363 (2013) - [j20]Fabrizio Riguzzi, Terrance Swift:
Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics. Theory Pract. Log. Program. 13(2): 279-302 (2013) - [c50]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
Computing Instantiated Explanations in OWL DL. AI*IA 2013: 397-408 - [c49]Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi:
A Description Logics Tableau Reasoner in Prolog. CILC 2013: 33-47 - [c48]Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli:
Constraint and Optimization techniques for supporting Policy Making. CILC 2013: 195-209 - [c47]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
Learning the Parameters of Probabilistic Description Logics. ILP (Late Breaking Papers) 2013: 46-51 - [c46]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
BUNDLE: A Reasoner for Probabilistic Ontologies. RR 2013: 183-197 - [c45]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
Parameter Learning for Probabilistic Ontologies. RR 2013: 265-270 - [e2]Fabrizio Riguzzi, Filip Zelezný:
Late Breaking Papers of the 22nd International Conference on Inductive Logic Programming, Dubrovnik, Croatia, September 17-19, 2012. CEUR Workshop Proceedings 975, CEUR-WS.org 2013 [contents] - [e1]Fabrizio Riguzzi, Filip Zelezný:
Inductive Logic Programming - 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7842, Springer 2013, ISBN 978-3-642-38811-8 [contents] - [i4]Elena Bellodi, Fabrizio Riguzzi:
Structure Learning of Probabilistic Logic Programs by Searching the Clause Space. CoRR abs/1309.2080 (2013) - 2012
- [j19]Elena Bellodi, Fabrizio Riguzzi:
Experimentation of an expectation maximization algorithm for probabilistic logic programs. Intelligenza Artificiale 6(1): 3-18 (2012) - [j18]Fabrizio Riguzzi, Nicola Di Mauro:
Applying the information bottleneck to statistical relational learning. Mach. Learn. 86(1): 89-114 (2012) - [c44]Ludovico Buffon, Evelina Lamma, Fabrizio Riguzzi, Davide Formenti:
Un sistema di Vision Inspection basato su reti neurali. PAI 2012: 1-6 - [c43]Elena Bellodi, Fabrizio Riguzzi:
Parameter and Structure Learning Algorithms for Statistical Relational Learning. DC@AI*IA 2012: 5-9 - [c42]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
Semantics and Inference for Probabilistic Ontologies. PAI 2012: 41-46 - [c41]Fabrizio Riguzzi:
Optimizing Inference for Probabilistic Logic Programs Exploiting Independence and Exclusiveness. CILC 2012: 206-220 - [c40]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma:
Probabilistic Ontologies in Datalog+/-. CILC 2012: 221-235 - [c39]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma:
Probabilistic Datalog+/- under the Distribution Semantics. Description Logics 2012 - [c38]Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli:
Constraint and Optimization techniques for supporting Policy Making. ISAIM 2012 - [c37]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
Epistemic and Statistical Probabilistic Ontologies. URSW 2012: 3-14 - 2011
- [j17]Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari:
Learning specifications of interaction protocols and business processes and proving their properties. Intelligenza Artificiale 5(1): 71-75 (2011) - [j16]Fabrizio Riguzzi, Terrance Swift:
The PITA system: Tabling and answer subsumption for reasoning under uncertainty. Theory Pract. Log. Program. 11(4-5): 433-449 (2011) - [c36]Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Davide Sottara, Alessandro Cangini, Paolo Cagnoli:
An Application of Fuzzy Logic to Strategic Environmental Assessment. AI*IA 2011: 324-335 - [c35]Fabrizio Riguzzi:
MCINTYRE: A Monte Carlo Algorithm for Probabilistic Logic Programming. CILC 2011: 25-39 - [c34]Elena Bellodi, Fabrizio Riguzzi:
EM over Binary Decision Diagrams for Probabilistic Logic Programs. CILC 2011: 229-243 - [c33]Elena Bellodi, Fabrizio Riguzzi:
Learning the Structure of Probabilistic Logic Programs. ILP 2011: 61-75 - [c32]Fabrizio Riguzzi, Terrance Swift:
The PITA System for Logical-Probabilistic Inference. ILP (Late Breaking Papers) 2011: 79-86 - [c31]Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Simone Albani:
A Distribution Semantics for Probabilistic Ontologies. URSW 2011: 75-86 - [i3]Fabrizio Riguzzi, Terrance Swift:
The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty. CoRR abs/1107.4747 (2011) - [i2]Fabrizio Riguzzi, Terrance Swift:
Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics. CoRR abs/1110.0631 (2011) - 2010
- [j15]Fabrizio Riguzzi:
SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions. Fundam. Informaticae 102(3-4): 429-466 (2010) - [j14]Marco Gavanelli, Fabrizio Riguzzi, Alberto Pettorossi:
Preface. Fundam. Informaticae 105(1-2) (2010) - [j13]Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli:
Logic-based decision support for strategic environmental assessment. Theory Pract. Log. Program. 10(4-6): 643-658 (2010) - [c30]Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma:
Probabilistic Logic-Based Process Mining. CILC 2010 - [c29]Fabrizio Riguzzi, Terrance Swift:
An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation. CILC 2010 - [c28]Fabrizio Riguzzi, Terrance Swift:
Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions. ICLP (Technical Communications) 2010: 162-171 - [c27]Stefano Bragaglia, Fabrizio Riguzzi:
Approximate Inference for Logic Programs with Annotated Disjunctions. ILP 2010: 30-37 - [c26]Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma:
Probabilistic Declarative Process Mining. KSEM 2010: 292-303 - [p1]Massimiliano Cattafi, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari:
Incremental Declarative Process Mining. Smart Information and Knowledge Management 2010: 103-127 - [i1]Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli:
Logic-Based Decision Support for Strategic Environmental Assessment. CoRR abs/1007.3159 (2010)
2000 – 2009
- 2009
- [j12]Sergio Storari, Fabrizio Riguzzi, Evelina Lamma:
Exploiting association and correlation rules parameters for learning Bayesian networks. Intell. Data Anal. 13(5): 689-701 (2009) - [j11]Fabrizio Riguzzi:
Extended semantics and inference for the Independent Choice Logic. Log. J. IGPL 17(6): 589-629 (2009) - [j10]Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari:
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining. Trans. Petri Nets Other Model. Concurr. 2: 278-295 (2009) - 2008
- [j9]Fabrizio Riguzzi:
ALLPAD: approximate learning of logic programs with annotated disjunctions. Mach. Learn. 70(2-3): 207-223 (2008) - [c25]Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari:
Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties. Il Milione 2008 - [c24]Federico Chesani, Paola Mello, Marco Montali, Fabrizio Riguzzi, Maurizio Sebastianis, Sergio Storari:
Checking Compliance of Execution Traces to Business Rules. Business Process Management Workshops 2008: 134-145 - [c23]Fabrizio Riguzzi:
Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics. ICLP 2008: 667-671 - [c22]Fabrizio Riguzzi:
The SLGAD Procedure for Inference on Logic Programs with Annotated Disjunctions. RCRA 2008 - 2007
- [c21]Fabrizio Riguzzi:
A Top Down Interpreter for LPAD and CP-Logic. AI*IA 2007: 109-120 - [c20]Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari:
Inducing Declarative Logic-Based Models from Labeled Traces. BPM 2007: 344-359 - [c19]Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Sergio Storari:
Applying Inductive Logic Programming to Process Mining. ILP 2007: 132-146 - 2006
- [j8]Evelina Lamma, Paola Mello, Anna Nanetti, Fabrizio Riguzzi, Sergio Storari, Gianfranco Valastro:
Artificial Intelligence Techniques for Monitoring Dangerous Infections. IEEE Trans. Inf. Technol. Biomed. 10(1): 143-155 (2006) - [c18]Fabrizio Riguzzi:
ALLPAD: Approximate Learning of Logic Programs with Annotated Disjunctions. ILP 2006: 43-45 - 2005
- [c17]Giacomo Gamberoni, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Stefano Volinia:
Bayesian Networks Learning for Gene Expression Datasets. IDA 2005: 109-120 - 2004
- [j7]Evelina Lamma, Paola Mello, Fabrizio Riguzzi:
A System for Measuring Function Points from an ER-DFD Specification. Comput. J. 47(3): 358-372 (2004) - [c16]Evelina Lamma, Fabrizio Riguzzi, Sergio Storari:
Exploiting Association and Correlation Rules - Parameters for Improving the K2 Algorithm. ECAI 2004: 500-504 - [c15]Fabrizio Riguzzi:
Learning Logic Programs with Annotated Disjunctions. ILP 2004: 270-287 - 2003
- [j6]Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti:
Discovering Validation Rules from Microbiological Data. New Gener. Comput. 21(2): 123-133 (2003) - [j5]Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira:
Belief Revision via Lamarckian Evolution. New Gener. Comput. 21(3): 247-275 (2003) - [c14]Evelina Lamma, Fabrizio Riguzzi, Andrea Stambazzi, Sergio Storari:
Improving the SLA Algorithm Using Association Rules. AI*IA 2003: 165-175 - 2002
- [c13]Evelina Lamma, G. Modestino, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti:
An Intelligent Medical System for Mocrobiological Data Validation and Nosocomial Infection Surveillance. CBMS 2002: 13-20 - [c12]Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira:
Belief Revision via Lamarckian Evolution. IC-AI 2002: 1264-1270 - 2001
- [j4]Rita Cucchiara, Paola Mello, Massimo Piccardi, Fabrizio Riguzzi:
An application of machine learning and statistics to defect detection. Intell. Data Anal. 5(2): 151-164 (2001) - [c11]Evelina Lamma, Luís Moniz Pereira, Fabrizio Riguzzi:
Belief Revision by Lamarckian Evolution. EvoWorkshops 2001: 404-413 - [c10]Evelina Lamma, Paola Mello, Anna Nanetti, G. Poli, Fabrizio Riguzzi, Sergio Storari:
An Expert System for Microbiological Data Validation and Surveillance. ISMDA 2001: 153-160 - [c9]Evelina Lamma, L. Maestrami, Paola Mello, Fabrizio Riguzzi, Sergio Storari:
Rule-based Programming for Building Expert Systems: a Comparison in the Microbiological Data Validation and Surveillance Domain. RULE@PLI 2001: 397-411 - 2000
- [j3]Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira:
Strategies in Combined Learning via Logic Programs. Mach. Learn. 38(1-2): 63-87 (2000) - [j2]Antonis C. Kakas, Fabrizio Riguzzi:
Abductive Concept Learning. New Gener. Comput. 18(3): 243-294 (2000) - [c8]Evelina Lamma, M. Manservigi, Paola Mello, Sergio Storari, Fabrizio Riguzzi:
A System for Monitoring Nosocomial Infections. ISMDA 2000: 282-292
1990 – 1999
- 1999
- [j1]Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi:
Integrating Induction and Abduction in Logic Programming. Inf. Sci. 116(1): 25-54 (1999) - [c7]Michela Milano, Andrea Omicini, Fabrizio Riguzzi:
Adopting an Object-Oriented Data Model in Inductive Logic Programming. FLAIRS 1999: 273-279 - 1998
- [c6]Antonis C. Kakas, Evelina Lamma, Fabrizio Riguzzi:
Learning Multiple Predicates. AIMSA 1998: 303-316 - [c5]Fabrizio Riguzzi:
Integrating Abduction and Induction. ECAI 1998: 475-476 - 1997
- [c4]Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi:
An Algorithm for Learning Abductive Rules. APPIA-GULP-PRODE 1997: 295-306 - [c3]Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi:
Introducing Abduction into (Extensional) Inductive Logic Programming Systems. AI*IA 1997: 183-194 - [c2]Antonis C. Kakas, Fabrizio Riguzzi:
Learning with Abduction. ILP 1997: 181-188 - [c1]Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi:
A System for Abductive Learning of Logic Programs. LPKR 1997: 102-122
Coauthor Index
[i19] [j59] [c97] [c96] [c95] [c93] [c92] [j54] [j51] [c90] [i15] [j48] [p3] [i12] [i11] [j45] [j42] [j41] [j40] [c75] [c74] [e6] [e5] [i8] [j39] [j38] [j37] [j36] [j35] [j33] [c68] [c65] [c63] [j32] [j31] [j30] [c62] [c61] [c59] [c58] [c56] [c55] [c54] [c53] [j28] [j25] [c52] [c51] [i5] [j21] [c50] [c49] [c47] [c46] [c45] [i4] [j19] [c43] [c42] [c40] [c39] [c37] [c34] [c33] [c31] [c30] [c26]
[j63] [i16] [j58] [j57] [c94] [c91] [j56] [j54] [j53] [j51] [c90] [i15] [j50] [j49] [c87] [c85] [c84] [p3] [i13] [i11] [j46] [j42] [c83] [c82] [c81] [j41] [j40] [c80] [c79] [c78] [c77] [c75] [c74] [i8] [j38] [j36] [c73] [c72] [c71] [c70] [j35] [j33] [c68] [c66] [c65] [c63] [j31] [c62] [c61] [c59] [c58] [c56] [c55] [c54] [c53] [e4] [j25] [c52] [c51] [i5] [c50] [c49] [c47] [c46] [c45] [c44] [c42] [c40] [c39] [c37] [j17] [c31] [c30] [c26] [p1] [j12] [j10] [c25] [c20] [c19] [j8] [c17] [j7] [c16] [j6] [j5] [c14] [c13] [c12] [c11] [c10] [c9] [j3] [c8] [j1] [c6] [c4] [c3] [c1]
[c98] [i16] [j59] [c91] [j54] [j51] [i15] [j49] [j48] [p3] [i12] [i11] [j45] [j42] [c81] [j41] [j40] [c76] [c75] [c74] [e6] [e5] [i8] [j39] [j38] [j37] [j36] [c73] [c71] [c70] [c69] [j33] [c68] [c67] [c66] [c65] [c64] [c63] [j31] [c62] [c61] [c59] [c58] [c56] [c55] [c54] [c53] [j28] [j25] [c52] [c51] [i5] [c50] [c49] [c47] [c46] [c45] [c42] [c37]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-22 20:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
