default search action
Angelika Kimmig
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j17]Pedro Zuidberg Dos Martires, Luc De Raedt, Angelika Kimmig:
Declarative probabilistic logic programming in discrete-continuous domains. Artif. Intell. 337: 104227 (2024) - 2023
- [j16]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: 119376 (2023) - [j15]Pietro Totis, Jesse Davis, Luc De Raedt, Angelika Kimmig:
Lifted Reasoning for Combinatorial Counting. J. Artif. Intell. Res. 76: 1-58 (2023) - [j14]Pietro Totis, Luc De Raedt, Angelika Kimmig:
smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation. Theory Pract. Log. Program. 23(6): 1198-1247 (2023) - [c36]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: 529-538 - [i24]Pedro Zuidberg Dos Martires, Luc De Raedt, Angelika Kimmig:
Declarative Probabilistic Logic Programming in Discrete-Continuous Domains. CoRR abs/2302.10674 (2023) - [i23]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 abs/2303.04660 (2023) - [i22]Pietro Totis, Angelika Kimmig, Luc De Raedt:
smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation. CoRR abs/2304.00879 (2023) - 2022
- [j13]Federico Cerutti, Lance M. Kaplan, Angelika Kimmig, Murat Sensoy:
Handling epistemic and aleatory uncertainties in probabilistic circuits. Mach. Learn. 111(4): 1259-1301 (2022) - [j12]Rafael Kiesel, Pietro Totis, Angelika Kimmig:
Efficient Knowledge Compilation Beyond Weighted Model Counting. Theory Pract. Log. Program. 22(4): 505-522 (2022) - [i21]Rafael Kiesel, Pietro Totis, Angelika Kimmig:
Efficient Knowledge Compilation Beyond Weighted Model Counting. CoRR abs/2205.07496 (2022) - 2021
- [j11]Robin Manhaeve, Sebastijan Dumancic, Angelika Kimmig, Thomas Demeester, Luc De Raedt:
Neural probabilistic logic programming in DeepProbLog. Artif. Intell. 298: 103504 (2021) - [c35]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: 3627-3640 - [c34]Arcchit Jain, Clément Gautrais, Angelika Kimmig, Luc De Raedt:
Learning CNF Theories Using MDL and Predicate Invention. IJCAI 2021: 2599-2605 - [p4]Robin Manhaeve, Giuseppe Marra, Thomas Demeester, Sebastijan Dumancic, Angelika Kimmig, Luc De Raedt:
Neuro-Symbolic AI = Neural + Logical + Probabilistic AI. Neuro-Symbolic Artificial Intelligence 2021: 173-191 - [i20]Federico Cerutti, Lance M. Kaplan, Angelika Kimmig, Murat Sensoy:
Handling Epistemic and Aleatory Uncertainties in Probabilistic Circuits. CoRR abs/2102.10865 (2021) - [i19]Pietro Totis, Angelika Kimmig, Luc De Raedt:
SMProbLog: Stable Model Semantics in ProbLog and its Applications in Argumentation. CoRR abs/2110.01990 (2021) - [i18]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 abs/2110.08090 (2021) - 2020
- [c33]Efthymia Tsamoura, Víctor Gutiérrez-Basulto, Angelika Kimmig:
Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs. AAAI 2020: 10284-10291 - [c32]Sam Vente, Angelika Kimmig, Alun David Preece, Federico Cerutti:
Increasing Negotiation Performance at the Edge of the Network. EUMAS/AT 2020: 351-365 - [e1]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:
Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020. EPTCS 325, 2020 [contents] - [i17]Sam Vente, Angelika Kimmig, Alun D. Preece, Federico Cerutti:
Increasing negotiation performance at the edge of the network. CoRR abs/2003.13668 (2020) - [i16]Sam Vente, Angelika Kimmig, Alun D. Preece, Federico Cerutti:
The current state of automated negotiation theory: a literature review. CoRR abs/2004.02614 (2020) - [i15]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 abs/2009.03420 (2020)
2010 – 2019
- 2019
- [j10]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): 1426-1439 (2019) - [c31]Federico Cerutti, Lance M. Kaplan, Angelika Kimmig, Murat Sensoy:
Probabilistic Logic Programming with Beta-Distributed Random Variables. AAAI 2019: 7769-7776 - [c30]Robin Manhaeve, Sebastijan Dumancic, Angelika Kimmig, Thomas Demeester, Luc De Raedt:
DeepProbLog: Neural Probabilistic Logic Programming. BNAIC/BENELEARN 2019 - [c29]Luc De Raedt, Robin Manhaeve, Sebastijan Dumancic, Thomas Demeester, Angelika Kimmig:
Neuro-Symbolic = Neural + Logical + Probabilistic. NeSy@IJCAI 2019 - [i14]Robin Manhaeve, Sebastijan Dumancic, Angelika Kimmig, Thomas Demeester, Luc De Raedt:
DeepProbLog: Neural Probabilistic Logic Programming. CoRR abs/1907.08194 (2019) - [i13]Efthymia Tsamoura, Víctor Gutiérrez-Basulto, Angelika Kimmig:
Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs (Technical Report). CoRR abs/1911.07750 (2019) - 2018
- [c28]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: 1-8 - [c27]Robin Manhaeve, Sebastijan Dumancic, Angelika Kimmig, Thomas Demeester, Luc De Raedt:
DeepProbLog: Neural Probabilistic Logic Programming. NeurIPS 2018: 3753-3763 - [i12]Robin Manhaeve, Sebastijan Dumancic, Angelika Kimmig, Thomas Demeester, Luc De Raedt:
DeepProbLog: Neural Probabilistic Logic Programming. CoRR abs/1805.10872 (2018) - [i11]Federico Cerutti, Lance M. Kaplan, Angelika Kimmig, Murat Sensoy:
Probabilistic Logic Programming with Beta-Distributed Random Variables. CoRR abs/1809.07888 (2018) - 2017
- [j9]Angelika Kimmig, Guy Van den Broeck, Luc De Raedt:
Algebraic model counting. J. Appl. Log. 22: 46-62 (2017) - [c26]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: 495-511 - [c25]Angelika Kimmig, Alex Memory, Renée J. Miller, Lise Getoor:
A Collective, Probabilistic Approach to Schema Mapping. ICDE 2017: 921-932 - [c24]Anton Dries, Angelika Kimmig, Jesse Davis, Vaishak Belle, Luc De Raedt:
Solving Probability Problems in Natural Language. IJCAI 2017: 3981-3987 - [i10]Angelika Kimmig, Alex Memory, Renée J. Miller, Lise Getoor:
A Collective, Probabilistic Approach to Schema Mapping: Appendix. CoRR abs/1702.03447 (2017) - [i9]Seyed Mehran Kazemi, Angelika Kimmig, Guy Van den Broeck, David Poole:
Domain Recursion for Lifted Inference with Existential Quantifiers. CoRR abs/1707.07763 (2017) - 2016
- [j8]Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt:
TP-Compilation for inference in probabilistic logic programs. Int. J. Approx. Reason. 78: 15-32 (2016) - [c23]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 - [c22]Seyed Mehran Kazemi, Angelika Kimmig, Guy Van den Broeck, David Poole:
New Liftable Classes for First-Order Probabilistic Inference. NIPS 2016: 3117-3125 - [i8]Seyed Mehran Kazemi, Angelika Kimmig, Guy Van den Broeck, David Poole:
New Liftable Classes for First-Order Probabilistic Inference. CoRR abs/1610.08445 (2016) - 2015
- [j7]Angelika Kimmig, Lilyana Mihalkova, Lise Getoor:
Lifted graphical models: a survey. Mach. Learn. 99(1): 1-45 (2015) - [j6]Luc De Raedt, Angelika Kimmig:
Probabilistic (logic) programming concepts. Mach. Learn. 100(1): 5-47 (2015) - [j5]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): 145-146 (2015) - [c21]Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt:
Anytime Inference in Probabilistic Logic Programs with Tp-Compilation. IJCAI 2015: 1852-1858 - [c20]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: 312-315 - [i7]Joris Renkens, Angelika Kimmig, Luc De Raedt:
Lazy Explanation-Based Approximation for Probabilistic Logic Programming. CoRR abs/1507.02873 (2015) - 2014
- [j4]Esther Galbrun, Angelika Kimmig:
Finding relational redescriptions. Mach. Learn. 96(3): 225-248 (2014) - [c19]Joris Renkens, Angelika Kimmig, Guy Van den Broeck, Luc De Raedt:
Explanation-Based Approximate Weighted Model Counting for Probabilistic Logics. AAAI 2014: 2490-2496 - [c18]Joris Renkens, Angelika Kimmig, Guy Van den Broeck, Luc De Raedt:
Explanation-Based Approximate Weighted Model Counting for Probabilistic Logics. StarAI@AAAI 2014 - [c17]Walaa Eldin Moustafa, Angelika Kimmig, Amol Deshpande, Lise Getoor:
Subgraph pattern matching over uncertain graphs with identity linkage uncertainty. ICDE 2014: 904-915 - [c16]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: 139-153 - [c15]Dries Van Daele, Angelika Kimmig, Luc De Raedt:
PageRank, ProPPR, and Stochastic Logic Programs. ILP 2014: 168-180 - 2013
- [c14]Martin Theobald, Luc De Raedt, Maximilian Dylla, Angelika Kimmig, Iris Miliaraki:
10 Years of Probabilistic Querying - What Next? ADBIS 2013: 1-13 - [c13]Bert Huang, Angelika Kimmig, Lise Getoor, Jennifer Golbeck:
A Flexible Framework for Probabilistic Models of Social Trust. SBP 2013: 265-273 - [i6]Walaa Eldin Moustafa, Angelika Kimmig, Amol Deshpande, Lise Getoor:
Subgraph Pattern Matching over Uncertain Graphs with Identity Linkage Uncertainty. CoRR abs/1305.7006 (2013) - [i5]Luc De Raedt, Angelika Kimmig:
Probabilistic Programming Concepts. CoRR abs/1312.4328 (2013) - 2012
- [c12]Esther Galbrun, Angelika Kimmig:
Towards Finding Relational Redescriptions. Discovery Science 2012: 52-66 - [c11]Alex Memory, Angelika Kimmig, Stephen H. Bach, Louiqa Raschid, Lise Getoor:
Graph Summarization in Annotated Data Using Probabilistic Soft Logic. URSW 2012: 75-86 - [c10]Bert Huang, Angelika Kimmig, Lise Getoor, Jennifer Golbeck:
Probabilistic Soft Logic for Trust Analysis in Social Networks. StarAI@UAI 2012 - [p3]Angelika Kimmig, Esther Galbrun, Hannu Toivonen, Luc De Raedt:
Patterns and Logic for Reasoning with Networks. Bisociative Knowledge Discovery 2012: 122-143 - [p2]Angelika Kimmig, Fabrizio Costa:
Link and Node Prediction in Metabolic Networks with Probabilistic Logic. Bisociative Knowledge Discovery 2012: 407-426 - [i4]Angelika Kimmig, Guy Van den Broeck, Luc De Raedt:
Algebraic Model Counting. CoRR abs/1211.4475 (2012) - 2011
- [j3]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): 235-262 (2011) - [j2]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): 663-680 (2011) - [c9]Angelika Kimmig, Guy Van den Broeck, Luc De Raedt:
An Algebraic Prolog for Reasoning about Possible Worlds. AAAI 2011: 209-214 - [i3]Bernd Gutmann, Ingo Thon, Angelika Kimmig, Maurice Bruynooghe, Luc De Raedt:
The Magic of Logical Inference in Probabilistic Programming. CoRR abs/1107.5152 (2011) - 2010
- [b1]Angelika Kimmig:
A Probabilistic Prolog and its Applications (Een probabilistische prolog en zijn toepassingen) ; A Probabilistic Prolog and its Applications. Katholieke Universiteit Leuven, Belgium, 2010 - [c8]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: 719-724 - [c7]Theofrastos Mantadelis, Ricardo Rocha, Angelika Kimmig, Gerda Janssens:
Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. JELIA 2010: 260-272 - [p1]Luc De Raedt, Angelika Kimmig, Bernd Gutmann, Kristian Kersting, Vítor Santos Costa, Hannu Toivonen:
Probabilistic Inductive Querying Using ProbLog. Inductive Databases and Constraint-Based Data Mining 2010: 229-262 - [i2]Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha:
On the Implementation of the Probabilistic Logic Programming Language ProbLog. CoRR abs/1006.4442 (2010) - [i1]Dimitar Sht. Shterionov, Angelika Kimmig, Theofrastos Mantadelis, Gerda Janssens:
DNF Sampling for ProbLog Inference. CoRR abs/1009.3798 (2010)
2000 – 2009
- 2009
- [c6]Angelika Kimmig, Luc De Raedt:
Local Query Mining in a Probabilistic Prolog. IJCAI 2009: 1095-1100 - 2008
- [j1]Luc De Raedt, Kristian Kersting, Angelika Kimmig, Kate Revoredo, Hannu Toivonen:
Compressing probabilistic Prolog programs. Mach. Learn. 70(2-3): 151-168 (2008) - [c5]Angelika Kimmig, Vítor Santos Costa, Ricardo Rocha, Bart Demoen, Luc De Raedt:
On the Efficient Execution of ProbLog Programs. ICLP 2008: 175-189 - [c4]Bernd Gutmann, Angelika Kimmig, Kristian Kersting, Luc De Raedt:
Parameter Learning in Probabilistic Databases: A Least Squares Approach. ECML/PKDD (1) 2008: 473-488 - 2007
- [c3]Angelika Kimmig, Luc De Raedt, Hannu Toivonen:
Probabilistic Explanation Based Learning. ECML 2007: 176-187 - [c2]Luc De Raedt, Angelika Kimmig, Hannu Toivonen:
ProbLog: A Probabilistic Prolog and Its Application in Link Discovery. IJCAI 2007: 2462-2467 - 2006
- [c1]Luc De Raedt, Kristian Kersting, Angelika Kimmig, Kate Revoredo, Hannu Toivonen:
Revising Probabilistic Prolog Programs. ILP 2006: 30-33
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 20:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint