Skip to content

Angelika Kimmig

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

28

Venues

15

Active years

2006–2024

Best venue rank

A*

Where they publish

Papers

28 indexed papers, newest first.

YearVenueTitleAuthors
2024DISApproximate Compression of CNF Concepts.Sieben Bocklandt, Vincent Derkinderen, Angelika Kimmig, Luc De Raedt
2023UAINeural probabilistic logic programming in discrete-continuous domains.Lennert De Smet, Pedro Zuidberg Dos Martires, Robin Manhaeve, Giuseppe Marra, Angelika Kimmig, Luc De Raedt
2021EMNLPMapping probability word problems to executable representations.Simon Suster, Pieter Fivez, Pietro Totis, Angelika Kimmig, Jesse Davis, Luc De Raedt, Walter Daelemans
2021IJCAILearning CNF Theories Using MDL and Predicate Invention.Arcchit Jain, Clment Gautrais, Angelika Kimmig, Luc De Raedt
2020AAAIBeyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs.Efthymia Tsamoura, Vctor Gutirrez-Basulto, Angelika Kimmig
2020EUMASIncreasing Negotiation Performance at the Edge of the Network.Sam Vente, Angelika Kimmig, Alun David Preece, Federico Cerutti
2019AAAIProbabilistic Logic Programming with Beta-Distributed Random Variables.Federico Cerutti, Lance M. Kaplan, Angelika Kimmig, Murat Sensoy
2019NeSyNeuro-Symbolic = Neural + Logical + Probabilistic.Luc De Raedt, Robin Manhaeve, Sebastijan Dumancic, Thomas Demeester, Angelika Kimmig
2018FUSIONLearning 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
2017CPCombining 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
2017ICDEA Collective, Probabilistic Approach to Schema Mapping.Angelika Kimmig, Alex Memory, Rene J. Miller, Lise Getoor
2017IJCAISolving Probability Problems in Natural Language.Anton Dries, Angelika Kimmig, Jesse Davis, Vaishak Belle, Luc De Raedt
2016AAAIKnowledge Compilation and Weighted Model Counting for Inference in Probabilistic Logic Programs.Jonas Vlasselaer, Angelika Kimmig, Anton Dries, Wannes Meert, Luc De Raedt
2015IJCAIAnytime Inference in Probabilistic Logic Programs with Tp-Compilation.Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt
2014AAAIExplanation-Based Approximate Weighted Model Counting for Probabilistic Logics.Joris Renkens, Angelika Kimmig, Guy Van den Broeck, Luc De Raedt
2014AAAIExplanation-Based Approximate Weighted Model Counting for Probabilistic Logics.Joris Renkens, Angelika Kimmig, Guy Van den Broeck, Luc De Raedt
2014ICDESubgraph pattern matching over uncertain graphs with identity linkage uncertainty.Walaa Eldin Moustafa, Angelika Kimmig, Amol Deshpande, Lise Getoor
2014ILPPageRank, ProPPR, and Stochastic Logic Programs.Dries Van Daele, Angelika Kimmig, Luc De Raedt
2014ILPThe Most Probable Explanation for Probabilistic Logic Programs with Annotated Disjunctions.Dimitar Sht. Shterionov, Joris Renkens, Jonas Vlasselaer, Angelika Kimmig, Wannes Meert, Gerda Janssens
2013ADBIS10 Years of Probabilistic Querying - What Next?Martin Theobald, Luc De Raedt, Maximilian Dylla, Angelika Kimmig, Iris Miliaraki
2012DISTowards Finding Relational Redescriptions.Esther Galbrun, Angelika Kimmig
2011AAAIAn Algebraic Prolog for Reasoning about Possible Worlds.Angelika Kimmig, Guy Van den Broeck, Luc De Raedt
2010ECAIProbLog Technology for Inference in a Probabilistic First Order Logic.Maurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt
2010JELIAPreprocessing Boolean Formulae for BDDs in a Probabilistic Context.Theofrastos Mantadelis, Ricardo Rocha, Angelika Kimmig, Gerda Janssens
2009IJCAILocal Query Mining in a Probabilistic Prolog.Angelika Kimmig, Luc De Raedt
2008ICLPOn the Efficient Execution of ProbLog Programs.Angelika Kimmig, Vtor Santos Costa, Ricardo Rocha, Bart Demoen, Luc De Raedt
2007IJCAIProbLog: A Probabilistic Prolog and Its Application in Link Discovery.Luc De Raedt, Angelika Kimmig, Hannu Toivonen
2006ILPRevising Probabilistic Prolog Programs.Luc De Raedt, Kristian Kersting, Angelika Kimmig, Kate Revoredo, Hannu Toivonen