Fabrizio Riguzzi

Proceedings of the AIxIA 2023 - Advances in Artificial Intelligence, 2023

2022

Symbolic DNN-Tuner: A Python and ProbLog-based system for optimizing Deep Neural Networks hyperparameters.

[BibT_eX]

[DOI]

Michele Fraccaroli

SoftwareX, 2022

Symbolic DNN-Tuner.

[BibT_eX]

[DOI]

Michele Fraccaroli

Mach. Learn., 2022

Abduction with probabilistic logic programming under the distribution semantics.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2022

Probabilistic Logic Models for the Lightning Network.

[BibT_eX]

[DOI]

Cryptogr., 2022

An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 38th International Conference on Logic Programming, 2022

Statistical Statements in Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Learning the Parameters of Probabilistic Answer Set Programs.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 31st International Conference, 2022

Semantics for Hybrid Probabilistic Logic Programs with Function Symbols: Technical Summary.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

Abduction in (Probabilistic) Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

MAP Inference in Probabilistic Answer Set Programs.

[BibT_eX]

[DOI]

Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022

Approximate Inference in Probabilistic Answer Set Programming for Statistical Probabilities.

[BibT_eX]

[DOI]

Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022

2021

Nonground Abductive Logic Programming with Probabilistic Integrity Constraints.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2021

Optimizing Probabilities in Probabilistic Logic Programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2021

Probabilistic inductive constraint logic.

[BibT_eX]

[DOI]

Mach. Learn., 2021

Learning hierarchical probabilistic logic programs.

[BibT_eX]

[DOI]

Mach. Learn., 2021

Syntactic Requirements for Well-defined Hybrid Probabilistic Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 37th International Conference on Logic Programming (Technical Communications), 2021

Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints.

[BibT_eX]

[DOI]

CoRR, 2021

Identification of natural selection in genomic data with deep convolutional neural network.

[BibT_eX]

[DOI]

Giorgio Bertorelle

Emiliano Trucchi

BioData Min., 2021

A semantics for Hybrid Probabilistic Logic programs with function symbols.

[BibT_eX]

[DOI]

Artif. Intell., 2021

Reducing Probabilistic Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with 17th Reasoning Web Summer School (RW 2021) and 13th DecisionCAMP 2021 as part of Declarative AI 2021, Leuven, Belgium (virtual due to Covid-19 pandemic), 8, 2021

A Probabilistic Logic Model of Lightning Network.

[BibT_eX]

[DOI]

Proceedings of the Business Information Systems Workshops, 2021

2020

A Framework for Reasoning on Probabilistic Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Applications and Practices in Ontology Design, 2020

MAP Inference for Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2020

Dischargeable Obligations in the <i>𝒮</i>CIFF Framework.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2020

Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling.

[BibT_eX]

[DOI]

Eng. Appl. Artif. Intell., 2020

A Framework for Reasoning on Probabilistic Description Logics.

[BibT_eX]

[DOI]

CoRR, 2020

Automatic Setting of DNN Hyper-Parameters by Mixing Bayesian Optimization and Tuning Rules.

[BibT_eX]

[DOI]

Michele Fraccaroli

Proceedings of the Machine Learning, Optimization, and Data Science, 2020

An Analysis of Gibbs Sampling for Probabilistic Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), 2020

Quantum Weighted Model Counting.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Modeling Smart Contracts with Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Business Information Systems Workshops, 2020

2019

Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

Preface to special issue on Inductive Logic Programming, ILP 2017 and 2018.

[BibT_eX]

[DOI]

Mach. Learn., 2019

Lifted discriminative learning of probabilistic logic programs.

[BibT_eX]

[DOI]

Mach. Learn., 2019

Studying Transaction Fees in the Bitcoin Blockchain with Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Inf., 2019

Editorial: Statistical Relational Artificial Intelligence.

[BibT_eX]

[DOI]

Frontiers Robotics AI, 2019

KRaider: a Crawler for Linked Data.

[BibT_eX]

[DOI]

Proceedings of the 34th Italian Conference on Computational Logic, 2019

Analyzing Transaction Fees with Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Business Information Systems Workshops, 2019

A Comparison of MCMC Sampling for Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019

2018

Reasoning on Datalog<sup>±</sup> Ontologies with Abductive Logic Programming.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2018

Using SWISH to realise interactive web based tutorials for logic based languages.

