Revising Probabilistic Prolog Programs. - Luc De Raedt; Kristian Kersting; Angelika Kimmig; Kate Revoredo; Hannu Toivonen (ILP, 2006)

Probabilistic Explanation Based Learning. - Angelika Kimmig; Luc De Raedt; Hannu Toivonen (ECML, 2007)

ProbLog: A Probabilistic Prolog and Its Application in Link Discovery. - Luc De Raedt; Angelika Kimmig; Hannu Toivonen (IJCAI, 2007)

On the Efficient Execution of ProbLog Programs. - Angelika Kimmig; Vítor Santos Costa; Ricardo Rocha 001; Bart Demoen; Luc De Raedt (ICLP, 2008)

Parameter Learning in Probabilistic Databases: A Least Squares Approach. - Bernd Gutmann; Angelika Kimmig; Kristian Kersting; Luc De Raedt (ECML/PKDD (1), 2008)

Compressing probabilistic Prolog programs. - Luc De Raedt; Kristian Kersting; Angelika Kimmig; Kate Revoredo; Hannu Toivonen (Mach. Learn., 2008)

Local Query Mining in a Probabilistic Prolog. - Angelika Kimmig; Luc De Raedt (IJCAI, 2009)

An Exercise with Statistical Relational Learning Systems. - Maurice Bruynooghe; Daan Fierens; Bernd Gutmann; Angelika Kimmig; Niels Landwehr; Wannes Meert; Ingo Thon; Luc De Raedt (MLG/SRL@ILP, 2009)

Trading Memory for Answers: Towards Tabling ProbLog. - Angelika Kimmig; Bernd Gutmann; Vítor Santos Costa (MLG/SRL@ILP, 2009)

From ProbLog to First Order Logic: A First Exploration. - Joost Vennekens; Angelika Kimmig; Theofrastos Mantadelis; Bernd Gutmann; Luc De Raedt; Maurice Bruynooghe (MLG/SRL@ILP, 2009)

Probabilistic Inductive Querying Using ProbLog. - Luc De Raedt; Angelika Kimmig; Bernd Gutmann; Kristian Kersting; Vítor Santos Costa; Hannu Toivonen (Inductive Databases and Constraint-Based Data Mining, 2010)

ProbLog Technology for Inference in a Probabilistic First Order Logic. - Maurice Bruynooghe; Theofrastos Mantadelis; Angelika Kimmig; Bernd Gutmann; Joost Vennekens; Gerda Janssens; Luc De Raedt (ECAI, 2010)

Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. - Theofrastos Mantadelis; Ricardo Rocha 001; Angelika Kimmig; Gerda Janssens (JELIA, 2010)

DNF Sampling for ProbLog Inference - Dimitar Sht. Shterionov; Angelika Kimmig; Theofrastos Mantadelis; Gerda Janssens (CoRR, 2010)

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

An Algebraic Prolog for Reasoning about Possible Worlds. - Angelika Kimmig; Guy Van den Broeck; Luc De Raedt (AAAI, 2011)

The magic of logical inference in probabilistic programming. - Bernd Gutmann; Ingo Thon; Angelika Kimmig; Maurice Bruynooghe; Luc De Raedt (Theory Pract. Log. Program., 2011)

On the implementation of the probabilistic logic programming language ProbLog. - Angelika Kimmig; Bart Demoen; Luc De Raedt; Vítor Santos Costa; Ricardo Rocha 001 (Theory Pract. Log. Program., 2011)

Towards Finding Relational Redescriptions. - Esther Galbrun; Angelika Kimmig (Discovery Science, 2012)

Graph Summarization in Annotated Data Using Probabilistic Soft Logic. - Alex Memory; Angelika Kimmig; Stephen H. Bach; Louiqa Raschid; Lise Getoor (URSW, 2012)

Probabilistic Soft Logic for Trust Analysis in Social Networks. - Bert Huang; Angelika Kimmig; Lise Getoor; Jennifer Golbeck (StarAI@UAI, 2012)

Link and Node Prediction in Metabolic Networks with Probabilistic Logic. - Angelika Kimmig; Fabrizio Costa (Bisociative Knowledge Discovery, 2012)

Patterns and Logic for Reasoning with Networks. - Angelika Kimmig; Esther Galbrun; Hannu Toivonen; Luc De Raedt (Bisociative Knowledge Discovery, 2012)

10 Years of Probabilistic Querying - What Next? - Martin Theobald; Luc De Raedt; Maximilian Dylla; Angelika Kimmig; Iris Miliaraki (ADBIS, 2013)

A Flexible Framework for Probabilistic Models of Social Trust. - Bert Huang; Angelika Kimmig; Lise Getoor; Jennifer Golbeck (SBP, 2013)

