| On properties of update sequences based on causal rejection T Eiter, M Fink, G Sabbatini, H Tompits Theory and Practice of Logic programming 2 (6), 711-767, 2002 | 169 | 2002 |
| Linked stream data processing engines: Facts and figures D Le-Phuoc, M Dao-Tran, MD Pham, P Boncz, T Eiter, M Fink International Semantic Web Conference, 300-312, 2012 | 159 | 2012 |
| Uniform equivalence of logic programs under the stable model semantics T Eiter, M Fink International Conference on Logic Programming, 224-238, 2003 | 134 | 2003 |
| The INFOMIX system for advanced integration of incomplete and inconsistent data N Leone, G Greco, G Ianni, V Lio, G Terracina, T Eiter, W Faber, M Fink, ... Proceedings of the 2005 ACM SIGMOD international conference on Management of …, 2005 | 131 | 2005 |
| Finding explanations of inconsistency in multi-context systems T Eiter, M Fink, P Schüller, A Weinzierl Artificial Intelligence 216, 233-274, 2014 | 122 | 2014 |
| Simplifying logic programs under uniform and strong equivalence T Eiter, M Fink, H Tompits, S Woltran International Conference on Logic Programming and Nonmonotonic Reasoning, 87-99, 2004 | 118 | 2004 |
| Semantical characterizations and complexity of equivalences in answer set programming T Eiter, M Fink, S Woltran ACM Transactions on Computational Logic (TOCL) 8 (3), 17-es, 2007 | 105 | 2007 |
| Managed multi-context systems G Brewka, T Eiter, M Fink, A Weinzierl IJCAI Proceedings-International Joint Conference on Artificial Intelligence …, 2011 | 93 | 2011 |
| Efficient evaluation of logic programs for querying data integration systems T Eiter, M Fink, G Greco, D Lembo Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India …, 2003 | 76 | 2003 |
| Considerations on updates of logic programs T Eiter, M Fink, G Sabbatini, H Tompits Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga …, 2000 | 72 | 2000 |
| Complexity results for answer set programming with bounded predicate arities and implications T Eiter, W Faber, M Fink, S Woltran Annals of Mathematics and Artificial Intelligence 51, 123-165, 2007 | 71 | 2007 |
| Nonmonotonic multi-context systems: A flexible approach for integrating heterogeneous knowledge sources G Brewka, T Eiter, M Fink Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning …, 2011 | 65 | 2011 |
| Modular nonmonotonic logic programming revisited M Dao-Tran, T Eiter, M Fink, T Krennwallner International Conference on Logic Programming, 145-159, 2009 | 62 | 2009 |
| A model building framework for answer set programming with external computations T Eiter, M Fink, G Ianni, T Krennwallner, C Redl, P Schüller Theory and Practice of Logic Programming 16 (4), 418-464, 2016 | 60 | 2016 |
| Strong and uniform equivalence in answer-set programming: Characterizations and complexity results for the non-ground case T Eiter, M Fink, H Tompits, S Woltran AAAI, 695-700, 2005 | 58 | 2005 |
| A framework for declarative update specifications in logic programs T Eiter, M Fink, G Sabbatini, H Tompits IJCAI 1, 649-654, 2001 | 56 | 2001 |
| 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 | 54 | 2012 |
| Repair localization for query answering from inconsistent databases T Eiter, M Fink, G Greco, D Lembo ACM Transactions on Database Systems (TODS) 33 (2), 1-51, 2008 | 52 | 2008 |
| Updating action domain descriptions T Eiter, E Erdem, M Fink, J Senko Artificial intelligence 174 (15), 1172-1221, 2010 | 50 | 2010 |
| Angry-HEX: an artificial player for angry birds based on declarative knowledge bases F Calimeri, M Fink, S Germano, A Humenberger, G Ianni, C Redl, ... IEEE Transactions on Computational Intelligence and AI in Games 8 (2), 128-139, 2015 | 45 | 2015 |