[BibT_eX]

[DOI]

CoRR, 2018

Tableau reasoning for description logics and its extension to probabilities.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2018

A Modular Inference System for Probabilistic Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 12th International Conference, 2018

Probabilistic Inference in SWI-Prolog.

[BibT_eX]

[DOI]

Jan Wielemaker

Proceedings of the 5th International Workshop on Probabilistic Logic Programming, 2018

Learning the Parameters of Deep Probabilistic Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Probabilistic Logic Programming, 2018

Modeling Bitcoin Protocols with Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Probabilistic Logic Programming, 2018

A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 33rd Italian Conference on Computational Logic, 2018

Expectation Maximization in Deep Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018

Vision Inspection with Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the RiCeRcA Workshop co-located with the 17th International Conference of the Italian Association for Artificial Intelligence, 2018

A survey of probabilistic logic programming.

[BibT_eX]

[DOI]

Theresa Swift

Proceedings of the Declarative Logic Programming: Theory, Systems, and Applications, 2018

2017

A web system for reasoning with probabilistic OWL.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2017

Causal inference in cplint.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2017

A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2017

cplint on SWISH: Probabilistic Logical Inference with a Web Browser.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2017

Probabilistic Inductive Logic Programming on the Web.

[BibT_eX]

[DOI]

Proceedings of the Doctoral Consortium, 2017

Dischargeable Obligations in Abductive Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - International Joint Conference, 2017

Deep Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Probabilistic Logic Programming 2017 co-located with 27th International Conference on Inductive Logic Programming (ILP 2017), 2017

A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Probabilistic Logic Programming 2017 co-located with 27th International Conference on Inductive Logic Programming (ILP 2017), 2017

Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017

2016

Probabilistic logic programming on the web.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2016

The distribution semantics for normal programs with function symbols.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2016

Statistical relational learning for workflow mining.

[BibT_eX]

[DOI]

Intell. Data Anal., 2016

Probabilistic Constraint Logic Theories.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Probabilistic Logic Programming co-located with 26th International Conference on Inductive Logic Programming (ILP 2016), 2016

Probabilistic Inductive Logic Programming on the Web.

[BibT_eX]

[DOI]

Giuseppe Cota

Proceedings of the Knowledge Engineering and Knowledge Management, 2016

Scaling Structure Learning of Probabilistic Logic Programs by MapReduce.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Probabilistic Logic Programming for Natural Language Processing.

[BibT_eX]

[DOI]

Proceedings of the AI*IA Workshop on Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016 co-located with 15th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2016), 2016

Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

Probabilistic Logical Inference on the Web.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

2015

Structure learning of probabilistic logic programs by searching the clause space.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

Probabilistic Description Logics under the distribution semantics.

[BibT_eX]

[DOI]

Semantic Web, 2015

Bandit-based Monte-Carlo structure learning of probabilistic logic programs.

[BibT_eX]

[DOI]

Nicola Di Mauro

Mach. Learn., 2015

SWISH: SWI-Prolog for Sharing.

[BibT_eX]

[DOI]

Jan Wielemaker

Torbjörn Lager

CoRR, 2015

Introduzione all'Intelligenza Artificiale.

[BibT_eX]

[DOI]

CoRR, 2015

Abductive Logic Programming for Normative Reasoning and Ontologies.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2015

Distributed Parameter Learning for Probabilistic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 25th International Conference, 2015

Logic Programming Techniques for Reasoning with Probabilistic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

Reasoning with Probabilistic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

The Distribution Semantics is Well-Defined for All Normal Programs.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Probabilistic Logic Programming co-located with 31st International Conference on Logic Programming (ICLP 2015), 2015

An Abductive Framework for Datalog± Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

Abductive logic programming for Datalog +/- ontologies.

[BibT_eX]

[DOI]

Proceedings of the 30th Italian Conference on Computational Logic, 2015

Probabilistic Logic Programming in Action.

[BibT_eX]

[DOI]

Proceedings of the Towards Integrative Machine Learning and Knowledge Extraction, 2015

Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques.

[BibT_eX]

[DOI]

Proceedings of the Doctoral Consortium (DC) co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

Learning Probabilistic Ontologies with Distributed Parameter Learning.

[BibT_eX]

[DOI]

Proceedings of the Doctoral Consortium (DC) co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

2014

Lifted Variable Elimination for Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2014