Probabilistic Programming Concepts. - Luc De Raedt; Angelika Kimmig (CoRR, 2013)

Explanation-Based Approximate Weighted Model Counting for Probabilistic Logics. - Joris Renkens; Angelika Kimmig; Guy Van den Broeck; Luc De Raedt (AAAI, 2014)

Subgraph pattern matching over uncertain graphs with identity linkage uncertainty. - Walaa Eldin Moustafa; Angelika Kimmig; Amol Deshpande; Lise Getoor (ICDE, 2014)

PageRank, ProPPR, and Stochastic Logic Programs. - Dries Van Daele; Angelika Kimmig; Luc De Raedt (ILP, 2014)

The Most Probable Explanation for Probabilistic Logic Programs with Annotated Disjunctions. - Dimitar Sht. Shterionov; Joris Renkens; Jonas Vlasselaer; Angelika Kimmig; Wannes Meert; Gerda Janssens (ILP, 2014)

Finding relational redescriptions. - Esther Galbrun; Angelika Kimmig (Mach. Learn., 2014)

Anytime Inference in Probabilistic Logic Programs with Tp-Compilation. - Jonas Vlasselaer; Guy Van den Broeck; Angelika Kimmig; Wannes Meert; Luc De Raedt (IJCAI, 2015)

ProbLog2: Probabilistic Logic Programming. - Anton Dries; Angelika Kimmig; Wannes Meert; Joris Renkens; Guy Van den Broeck; Jonas Vlasselaer; Luc De Raedt (ECML/PKDD (3), 2015)

Lazy Explanation-Based Approximation for Probabilistic Logic Programming. - Joris Renkens; Angelika Kimmig; Luc De Raedt (CoRR, 2015)

Lifted graphical models: a survey. - Angelika Kimmig; Lilyana Mihalkova; Lise Getoor (Mach. Learn., 2015)

Probabilistic (logic) programming concepts. - Luc De Raedt; Angelika Kimmig (Mach. Learn., 2015)

Introduction to the special issue on probability, logic and learning. - James Cussens; Luc De Raedt; Angelika Kimmig; Taisuke Sato (Theory Pract. Log. Program., 2015)

Knowledge Compilation and Weighted Model Counting for Inference in Probabilistic Logic Programs. - Jonas Vlasselaer; Angelika Kimmig; Anton Dries; Wannes Meert; Luc De Raedt (AAAI Workshop: Beyond NP, 2016)

New Liftable Classes for First-Order Probabilistic Inference. - Seyed Mehran Kazemi; Angelika Kimmig; Guy Van den Broeck; David Poole 001 (NIPS, 2016)

TP-Compilation for inference in probabilistic logic programs. - Jonas Vlasselaer; Guy Van den Broeck; Angelika Kimmig; Wannes Meert; Luc De Raedt (Int. J. Approx. Reason., 2016)

Combining Stochastic Constraint Optimization and Probabilistic Programming - From Knowledge Compilation to Constraint Solving. - Anna L. D. Latour; Behrouz Babaki; Anton Dries; Angelika Kimmig; Guy Van den Broeck; Siegfried Nijssen (CP, 2017)

A Collective, Probabilistic Approach to Schema Mapping. - Angelika Kimmig; Alex Memory; Renée J. Miller; Lise Getoor (ICDE, 2017)

Solving Probability Problems in Natural Language. - Anton Dries; Angelika Kimmig; Jesse Davis; Vaishak Belle; Luc De Raedt (IJCAI, 2017)

Domain Recursion for Lifted Inference with Existential Quantifiers. - Seyed Mehran Kazemi; Angelika Kimmig; Guy Van den Broeck; David Poole 001 (CoRR, 2017)

A Collective, Probabilistic Approach to Schema Mapping: Appendix. - Angelika Kimmig; Alex Memory; Renée J. Miller; Lise Getoor (CoRR, 2017)

Algebraic model counting. - Angelika Kimmig; Guy Van den Broeck; Luc De Raedt (J. Appl. Log., 2017)

Learning and Reasoning in Complex Coalition Information Environments: A Critical Analysis. - Federico Cerutti 001; Moustafa Alzantot; Tianwei Xing; Daniel Harborne; Jonathan Z. Bakdash; Dave Braines; Supriyo Chakraborty; Lance M. Kaplan; Angelika Kimmig; Alun D. Preece; Ramya Raghavendra; Murat Sensoy; et al. (FUSION, 2018)

DeepProbLog: Neural Probabilistic Logic Programming. - Robin Manhaeve; Sebastijan Dumancic; Angelika Kimmig; Thomas Demeester; Luc De Raedt (NeurIPS, 2018)

Probabilistic Logic Programming with Beta-Distributed Random Variables. - Federico Cerutti 001; Lance M. Kaplan; Angelika Kimmig; Murat Sensoy (AAAI, 2019)

