Angelika Kimmig

ORCID

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 46

Top Venues

Katholieke Universiteit Leuven, Belgium (PHD)

Education History

Katholieke Universiteit Leuven, Belgium

PHD

Publications

Pedro Zuidberg Dos Martires, Luc De Raedt, Angelika Kimmig
Declarative Probabilistic Logic Programming in Discrete-Continuous Domains. CoRR (2023)
Lennert De Smet, Pedro Zuidberg Dos Martires, Robin Manhaeve, Giuseppe Marra, Angelika Kimmig, Luc De Raedt
Neural Probabilistic Logic Programming in Discrete-Continuous Domains. CoRR (2023)
Pietro Totis, Angelika Kimmig, Luc De Raedt
smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation. CoRR (2023)
Lennert De Smet, Pedro Zuidberg Dos Martires, Robin Manhaeve, Giuseppe Marra, Angelika Kimmig, Luc De Raedt
Neural probabilistic logic programming in discrete-continuous domains. UAI (2023)
Marc Roig Vilamala, Tianwei Xing, Harrison Taylor, Luis Garcia, Mani Srivastava, Lance M. Kaplan, Alun D. Preece, Angelika Kimmig, Federico Cerutti
DeepProbCEP: A neuro-symbolic approach for complex event processing in adversarial settings. Expert Syst. Appl. 215 (2023)
Pietro Totis, Jesse Davis, Luc De Raedt, Angelika Kimmig
Lifted Reasoning for Combinatorial Counting. J. Artif. Intell. Res. 76 (2023)
Federico Cerutti, Lance M. Kaplan, Angelika Kimmig, Murat Sensoy
Handling epistemic and aleatory uncertainties in probabilistic circuits. Mach. Learn. 111 (4) (2022)
Rafael Kiesel, Pietro Totis, Angelika Kimmig
Efficient Knowledge Compilation Beyond Weighted Model Counting. CoRR (2022)
Rafael Kiesel, Pietro Totis, Angelika Kimmig
Efficient Knowledge Compilation Beyond Weighted Model Counting. Theory Pract. Log. Program. 22 (4) (2022)
Pietro Totis, Angelika Kimmig, Luc De Raedt
SMProbLog: Stable Model Semantics in ProbLog and its Applications in Argumentation. CoRR (2021)
Simon Suster, Pieter Fivez, Pietro Totis, Angelika Kimmig, Jesse Davis, Luc De Raedt, Walter Daelemans
Mapping probability word problems to executable representations. EMNLP (1) (2021)
Robin Manhaeve, Sebastijan Dumancic, Angelika Kimmig, Thomas Demeester, Luc De Raedt
Neural probabilistic logic programming in DeepProbLog. Artif. Intell. 298 (2021)
Marc Roig Vilamala, Tianwei Xing, Harrison Taylor, Luis Garcia, Mani B. Srivastava, Lance M. Kaplan, Alun D. Preece, Angelika Kimmig, Federico Cerutti
Using DeepProbLog to perform Complex Event Processing on an Audio Stream. CoRR (2021)
Arcchit Jain, Clément Gautrais, Angelika Kimmig, Luc De Raedt
Learning CNF Theories Using MDL and Predicate Invention. IJCAI (2021)
Federico Cerutti, Lance M. Kaplan, Angelika Kimmig, Murat Sensoy
Handling Epistemic and Aleatory Uncertainties in Probabilistic Circuits. CoRR (2021)
Sam Vente, Angelika Kimmig, Alun David Preece, Federico Cerutti
Increasing Negotiation Performance at the Edge of the Network. EUMAS/AT (2020)
Sam Vente, Angelika Kimmig, Alun D. Preece, Federico Cerutti
Increasing negotiation performance at the edge of the network. CoRR (2020)
Marc Roig Vilamala, Harrison Taylor, Tianwei Xing, Luis Garcia, Mani B. Srivastava, Lance M. Kaplan, Alun D. Preece, Angelika Kimmig, Federico Cerutti
A Hybrid Neuro-Symbolic Approach for Complex Event Processing. CoRR (2020)
Sam Vente, Angelika Kimmig, Alun D. Preece, Federico Cerutti
The current state of automated negotiation theory: a literature review. CoRR (2020)
Efthymia Tsamoura, Víctor Gutiérrez-Basulto, Angelika Kimmig
Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs. AAAI (2020)
Efthymia Tsamoura, Víctor Gutiérrez-Basulto, Angelika Kimmig
Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs (Technical Report). CoRR (2019)
Robin Manhaeve, Sebastijan Dumancic, Angelika Kimmig, Thomas Demeester, Luc De Raedt
DeepProbLog: Neural Probabilistic Logic Programming. BNAIC/BENELEARN (2019)
Robin Manhaeve, Sebastijan Dumancic, Angelika Kimmig, Thomas Demeester, Luc De Raedt
DeepProbLog: Neural Probabilistic Logic Programming. CoRR (2019)
Luc De Raedt, Robin Manhaeve, Sebastijan Dumancic, Thomas Demeester, Angelika Kimmig
Neuro-Symbolic = Neural + Logical + Probabilistic. NeSy@IJCAI (2019)
Angelika Kimmig, Alex Memory, Renée J. Miller, Lise Getoor
A Collective, Probabilistic Approach to Schema Mapping Using Diverse Noisy Evidence. IEEE Trans. Knowl. Data Eng. 31 (8) (2019)
Federico Cerutti, Lance M. Kaplan, Angelika Kimmig, Murat Sensoy
Probabilistic Logic Programming with Beta-Distributed Random Variables. AAAI (2019)
Federico Cerutti, Lance M. Kaplan, Angelika Kimmig, Murat Sensoy
Probabilistic Logic Programming with Beta-Distributed Random Variables. CoRR (2018)
Robin Manhaeve, Sebastijan Dumancic, Angelika Kimmig, Thomas Demeester, Luc De Raedt
DeepProbLog: Neural Probabilistic Logic Programming. CoRR (2018)
Robin Manhaeve, Sebastijan Dumancic, Angelika Kimmig, Thomas Demeester, Luc De Raedt
DeepProbLog: Neural Probabilistic Logic Programming. NeurIPS (2018)
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
Learning and Reasoning in Complex Coalition Information Environments: A Critical Analysis. FUSION (2018)
Angelika Kimmig, Guy Van den Broeck, Luc De Raedt
Algebraic model counting. J. Appl. Log. 22 (2017)
Seyed Mehran Kazemi, Angelika Kimmig, Guy Van den Broeck, David Poole
Domain Recursion for Lifted Inference with Existential Quantifiers. CoRR (2017)
Angelika Kimmig, Alex Memory, Renée J. Miller, Lise Getoor
A Collective, Probabilistic Approach to Schema Mapping. ICDE (2017)
Anton Dries, Angelika Kimmig, Jesse Davis, Vaishak Belle, Luc De Raedt
Solving Probability Problems in Natural Language. IJCAI (2017)
Angelika Kimmig, Alex Memory, Renée J. Miller, Lise Getoor
A Collective, Probabilistic Approach to Schema Mapping: Appendix. CoRR (2017)
Anna L. D. Latour, Behrouz Babaki, Anton Dries, Angelika Kimmig, Guy Van den Broeck, Siegfried Nijssen
Combining Stochastic Constraint Optimization and Probabilistic Programming - From Knowledge Compilation to Constraint Solving. CP (2017)
Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt
-Compilation for inference in probabilistic logic programs. Int. J. Approx. Reason. 78 (2016)
Jonas Vlasselaer, Angelika Kimmig, Anton Dries, Wannes Meert, Luc De Raedt
Knowledge Compilation and Weighted Model Counting for Inference in Probabilistic Logic Programs. AAAI Workshop: Beyond NP (2016)
Seyed Mehran Kazemi, Angelika Kimmig, Guy Van den Broeck, David Poole
New Liftable Classes for First-Order Probabilistic Inference. NIPS (2016)
Seyed Mehran Kazemi, Angelika Kimmig, Guy Van den Broeck, David Poole
New Liftable Classes for First-Order Probabilistic Inference. CoRR (2016)
James Cussens, Luc De Raedt, Angelika Kimmig, Taisuke Sato
Introduction to the special issue on probability, logic and learning. Theory Pract. Log. Program. 15 (2) (2015)
Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt
Anytime Inference in Probabilistic Logic Programs with Tp-Compilation. IJCAI (2015)
Joris Renkens, Angelika Kimmig, Luc De Raedt
Lazy Explanation-Based Approximation for Probabilistic Logic Programming. CoRR (2015)
Luc De Raedt, Angelika Kimmig
Probabilistic (logic) programming concepts. Mach. Learn. 100 (1) (2015)
Angelika Kimmig, Lilyana Mihalkova, Lise Getoor
Lifted graphical models: a survey. Mach. Learn. 99 (1) (2015)
Anton Dries, Angelika Kimmig, Wannes Meert, Joris Renkens, Guy Van den Broeck, Jonas Vlasselaer, Luc De Raedt
ProbLog2: Probabilistic Logic Programming. ECML/PKDD (3) (2015)
Dimitar Sht. Shterionov, Joris Renkens, Jonas Vlasselaer, Angelika Kimmig, Wannes Meert, Gerda Janssens
The Most Probable Explanation for Probabilistic Logic Programs with Annotated Disjunctions. ILP (2014)
Esther Galbrun, Angelika Kimmig
Finding relational redescriptions. Mach. Learn. 96 (3) (2014)
Walaa Eldin Moustafa, Angelika Kimmig, Amol Deshpande, Lise Getoor
Subgraph pattern matching over uncertain graphs with identity linkage uncertainty. ICDE (2014)
Dries Van Daele, Angelika Kimmig, Luc De Raedt
PageRank, ProPPR, and Stochastic Logic Programs. ILP (2014)
Joris Renkens, Angelika Kimmig, Guy Van den Broeck, Luc De Raedt
Explanation-Based Approximate Weighted Model Counting for Probabilistic Logics. AAAI (2014)
Joris Renkens, Angelika Kimmig, Guy Van den Broeck, Luc De Raedt
Explanation-Based Approximate Weighted Model Counting for Probabilistic Logics. AAAI Workshop: Statistical Relational Artificial Intelligence (2014)
Martin Theobald, Luc De Raedt, Maximilian Dylla, Angelika Kimmig, Iris Miliaraki
10 Years of Probabilistic Querying - What Next? ADBIS (2013)
Walaa Eldin Moustafa, Angelika Kimmig, Amol Deshpande, Lise Getoor
Subgraph Pattern Matching over Uncertain Graphs with Identity Linkage Uncertainty CoRR (2013)
Luc De Raedt, Angelika Kimmig
Probabilistic Programming Concepts. CoRR (2013)
Bert Huang, Angelika Kimmig, Lise Getoor, Jennifer Golbeck
A Flexible Framework for Probabilistic Models of Social Trust. SBP (2013)
Esther Galbrun, Angelika Kimmig
Towards Finding Relational Redescriptions. Discovery Science (2012)
Alex Memory, Angelika Kimmig, Stephen H. Bach, Louiqa Raschid, Lise Getoor
Graph Summarization in Annotated Data Using Probabilistic Soft Logic. URSW (2012)
Bert Huang, Angelika Kimmig, Lise Getoor, Jennifer Golbeck
Probabilistic Soft Logic for Trust Analysis in Social Networks. StarAI@UAI (2012)
Angelika Kimmig, Guy Van den Broeck, Luc De Raedt
Algebraic Model Counting CoRR (2012)
Angelika Kimmig, Guy Van den Broeck, Luc De Raedt
An Algebraic Prolog for Reasoning about Possible Worlds. AAAI (2011)
Bernd Gutmann, Ingo Thon, Angelika Kimmig, Maurice Bruynooghe, Luc De Raedt
The Magic of Logical Inference in Probabilistic Programming CoRR (2011)
Bernd Gutmann, Ingo Thon, Angelika Kimmig, Maurice Bruynooghe, Luc De Raedt
The magic of logical inference in probabilistic programming. Theory Pract. Log. Program. 11 (4-5) (2011)
Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha
On the implementation of the probabilistic logic programming language ProbLog. Theory Pract. Log. Program. 11 (2-3) (2011)
Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha
On the Implementation of the Probabilistic Logic Programming Language ProbLog CoRR (2010)
Dimitar Sht. Shterionov, Angelika Kimmig, Theofrastos Mantadelis, Gerda Janssens
DNF Sampling for ProbLog Inference CoRR (2010)
Maurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt
ProbLog Technology for Inference in a Probabilistic First Order Logic. ECAI (2010)
Theofrastos Mantadelis, Ricardo Rocha, Angelika Kimmig, Gerda Janssens
Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. JELIA (2010)
Angelika Kimmig, Luc De Raedt
Local Query Mining in a Probabilistic Prolog. IJCAI (2009)
Angelika Kimmig, Vítor Santos Costa, Ricardo Rocha, Bart Demoen, Luc De Raedt
On the Efficient Execution of ProbLog Programs. ICLP (2008)
Bernd Gutmann, Angelika Kimmig, Kristian Kersting, Luc De Raedt
Parameter Learning in Probabilistic Databases: A Least Squares Approach. ECML/PKDD (1) (2008)
Luc De Raedt, Kristian Kersting, Angelika Kimmig, Kate Revoredo, Hannu Toivonen
Compressing probabilistic Prolog programs. Mach. Learn. 70 (2-3) (2008)
Angelika Kimmig, Luc De Raedt, Hannu Toivonen
Probabilistic Explanation Based Learning. ECML (2007)
Luc De Raedt, Angelika Kimmig, Hannu Toivonen
ProbLog: A Probabilistic Prolog and Its Application in Link Discovery. IJCAI (2007)
Luc De Raedt, Kristian Kersting, Angelika Kimmig, Kate Revoredo, Hannu Toivonen
Revising Probabilistic Prolog Programs. ILP (2006)

Angelika Kimmig.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Angelika Kimmig