Angelika Kimmig
9 papers · 2015–2023 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
๐ Cross-Pollinator (4) ๐ Conference Polyglot (5) ๐ Academic Marathon (8) ๐งญ Keyword Pioneer ๐ Renaissance Researcher (5)
๐
Interdisciplinary Bridge
๐บ๏ธ
Taxonomy Completionist
(17)
๐
Cross-Pollinator
(4)
๐งฌ
Topic Evolution
๐ฅ
Unstoppable
(7)
๐
Conference Pioneer
Conferences
IJCAI (3)
AAAI (2)
NIPS (2)
EMNLP (1)
UAI (1)
Top co-authors
Keywords
probabilistic programming
(3)
probabilistic logic programming
(3)
probabilistic inference
(2)
probability word problem
(2)
natural language understanding
(1)
probabilistic reasoning
(1)
decision making under uncertainty
(1)
lifted inference
(1)
first-order logic
(1)
expected utility
(1)
knowledge compilation
(1)
knowledge graph
(1)
graphical model
(1)
weighted model counting
(1)
sat solving
(1)
predicate invention
(1)
cnf theory
(1)
mdl principle
(1)
inverse resolution
(1)
frequent pattern mining
(1)
Papers
Neural probabilistic logic programming in discrete-continuous domains
UAI 2023
Mapping probability word problems to executable representations
EMNLP 2021
Learning CNF Theories Using MDL and Predicate Invention
IJCAI 2021
Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs
AAAI 2020
Probabilistic Logic Programming with Beta-Distributed Random Variables
AAAI 2019
DeepProbLog: Neural Probabilistic Logic Programming
NIPS 2018
Solving Probability Problems in Natural Language
IJCAI 2017
New Liftable Classes for First-Order Probabilistic Inference
NIPS 2016
Anytime Inference in Probabilistic Logic Programs with Tp-Compilation
IJCAI 2015