Angelika Kimmig

Artif. Intell., 2024

Approximate Compression of CNF Concepts.

[BibT_eX]

[DOI]

Proceedings of the Discovery Science - 27th International Conference, 2024

2023

sm<i>ProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation</i>.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., November, 2023

DeepProbCEP: A neuro-symbolic approach for complex event processing in adversarial settings.

[BibT_eX]

[DOI]

Expert Syst. Appl., April, 2023

Lifted Reasoning for Combinatorial Counting.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2023

smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation.

[BibT_eX]

[DOI]

Pedro Zuidberg Dos Martires

CoRR, 2023

Neural probabilistic logic programming in discrete-continuous domains.

[BibT_eX]

[DOI]

Lennert De Smet

Proceedings of the Uncertainty in Artificial Intelligence, 2023

2022

Efficient Knowledge Compilation Beyond Weighted Model Counting.

[BibT_eX]

[DOI]

Rafael Kiesel

Theory Pract. Log. Program., 2022

Handling epistemic and aleatory uncertainties in probabilistic circuits.

[BibT_eX]

[DOI]

Mach. Learn., 2022

2021

Neuro-Symbolic AI = Neural + Logical + Probabilistic AI.

[BibT_eX]

[DOI]

Proceedings of the Neuro-Symbolic Artificial Intelligence: The State of the Art, 2021

Using DeepProbLog to perform Complex Event Processing on an Audio Stream.

[BibT_eX]

[DOI]

CoRR, 2021

SMProbLog: Stable Model Semantics in ProbLog and its Applications in Argumentation.

[BibT_eX]

[DOI]

CoRR, 2021

Neural probabilistic logic programming in DeepProbLog.

[BibT_eX]

[DOI]

Artif. Intell., 2021

Learning CNF Theories Using MDL and Predicate Invention.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Mapping probability word problems to executable representations.

[BibT_eX]

[DOI]

Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, 2021

2020

A Hybrid Neuro-Symbolic Approach for Complex Event Processing.

[BibT_eX]

[DOI]

CoRR, 2020

The current state of automated negotiation theory: a literature review.

[BibT_eX]

[DOI]

CoRR, 2020

Increasing Negotiation Performance at the Edge of the Network.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2020

Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs.

[BibT_eX]

[DOI]

Efthymia Tsamoura

Víctor Gutiérrez-Basulto

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

A Collective, Probabilistic Approach to Schema Mapping Using Diverse Noisy Evidence.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2019

Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs (Technical Report).

[BibT_eX]

[DOI]

Efthymia Tsamoura

Víctor Gutiérrez-Basulto

CoRR, 2019

Neuro-Symbolic = Neural + Logical + Probabilistic.

[BibT_eX]

Proceedings of the 2019 International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2019), 2019

Probabilistic Logic Programming with Beta-Distributed Random Variables.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

DeepProbLog: Neural Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Learning and Reasoning in Complex Coalition Information Environments: A Critical Analysis.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Information Fusion, 2018

2017

Algebraic model counting.

[BibT_eX]

[DOI]

Guy Van den Broeck

J. Appl. Log., 2017

A Collective, Probabilistic Approach to Schema Mapping: Appendix.

[BibT_eX]

[DOI]

CoRR, 2017

Domain Recursion for Lifted Inference with Existential Quantifiers.

[BibT_eX]

[DOI]

CoRR, 2017

Solving Probability Problems in Natural Language.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

A Collective, Probabilistic Approach to Schema Mapping.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE International Conference on Data Engineering, 2017

Combining Stochastic Constraint Optimization and Probabilistic Programming - From Knowledge Compilation to Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2017

2016

T<sub>P</sub>-Compilation for inference in probabilistic logic programs.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2016

New Liftable Classes for First-Order Probabilistic Inference.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016

Knowledge Compilation and Weighted Model Counting for Inference in Probabilistic Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Beyond NP, 2016

2015

Introduction to the special issue on probability, logic and learning.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

Probabilistic (logic) programming concepts.

[BibT_eX]

[DOI]

Mach. Learn., 2015

Lifted graphical models: a survey.

[BibT_eX]

[DOI]

Lilyana Mihalkova

Lise Getoor

