Angelika Kimmig
9 papers · 2015–2023 · 5 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
🌍 Conference Polyglot · Silver 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (18) 🐣 Hot Topic Early Bird
🧬
Topic Evolution
🏆
Keyword Champion
(4)
📈
Trend Setter
🔥
Unstoppable · Bronze
🚀
Conference Pioneer
Venues
Top co-authors
Research topics
Artificial Intelligence
(7)
Bayesian & Probabilistic · Artificial Intelligence
(6)
Machine Learning
(4)
Core AI
(3)
Natural Language Processing
(2)
Applications
(2)
Bayesian & Probabilistic · Machine Learning
(2)
Core Methods
(2)
Optimization & Theory
(2)
Deep Learning
(1)
Knowledge & Reasoning
(1)
Learning Types
(1)
Models
(1)
Reasoning
(1)
Keywords
probabilistic logic programming
(4)
probabilistic programming
(3)
probabilistic reasoning
(2)
probabilistic inference
(2)
probability word problem
(2)
natural language understanding
(1)
deep learning
(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)
Papers
Neural probabilistic logic programming in discrete-continuous domains
UAI 2023
Learning CNF Theories Using MDL and Predicate Invention
IJCAI 2021
Mapping probability word problems to executable representations
EMNLP 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
NeurIPS 2018
Solving Probability Problems in Natural Language
IJCAI 2017
New Liftable Classes for First-Order Probabilistic Inference
NeurIPS 2016
Anytime Inference in Probabilistic Logic Programs with Tp-Compilation
IJCAI 2015