Angelika Kimmig
9 papers
· 2015–2023
· 5 conferences
· across top CS/AI conferences
Achievements
π£
Hot Topic Early Bird
π§
Keyword Pioneer
π
Conference Polyglot
(5)
π
Academic Marathon
(8)
π
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)