| Finding explanations of inconsistency in multi-context systems T Eiter, M Fink, P Schüller, A Weinzierl Artificial Intelligence 216, 233-274, 2014 | 117 | 2014 |
| 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 | 90 | 2011 |
| Blending lazy-grounding and CDNL search for answer-set solving A Weinzierl Logic Programming and Nonmonotonic Reasoning: 14th International Conference …, 2017 | 53 | 2017 |
| 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 | 53 | 2012 |
| Preference-based inconsistency assessment in multi-context systems T Eiter, M Fink, A Weinzierl Logics in Artificial Intelligence: 12th European Conference, JELIA 2010 …, 2010 | 32 | 2010 |
| Relational information exchange and aggregation in multi-context systems M Fink, L Ghionna, A Weinzierl Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011 | 30 | 2011 |
| 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 | 25 | 2018 |
| Exploiting justifications for lazy grounding of answer set programs B Bogaerts, A Weinzierl IJCAI International Joint Conference on Artificial Intelligence 2018, 1737-1745, 2018 | 20 | 2018 |
| 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 | 19 | 2017 |
| 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 | 16 | 2019 |
| Techniques for efficient lazy-grounding ASP solving L Leutgeb, A Weinzierl Declarative Programming and Knowledge Management: Conference on Declarative …, 2018 | 16 | 2018 |
| 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 | 15 | 2019 |
| 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 | 15 | 2018 |
| Learning non-ground rules for answer-set solving A Weinzierl 2nd Workshop on Grounding and Transformations for Theories With Variables …, 2013 | 14 | 2013 |
| Introducing heuristics for lazy-grounding ASP solving R Taupe, A Weinzierl, G Schenner 1st International Workshop on Practical Aspects of Answer Set Programming, 2017 | 13 | 2017 |
| 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 | 10 | 2012 |
| 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 | 9 | 2020 |
| Lazy-Grounding for Answer Set Programs with External Source Access. T Eiter, T Kaminski, A Weinzierl IJCAI, 1015-1022, 2017 | 9 | 2017 |
Thomas EiterVienna University of Technology (TU Wien)Verified email at kr.tuwien.ac.at
