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 | 168 | 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 | 149 | 2012 |
Uniform equivalence of logic programs under the stable model semantics T Eiter, M Fink International Conference on Logic Programming, 224-238, 2003 | 127 | 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 | 126 | 2005 |
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 |
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 | 115 | 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 | 98 | 2007 |
Managed multi-context systems G Brewka, T Eiter, M Fink, A Weinzierl Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 90 | 2011 |
Efficient evaluation of logic programs for querying data integration systems T Eiter, M Fink, G Greco, D Lembo International Conference on Logic Programming, 163-177, 2003 | 75 | 2003 |
Considerations on updates of logic programs T Eiter, M Fink, G Sabbatini, H Tompits European Workshop on Logics in Artificial Intelligence, 2-20, 2000 | 71 | 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 (2), 123-165, 2007 | 68 | 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, 233-258, 2011 | 59 | 2011 |
Modular nonmonotonic logic programming revisited M Dao-Tran, T Eiter, M Fink, T Krennwallner International Conference on Logic Programming, 145-159, 2009 | 59 | 2009 |
A framework for declarative update specifications in logic programs T Eiter, M Fink, G Sabbatini, H Tompits IJCAI 1, 649-654, 2001 | 56 | 2001 |
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 | 55 | 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 | 54 | 2005 |
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 | 53 | 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 | 47 | 2010 |
Distributed nonmonotonic multi-context systems M Dao-Tran, T Eiter, M Fink, T Krennwallner Twelfth International Conference on the Principles of Knowledge …, 2010 | 43 | 2010 |