Angelika Kimmig

According to our database, Angelika Kimmig authored at least 67 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Pietro Totis, Luc De Raedt, Angelika Kimmig

Theory Pract. Log. Program., November, 2023

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

Marc Roig Vilamala, Tianwei Xing, Harrison Taylor, Luis Garcia, Mani Srivastava, Lance M. Kaplan, Alun D. Preece, Angelika Kimmig, Federico Cerutti

Expert Syst. Appl., April, 2023

Lifted Reasoning for Combinatorial Counting.

Pietro Totis, Jesse Davis, Luc De Raedt, Angelika Kimmig

J. Artif. Intell. Res., 2023

smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation.

Pietro Totis, Angelika Kimmig, Luc De Raedt

CoRR, 2023

Declarative Probabilistic Logic Programming in Discrete-Continuous Domains.

Pedro Zuidberg Dos Martires, Luc De Raedt, Angelika Kimmig

CoRR, 2023

Neural probabilistic logic programming in discrete-continuous domains.

Lennert De Smet, Pedro Zuidberg Dos Martires, Robin Manhaeve, Giuseppe Marra, Angelika Kimmig, Luc De Raedt

Proceedings of the Uncertainty in Artificial Intelligence, 2023

2022

Efficient Knowledge Compilation Beyond Weighted Model Counting.

Rafael Kiesel, Pietro Totis, Angelika Kimmig

Theory Pract. Log. Program., 2022

Handling epistemic and aleatory uncertainties in probabilistic circuits.

Federico Cerutti, Lance M. Kaplan, Angelika Kimmig, Murat Sensoy

Mach. Learn., 2022

2021

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

Robin Manhaeve, Giuseppe Marra, Thomas Demeester, Sebastijan Dumancic, Angelika Kimmig, Luc De Raedt

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

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

Marc Roig Vilamala, Tianwei Xing, Harrison Taylor, Luis Garcia, Mani B. Srivastava, Lance M. Kaplan, Alun D. Preece, Angelika Kimmig, Federico Cerutti

CoRR, 2021

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

Pietro Totis, Angelika Kimmig, Luc De Raedt

CoRR, 2021

Neural probabilistic logic programming in DeepProbLog.

Robin Manhaeve, Sebastijan Dumancic, Angelika Kimmig, Thomas Demeester, Luc De Raedt

Artif. Intell., 2021

Learning CNF Theories Using MDL and Predicate Invention.

Arcchit Jain, Clément Gautrais, Angelika Kimmig, Luc De Raedt

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

Mapping probability word problems to executable representations.

Simon Suster, Pieter Fivez, Pietro Totis, Angelika Kimmig, Jesse Davis, Luc De Raedt, Walter Daelemans

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

2020

A Hybrid Neuro-Symbolic Approach for Complex Event Processing.

Marc Roig Vilamala, Harrison Taylor, Tianwei Xing, Luis Garcia, Mani B. Srivastava, Lance M. Kaplan, Alun D. Preece, Angelika Kimmig, Federico Cerutti

CoRR, 2020

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

Sam Vente, Angelika Kimmig, Alun D. Preece, Federico Cerutti

CoRR, 2020

Increasing Negotiation Performance at the Edge of the Network.

Sam Vente, Angelika Kimmig, Alun David Preece, Federico Cerutti

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

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

Efthymia Tsamoura, Víctor Gutiérrez-Basulto, Angelika Kimmig

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

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 (Technical Report).

Efthymia Tsamoura, Víctor Gutiérrez-Basulto, Angelika Kimmig

CoRR, 2019

Neuro-Symbolic = Neural + Logical + Probabilistic.

Luc De Raedt, Robin Manhaeve, Sebastijan Dumancic, Thomas Demeester, Angelika Kimmig

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

DeepProbLog: Neural Probabilistic Logic Programming.

Robin Manhaeve, Sebastijan Dumancic, Angelika Kimmig, Thomas Demeester, Luc De Raedt

Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), 2019

Probabilistic Logic Programming with Beta-Distributed Random Variables.

Federico Cerutti, Lance M. Kaplan, Angelika Kimmig, Murat Sensoy

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

2018

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

Federico Cerutti, 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, Mani B. Srivastava

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

2017

Algebraic model counting.

Angelika Kimmig, Guy Van den Broeck, Luc De Raedt

J. Appl. Log., 2017

A Collective, Probabilistic Approach to Schema Mapping: Appendix.

Angelika Kimmig, Alex Memory, Renée J. Miller, Lise Getoor

CoRR, 2017

Domain Recursion for Lifted Inference with Existential Quantifiers.

Seyed Mehran Kazemi, Angelika Kimmig, Guy Van den Broeck, David Poole

CoRR, 2017

Solving Probability Problems in Natural Language.

Anton Dries, Angelika Kimmig, Jesse Davis, Vaishak Belle, Luc De Raedt

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

A Collective, Probabilistic Approach to Schema Mapping.

Angelika Kimmig, Alex Memory, Renée J. Miller, Lise Getoor

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

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

Proceedings of the Principles and Practice of Constraint Programming, 2017

2016

T_P-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

New Liftable Classes for First-Order Probabilistic Inference.

Seyed Mehran Kazemi, Angelika Kimmig, Guy Van den Broeck, David Poole

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.

Jonas Vlasselaer, Angelika Kimmig, Anton Dries, Wannes Meert, Luc De Raedt

Proceedings of the Beyond NP, 2016

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

Probabilistic (logic) programming concepts.

Luc De Raedt, Angelika Kimmig

Mach. Learn., 2015

Lifted graphical models: a survey.

Angelika Kimmig, Lilyana Mihalkova, Lise Getoor

Mach. Learn., 2015

Lazy Explanation-Based Approximation for Probabilistic Logic Programming.

Joris Renkens, Angelika Kimmig, Luc De Raedt

CoRR, 2015

ProbLog2: Probabilistic Logic Programming.

Anton Dries, Angelika Kimmig, Wannes Meert, Joris Renkens, Guy Van den Broeck, Jonas Vlasselaer, Luc De Raedt

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

Anytime Inference in Probabilistic Logic Programs with Tp-Compilation.

Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt

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

2014

Finding relational redescriptions.

Esther Galbrun, Angelika Kimmig

Mach. Learn., 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

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

PageRank, ProPPR, and Stochastic Logic Programs.

Dries Van Daele, Angelika Kimmig, Luc De Raedt

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

Subgraph pattern matching over uncertain graphs with identity linkage uncertainty.

Walaa Eldin Moustafa, Angelika Kimmig, Amol Deshpande, Lise Getoor

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

Explanation-Based Approximate Weighted Model Counting for Probabilistic Logics.

Joris Renkens, Angelika Kimmig, Guy Van den Broeck, Luc De Raedt

Proceedings of the Statistical Relational Artificial Intelligence, 2014

2013

Probabilistic Programming Concepts.

Luc De Raedt, Angelika Kimmig

CoRR, 2013

A Flexible Framework for Probabilistic Models of Social Trust.

Bert Huang, Angelika Kimmig, Lise Getoor, Jennifer Golbeck

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

10 Years of Probabilistic Querying - What Next?

Martin Theobald, Luc De Raedt, Maximilian Dylla, Angelika Kimmig, Iris Miliaraki

Proceedings of the Advances in Databases and Information Systems, 2013

2012

Patterns and Logic for Reasoning with Networks.

Angelika Kimmig, Esther Galbrun, Hannu Toivonen, Luc De Raedt

Proceedings of the Bisociative Knowledge Discovery, 2012

Link and Node Prediction in Metabolic Networks with Probabilistic Logic.

Angelika Kimmig, Fabrizio Costa

Proceedings of the Bisociative Knowledge Discovery, 2012

Probabilistic Soft Logic for Trust Analysis in Social Networks.

Bert Huang, Angelika Kimmig, Lise Getoor, Jennifer Golbeck

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

Graph Summarization in Annotated Data Using Probabilistic Soft Logic.

Alex Memory, Angelika Kimmig, Stephen H. Bach, Louiqa Raschid, Lise Getoor

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

Towards Finding Relational Redescriptions.

Esther Galbrun, Angelika Kimmig

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

2011

On the implementation of the probabilistic logic programming language ProbLog.

Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha

Theory Pract. Log. Program., 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

An Algebraic Prolog for Reasoning about Possible Worlds.

Angelika Kimmig, Guy Van den Broeck, Luc De Raedt

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.

Angelika Kimmig

PhD thesis, 2010

DNF Sampling for ProbLog Inference

Dimitar Sht. Shterionov, Angelika Kimmig, Theofrastos Mantadelis, Gerda Janssens

CoRR, 2010

Preprocessing Boolean Formulae for BDDs in a Probabilistic Context.

Theofrastos Mantadelis, Ricardo Rocha, Angelika Kimmig, Gerda Janssens

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 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

Proceedings of the ECAI 2010, 2010

Probabilistic Inductive Querying Using ProbLog.

Luc De Raedt, Angelika Kimmig, Bernd Gutmann, Kristian Kersting, Vítor Santos Costa, Hannu Toivonen

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

2009

Local Query Mining in a Probabilistic Prolog.

Angelika Kimmig, Luc De Raedt

Proceedings of the IJCAI 2009, 2009

2008

Compressing probabilistic Prolog programs.

Luc De Raedt, Kristian Kersting, Angelika Kimmig, Kate Revoredo, Hannu Toivonen

Mach. Learn., 2008

Parameter Learning in Probabilistic Databases: A Least Squares Approach.

Bernd Gutmann, Angelika Kimmig, Kristian Kersting, Luc De Raedt

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

On the Efficient Execution of ProbLog Programs.

Angelika Kimmig, Vítor Santos Costa, Ricardo Rocha, Bart Demoen, Luc De Raedt

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

2007

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

Luc De Raedt, Angelika Kimmig, Hannu Toivonen

Proceedings of the IJCAI 2007, 2007

Probabilistic Explanation Based Learning.

Angelika Kimmig, Luc De Raedt, Hannu Toivonen

Proceedings of the Machine Learning: ECML 2007, 2007

2006

Revising Probabilistic Prolog Programs.

Luc De Raedt, Kristian Kersting, Angelika Kimmig, Kate Revoredo, Hannu Toivonen

Proceedings of the Inductive Logic Programming, 16th International Conference, 2006