Seuraa
Antonius Weinzierl
Antonius Weinzierl
PostDoc, TU Wien (Vienna University of Technology), Austria
Vahvistettu sähköpostiosoite verkkotunnuksessa kr.tuwien.ac.at
Nimike
Viittaukset
Viittaukset
Vuosi
Finding explanations of inconsistency in multi-context systems
T Eiter, M Fink, P Schüller, A Weinzierl
Artificial Intelligence 216, 233-274, 2014
1172014
Finding Explanations of Inconsistency in Multi-Context Systems
T Eiter, M Fink, P Schüller, A Weinzierl
Twelfth International Conference on the Principles of Knowledge …, 2010
117*2010
Managed multi-context systems
G Brewka, T Eiter, M Fink, A Weinzierl
IJCAI Proceedings-International Joint Conference on Artificial Intelligence …, 2011
902011
Blending lazy-grounding and CDNL search for answer-set solving
A Weinzierl
Logic Programming and Nonmonotonic Reasoning: 14th International Conference …, 2017
532017
OMiGA: An Open Minded Grounding On-The-Fly Answer Set Solver.
M Dao-Tran, T Eiter, M Fink, G Weidinger, A Weinzierl
JELIA 7519, 480-483, 2012
532012
Preference-based inconsistency assessment in multi-context systems
T Eiter, M Fink, A Weinzierl
Logics in Artificial Intelligence: 12th European Conference, JELIA 2010 …, 2010
322010
Relational information exchange and aggregation in multi-context systems
M Fink, L Ghionna, A Weinzierl
Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011
302011
The DLVHEX system
T Eiter, S Germano, G Ianni, T Kaminski, C Redl, P Schüller, A Weinzierl
KI-Künstliche Intelligenz 32, 187-189, 2018
252018
Exploiting justifications for lazy grounding of answer set programs
B Bogaerts, A Weinzierl
IJCAI International Joint Conference on Artificial Intelligence 2018, 1737-1745, 2018
202018
Answer set programming with external source access
T Eiter, T Kaminski, C Redl, P Schüller, A Weinzierl
Reasoning Web. Semantic Interoperability on the Web: 13th International …, 2017
192017
Degrees of laziness in grounding: Effects of lazy-grounding strategies on ASP solving
R Taupe, A Weinzierl, G Friedrich
Logic Programming and Nonmonotonic Reasoning: 15th International Conference …, 2019
162019
Techniques for efficient lazy-grounding ASP solving
L Leutgeb, A Weinzierl
Declarative Programming and Knowledge Management: Conference on Declarative …, 2018
162018
Enhancing lazy grounding with lazy normalization in answer-set programming
J Bomanson, T Janhunen, A Weinzierl
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 2694-2702, 2019
152019
Exploiting partial assignments for efficient evaluation of answer set programs with external source access
T Eiter, T Kaminski, C Redl, A Weinzierl
Journal of Artificial Intelligence Research 62, 665-727, 2018
152018
Learning non-ground rules for answer-set solving
A Weinzierl
2nd Workshop on Grounding and Transformations for Theories With Variables …, 2013
142013
Introducing heuristics for lazy-grounding ASP solving
R Taupe, A Weinzierl, G Schenner
1st International Workshop on Practical Aspects of Answer Set Programming, 2017
132017
Four lessons in versatility or how query languages adapt to the web
F Bry, T Furche, B Linse, A Pohl, A Weinzierl, O Yestekhina
Semantic Techniques for the Web: The REWERSE Perspective, 50-160, 2009
12*2009
Comparing inconsistency resolutions in multi-context systems
A Weinzierl
New Directions in Logic, Language and Computation: ESSLLI 2010 and ESSLLI …, 2012
102012
Advancing lazy-grounding ASP solving techniques–restarts, phase saving, heuristics, and more
A Weinzierl, R Taupe, G Friedrich
Theory and Practice of Logic Programming 20 (5), 609-624, 2020
92020
Lazy-Grounding for Answer Set Programs with External Source Access.
T Eiter, T Kaminski, A Weinzierl
IJCAI, 1015-1022, 2017
92017
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20