Antonius Weinzierl
5 papers
· 2016–2019
· 2 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(2)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(11)
π§
Keyword Pioneer
π
Cross-Pollinator
(5)
π
Trend Setter
π
Conference Pioneer
Conferences
IJCAI (4)
AAAI (1)
Top co-authors
Keywords
lazy grounding
(3)
answer set programming
(2)
complexity analysis
(1)
external source
(1)
nonmonotonic logic
(1)
value invention
(1)
conflict-driven clause learning
(1)
rule-based system
(1)
answer-set programming
(1)
grounding bottleneck
(1)
lazy normalization
(1)
multi-context system
(1)
inconsistency management
(1)
preferred repair
(1)
aggregate normalization
(1)
knowledge representation
(1)
aggregate handling
(1)
knowledge base
(1)