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 | 166 | 2012 |
Uniform equivalence of logic programs under the stable model semantics T Eiter, M Fink International Conference on Logic Programming, 224-238, 2003 | 137 | 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 | 121 | 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 | 108 | 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 | 77 | 2003 |
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 | 75 | 2007 |
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 | 73 | 2000 |
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 | 65 | 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 | 62 | 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 | 59 | 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 | 55 | 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 | 54 | 2008 |
Updating action domain descriptions T Eiter, E Erdem, M Fink, J Senko Artificial intelligence 174 (15), 1172-1221, 2010 | 51 | 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 | 46 | 2015 |