Antonius Weinzierl
5 papers · 2016–2019 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π 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)
Papers
Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming
AAAI 2019
Exploiting Justifications for Lazy Grounding of Answer Set Programs
IJCAI 2018
Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract)
IJCAI 2018
Lazy-Grounding for Answer Set Programs with External Source Access
IJCAI 2017
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access
IJCAI 2016