Angelika Kimmig

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