Seguir
Antonius Weinzierl
Antonius Weinzierl
PostDoc, TU Wien (Vienna University of Technology), Austria
Dirección de correo verificada de kr.tuwien.ac.at
Título
Citado por
Citado por
Año
Finding explanations of inconsistency in multi-context systems
T Eiter, M Fink, P Schüller, A Weinzierl
Artificial Intelligence 216, 233-274, 2014
1202014
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
120*2010
Managed multi-context systems
G Brewka, T Eiter, M Fink, A Weinzierl
IJCAI Proceedings-International Joint Conference on Artificial Intelligence …, 2011
932011
Blending lazy-grounding and CDNL search for answer-set solving
A Weinzierl
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2017
592017
OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver
M Dao-Tran, T Eiter, M Fink, G Weidinger, A Weinzierl
Logics in Artificial Intelligence: 13th European Conference, JELIA 2012 …, 2012
542012
Preference-based inconsistency assessment in multi-context systems
T Eiter, M Fink, A Weinzierl
European Workshop on Logics in Artificial Intelligence, 143-155, 2010
322010
Relational information exchange and aggregation in multi-context systems
M Fink, L Ghionna, A Weinzierl
International Conference on Logic Programming and Nonmonotonic Reasoning …, 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
292018
Exploiting justifications for lazy grounding of answer set programs
B Bogaerts, A Weinzierl
IJCAI International Joint Conference on Artificial Intelligence 2018, 1737-1745, 2018
222018
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
202017
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
172019
Degrees of laziness in grounding: Effects of lazy-grounding strategies on ASP solving
R Taupe, A Weinzierl, G Friedrich
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2019
172019
Techniques for efficient lazy-grounding ASP solving
L Leutgeb, A Weinzierl
International Workshop on Functional and Constraint Logic Programming, 132-148, 2017
172017
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
162018
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
Learning non-ground rules for answer-set solving
A Weinzierl
2nd Workshop on Grounding and Transformations for Theories With Variables …, 2013
132013
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
122020
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
European Summer School in Logic, Language and Information, 158-174, 2010
102010
Lazy-Grounding for Answer Set Programs with External Source Access.
T Eiter, T Kaminski, A Weinzierl
IJCAI, 1015-1022, 2017
92017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20