Mach. Learn., 2015

Lazy Explanation-Based Approximation for Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Joris Renkens

CoRR, 2015

ProbLog2: Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2015

Anytime Inference in Probabilistic Logic Programs with Tp-Compilation.

[BibT_eX]

[DOI]

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

2014

Finding relational redescriptions.

[BibT_eX]

[DOI]

Esther Galbrun

Mach. Learn., 2014

The Most Probable Explanation for Probabilistic Logic Programs with Annotated Disjunctions.

[BibT_eX]

[DOI]

Dimitar Sht. Shterionov

Proceedings of the Inductive Logic Programming - 24th International Conference, 2014

PageRank, ProPPR, and Stochastic Logic Programs.

[BibT_eX]

[DOI]

Dries Van Daele

Proceedings of the Inductive Logic Programming - 24th International Conference, 2014

Subgraph pattern matching over uncertain graphs with identity linkage uncertainty.

[BibT_eX]

[DOI]

Proceedings of the IEEE 30th International Conference on Data Engineering, Chicago, 2014

Explanation-Based Approximate Weighted Model Counting for Probabilistic Logics.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Probabilistic Programming Concepts.

[BibT_eX]

[DOI]

CoRR, 2013

A Flexible Framework for Probabilistic Models of Social Trust.

[BibT_eX]

[DOI]

Proceedings of the Social Computing, Behavioral-Cultural Modeling and Prediction, 2013

10 Years of Probabilistic Querying - What Next?

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases and Information Systems, 2013

2012

Patterns and Logic for Reasoning with Networks.

[BibT_eX]

[DOI]

Proceedings of the Bisociative Knowledge Discovery, 2012

Link and Node Prediction in Metabolic Networks with Probabilistic Logic.

[BibT_eX]

[DOI]

Fabrizio Costa

Proceedings of the Bisociative Knowledge Discovery, 2012

Probabilistic Soft Logic for Trust Analysis in Social Networks.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Statistical Relational AI (StaRAI-12), 2012

Graph Summarization in Annotated Data Using Probabilistic Soft Logic.

[BibT_eX]

[DOI]

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

Towards Finding Relational Redescriptions.

[BibT_eX]

[DOI]

Esther Galbrun

Proceedings of the Discovery Science - 15th International Conference, 2012

2011

On the implementation of the probabilistic logic programming language ProbLog.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2011

The magic of logical inference in probabilistic programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2011

An Algebraic Prolog for Reasoning about Possible Worlds.

[BibT_eX]

[DOI]

Guy Van den Broeck

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

A Probabilistic Prolog and its Applications (Een probabilistische prolog en zijn toepassingen) ; A Probabilistic Prolog and its Applications.

[BibT_eX]

[DOI]

PhD thesis, 2010

DNF Sampling for ProbLog Inference

[BibT_eX]

[DOI]

Dimitar Sht. Shterionov

Theofrastos Mantadelis

Gerda Janssens

CoRR, 2010

Preprocessing Boolean Formulae for BDDs in a Probabilistic Context.

[BibT_eX]

[DOI]

Theofrastos Mantadelis

Ricardo Rocha

Gerda Janssens

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

ProbLog Technology for Inference in a Probabilistic First Order Logic.

[BibT_eX]

[DOI]

Maurice Bruynooghe

Theofrastos Mantadelis

Proceedings of the ECAI 2010, 2010

Probabilistic Inductive Querying Using ProbLog.

[BibT_eX]

[DOI]

Proceedings of the Inductive Databases and Constraint-Based Data Mining., 2010

2009

Local Query Mining in a Probabilistic Prolog.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

2008

Compressing probabilistic Prolog programs.

[BibT_eX]

[DOI]

Mach. Learn., 2008

Parameter Learning in Probabilistic Databases: A Least Squares Approach.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2008

On the Efficient Execution of ProbLog Programs.

[BibT_eX]

[DOI]

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

2007

ProbLog: A Probabilistic Prolog and Its Application in Link Discovery.

[BibT_eX]

[DOI]

Hannu Toivonen

Proceedings of the IJCAI 2007, 2007

Probabilistic Explanation Based Learning.

[BibT_eX]

[DOI]