Antonius Weinzierl
5 papers · 2016–2019 · 2 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 ↓
π
Conference Polyglot Β· Bronze
π
Interdisciplinary Bridge Β· Silver
πΊοΈ
Taxonomy Completionist
(11)
π
Conference Pioneer
Top co-authors
Research topics
Keywords
answer set programming
(3)
lazy grounding
(3)
complexity analysis
(1)
external source
(1)
value invention
(1)
conflict-driven clause learning
(1)
rule-based system
(1)
grounding bottleneck
(1)
non-monotonic logic
(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