Antonius Weinzierl
Antonius Weinzierl
PostDoc, TU Wien (Vienna University of Technology), Austria
Verified email at kr.tuwien.ac.at
Title
Cited by
Cited by
Year
Finding explanations of inconsistency in multi-context systems
T Eiter, M Fink, P Schüller, A Weinzierl
Artificial Intelligence 216, 233-274, 2014
1072014
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
107*2010
Managed multi-context systems
G Brewka, T Eiter, M Fink, A Weinzierl
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
822011
OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver
M Dao-Tran, T Eiter, M Fink, G Weidinger, A Weinzierl
European Workshop on Logics in Artificial Intelligence, 480-483, 2012
452012
Blending lazy-grounding and CDNL search for answer-set solving
A Weinzierl
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2017
372017
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
Preference-based inconsistency assessment in multi-context systems
T Eiter, M Fink, A Weinzierl
European Workshop on Logics in Artificial Intelligence, 143-155, 2010
302010
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, 50-160, 2009
24*2009
Learning non-ground rules for answer-set solving
A Weinzierl
2nd Workshop on Grounding and Transformations for Theories with Variables, 25-37, 2013
122013
Answer set programming with external source access
T Eiter, T Kaminski, C Redl, P Schüller, A Weinzierl
Reasoning Web International Summer School, 204-275, 2017
112017
The DLVHEX system
T Eiter, S Germano, G Ianni, T Kaminski, C Redl, P Schüller, A Weinzierl
KI-Künstliche Intelligenz 32 (2-3), 187-189, 2018
102018
Introducing heuristics for lazy-grounding ASP solving
R Taupe, A Weinzierl, G Schenner
1st International Workshop on Practical Aspects of Answer Set Programming, 2017
102017
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
92018
Exploiting justifications for lazy grounding of answer set programs
B Bogaerts, A Weinzierl
IJCAI International Joint Conference on Artificial Intelligence 2018, 1737-1745, 2018
82018
Techniques for efficient lazy-grounding ASP solving
L Leutgeb, A Weinzierl
Declarative Programming and Knowledge Management, 132-148, 2017
72017
Lazy-Grounding for Answer Set Programs with External Source Access.
T Eiter, T Kaminski, A Weinzierl
IJCAI, 1015-1022, 2017
72017
Answer Set Application Programming: a Case Study on Tetris.
P Schüller, A Weinzierl
ICLP (Technical Communications), 2015
72015
Comparing inconsistency resolutions in multi-context systems
A Weinzierl
New Directions in Logic, Language and Computation, 158-174, 2010
62010
Inconsistency management under preferences for multi-context systems and extensions
A Weinzierl
Ph. D. thesis, Vienna University of Technology. http://media. obvsg. at/p …, 2014
52014
Semantic reasoning with SPARQL in heterogeneous multi-context systems
P Schüller, A Weinzierl
International Conference on Advanced Information Systems Engineering, 575-585, 2011
42011
The system can't perform the operation now. Try again later.
Articles 1–20