Terminating Evaluation of Logic Programs with Finite Three-Valued Models.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2014

Guest editors introduction: special issue on Inductive Logic Programming (ILP 2012).

[BibT_eX]

[DOI]

Filip Zelezný

Mach. Learn., 2014

A History of Probabilistic Inductive Logic Programming.

[BibT_eX]

[DOI]

Frontiers Robotics AI, 2014

Speeding Up Inference for Probabilistic Logic Programs.

[BibT_eX]

[DOI]

Comput. J., 2014

Semantics and Inference for Probabilistic Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty Reasoning for the Semantic Web III, 2014

Learning Probabilistic Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty Reasoning for the Semantic Web III, 2014

2013

Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Expectation maximization over binary decision diagrams for probabilistic logic programs.

[BibT_eX]

[DOI]

Intell. Data Anal., 2013

Italian Machine Learning and Data Mining research: The last years.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2013

Guest-editorial: 25 years of AI*IA.

[BibT_eX]

[DOI]

Matteo Baldoni

Paola Mello

Intelligenza Artificiale, 2013

MCINTYRE: A Monte Carlo System for Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2013

Parameter Learning for Probabilistic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

BUNDLE: A Reasoner for Probabilistic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Learning the Parameters of Probabilistic Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Late Breaking Papers of the 23rd International Conference on Inductive Logic Programming, Rio de Janeiro, Brazil, August 28th - to, 2013

A Description Logics Tableau Reasoner in Prolog.

[BibT_eX]

[DOI]

Proceedings of the 28th Italian Conference on Computational Logic, 2013

Constraint and Optimization techniques for supporting Policy Making.

[BibT_eX]

[DOI]

Proceedings of the 28th Italian Conference on Computational Logic, 2013

Computing Instantiated Explanations in OWL DL.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

2012

Applying the information bottleneck to statistical relational learning.

[BibT_eX]

[DOI]

Nicola Di Mauro

Mach. Learn., 2012

Experimentation of an expectation maximization algorithm for probabilistic logic programs.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2012

Epistemic and Statistical Probabilistic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Uncertainty Reasoning for the Semantic Web, 2012

Probabilistic Datalog+/- under the Distribution Semantics.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

Probabilistic Ontologies in Datalog+/-.

[BibT_eX]

[DOI]

Proceedings of the 9th Italian Convention on Computational Logic, 2012

Optimizing Inference for Probabilistic Logic Programs Exploiting Independence and Exclusiveness.

[BibT_eX]

[DOI]

Proceedings of the 9th Italian Convention on Computational Logic, 2012

Semantics and Inference for Probabilistic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Popularize Artificial Intelligence, 2012

Un sistema di Vision Inspection basato su reti neurali.

[BibT_eX]

[DOI]

Proceedings of the Popularize Artificial Intelligence, 2012

Parameter and Structure Learning Algorithms for Statistical Relational Learning.

[BibT_eX]

[DOI]

Proceedings of the Doctoral Consortium of the 12th Symposium of the Italian Association for Artificial Intelligence, 2012

2011

The PITA system: Tabling and answer subsumption for reasoning under uncertainty.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2011

Learning specifications of interaction protocols and business processes and proving their properties.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2011

A Distribution Semantics for Probabilistic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2011), 2011

The PITA System for Logical-Probabilistic Inference.

[BibT_eX]

[DOI]

Proceedings of the Latest Advances in Inductive Logic Programming, 2011

Learning the Structure of Probabilistic Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 21st International Conference, 2011

MCINTYRE: A Monte Carlo Algorithm for Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

EM over Binary Decision Diagrams for Probabilistic Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

An Application of Fuzzy Logic to Strategic Environmental Assessment.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011

2010

Incremental Declarative Process Mining.

[BibT_eX]

[DOI]

Proceedings of the Smart Information and Knowledge Management: Advances, 2010

Logic-based decision support for strategic environmental assessment.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2010

SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

Preface.

[BibT_eX]

[DOI]

Marco Gavanelli

Alberto Pettorossi

Fundam. Informaticae, 2010

Probabilistic Declarative Process Mining.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, 2010

Approximate Inference for Logic Programs with Annotated Disjunctions.

[BibT_eX]

[DOI]

Stefano Bragaglia

Proceedings of the Inductive Logic Programming - 20th International Conference, 2010

Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation.