Neuro-Symbolic = Neural + Logical + Probabilistic. - Luc De Raedt; Robin Manhaeve; Sebastijan Dumancic; Thomas Demeester; Angelika Kimmig (NeSy@IJCAI, 2019)

Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs (Technical Report). - Efthymia Tsamoura; Víctor Gutiérrez-Basulto; Angelika Kimmig (CoRR, 2019)

A Collective, Probabilistic Approach to Schema Mapping Using Diverse Noisy Evidence. - Angelika Kimmig; Alex Memory; Renée J. Miller; Lise Getoor (IEEE Trans. Knowl. Data Eng., 2019)

Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs. - Efthymia Tsamoura; Víctor Gutiérrez-Basulto; Angelika Kimmig (AAAI, 2020)

Increasing Negotiation Performance at the Edge of the Network. - Sam Vente; Angelika Kimmig; Alun David Preece; Federico Cerutti 001 (EUMAS/AT, 2020)

The current state of automated negotiation theory: a literature review. - Sam Vente; Angelika Kimmig; Alun D. Preece; Federico Cerutti 001 (CoRR, 2020)

A Hybrid Neuro-Symbolic Approach for Complex Event Processing. - Marc Roig Vilamala; Harrison Taylor; Tianwei Xing; Luis Garcia 001; Mani B. Srivastava; Lance M. Kaplan; Alun D. Preece; Angelika Kimmig; Federico Cerutti 001 (CoRR, 2020)

Mapping probability word problems to executable representations. - Simon Suster; Pieter Fivez; Pietro Totis; Angelika Kimmig; Jesse Davis; Luc De Raedt; Walter Daelemans (EMNLP (1), 2021)

Learning CNF Theories Using MDL and Predicate Invention. - Arcchit Jain; Clément Gautrais; Angelika Kimmig; Luc De Raedt (IJCAI, 2021)

Neural probabilistic logic programming in DeepProbLog. - Robin Manhaeve; Sebastijan Dumancic; Angelika Kimmig; Thomas Demeester; Luc De Raedt (Artif. Intell., 2021)

SMProbLog: Stable Model Semantics in ProbLog and its Applications in Argumentation. - Pietro Totis; Angelika Kimmig; Luc De Raedt (CoRR, 2021)

Using DeepProbLog to perform Complex Event Processing on an Audio Stream. - Marc Roig Vilamala; Tianwei Xing; Harrison Taylor; Luis Garcia 001; Mani B. Srivastava; Lance M. Kaplan; Alun D. Preece; Angelika Kimmig; Federico Cerutti 001 (CoRR, 2021)

Neuro-Symbolic AI = Neural + Logical + Probabilistic AI. - Robin Manhaeve; Giuseppe Marra; Thomas Demeester; Sebastijan Dumancic; Angelika Kimmig; Luc De Raedt (Neuro-Symbolic Artificial Intelligence, 2021)

Handling epistemic and aleatory uncertainties in probabilistic circuits. - Federico Cerutti 001; Lance M. Kaplan; Angelika Kimmig; Murat Sensoy (Mach. Learn., 2022)

Efficient Knowledge Compilation Beyond Weighted Model Counting. - Rafael Kiesel; Pietro Totis; Angelika Kimmig (Theory Pract. Log. Program., 2022)

Neural probabilistic logic programming in discrete-continuous domains. - Lennert De Smet; Pedro Zuidberg Dos Martires; Robin Manhaeve; Giuseppe Marra; Angelika Kimmig; Luc De Raedt (UAI, 2023)

smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation. - Pietro Totis; Angelika Kimmig; Luc De Raedt (CoRR, 2023)

Lifted Reasoning for Combinatorial Counting. - Pietro Totis; Jesse Davis; Luc De Raedt; Angelika Kimmig (J. Artif. Intell. Res., 2023)

DeepProbCEP: A neuro-symbolic approach for complex event processing in adversarial settings. - Marc Roig Vilamala; Tianwei Xing; Harrison Taylor; Luis Garcia 001; Mani Srivastava 001; Lance M. Kaplan; Alun D. Preece; Angelika Kimmig; Federico Cerutti 001 (Expert Syst. Appl., 2023)

smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation. - Pietro Totis; Luc De Raedt; Angelika Kimmig (Theory Pract. Log. Program., 2023)

Approximate Compression of CNF Concepts. - Sieben Bocklandt; Vincent Derkinderen; Angelika Kimmig; Luc De Raedt (DS (2), 2024)

Declarative probabilistic logic programming in discrete-continuous domains. - Pedro Zuidberg Dos Martires; Luc De Raedt; Angelika Kimmig (Artif. Intell., 2024)