[BibT_eX]

[DOI]

Proceedings of the 25th Italian Conference on Computational Logic, 2010

Probabilistic Logic-Based Process Mining.

[BibT_eX]

[DOI]

Proceedings of the 25th Italian Conference on Computational Logic, 2010

2009

Exploiting Inductive Logic Programming Techniques for Declarative Process Mining.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2009

Extended semantics and inference for the Independent Choice Logic.

[BibT_eX]

[DOI]

Log. J. IGPL, 2009

Exploiting association and correlation rules parameters for learning Bayesian networks.

[BibT_eX]

[DOI]

Sergio Storari

Intell. Data Anal., 2009

2008

ALLPAD: approximate learning of logic programs with annotated disjunctions.

[BibT_eX]

[DOI]

Mach. Learn., 2008

The SLGAD Procedure for Inference on Logic Programs with Annotated Disjunctions.

[BibT_eX]

[DOI]

Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2008

Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

Checking Compliance of Execution Traces to Business Rules.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2008

Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties.

[BibT_eX]

[DOI]

Proceedings of the Il Milione (i.e. 2^6), 2008

2007

Applying Inductive Logic Programming to Process Mining.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming, 17th International Conference, 2007

Inducing Declarative Logic-Based Models from Labeled Traces.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management, 5th International Conference, 2007

A Top Down Interpreter for LPAD and CP-Logic.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007

2006

Artificial Intelligence Techniques for Monitoring Dangerous Infections.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Technol. Biomed., 2006

2005

Bayesian Networks Learning for Gene Expression Datasets.

[BibT_eX]

[DOI]

Proceedings of the Advances in Intelligent Data Analysis VI, 2005

2004

A System for Measuring Function Points from an ER-DFD Specification.

[BibT_eX]

[DOI]

Paola Mello

Comput. J., 2004

Learning Logic Programs with Annotated Disjunctions.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming, 14th International Conference, 2004

Exploiting Association and Correlation Rules - Parameters for Improving the K2 Algorithm.

[BibT_eX]

Sergio Storari

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003

Discovering Validation Rules from Microbiological Data.

[BibT_eX]

[DOI]

New Gener. Comput., 2003

Belief Revision via Lamarckian Evolution.

[BibT_eX]

[DOI]

Luís Moniz Pereira

New Gener. Comput., 2003

Improving the SLA Algorithm Using Association Rules.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

2002

An Intelligent Medical System for Mocrobiological Data Validation and Nosocomial Infection Surveillance.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Symposium on Computer-Based Medical Systems (CBMS 2002), 2002

2001

Rule-based Programming for Building Expert Systems: a Comparison in the Microbiological Data Validation and Surveillance Domain.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Rule-Based Programming, 2001

An application of machine learning and statistics to defect detection.

[BibT_eX]

[DOI]

Intell. Data Anal., 2001

An Expert System for Microbiological Data Validation and Surveillance.

[BibT_eX]

[DOI]

Proceedings of the Medical Data Analysis, Second International Symposium, 2001

Belief Revision by Lamarckian Evolution.

[BibT_eX]

[DOI]

Luís Moniz Pereira

Proceedings of the Applications of Evolutionary Computing, 2001

2000

Abductive Concept Learning.

[BibT_eX]

[DOI]

Antonis C. Kakas

New Gener. Comput., 2000

Strategies in Combined Learning via Logic Programs.

[BibT_eX]

[DOI]

Luís Moniz Pereira

Mach. Learn., 2000

A System for Monitoring Nosocomial Infections.

[BibT_eX]

[DOI]

Proceedings of the Medical Data Analysis, First International Symposium, 2000

1999

Integrating Induction and Abduction in Logic Programming.

[BibT_eX]

[DOI]

Inf. Sci., 1999

Adopting an Object-Oriented Data Model in Inductive Logic Programming.

[BibT_eX]

[DOI]

Michela Milano

Andrea Omicini

Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999

1998

Integrating Abduction and Induction.

[BibT_eX]

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

Learning Multiple Predicates.

[BibT_eX]

[DOI]

Antonis C. Kakas

Proceedings of the Artificial Intelligence: Methodology, 1998

1997

A System for Abductive Learning of Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Knowledge Representation, 1997

Learning with Abduction.

[BibT_eX]

[DOI]

Antonis C. Kakas