Michael Fink
Michael Fink
Chief Scientific Officer, Deutsches Medizinrechenzentrum
Verified email at kr.tuwien.ac.at
Title
Cited by
Cited by
Year
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
1522002
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
1262005
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
1232012
Uniform equivalence of logic programs under the stable model semantics
T Eiter, M Fink
International Conference on Logic Programming, 224-238, 2003
1192003
Finding explanations of inconsistency in multi-context systems
T Eiter, M Fink, P Schüller, A Weinzierl
Artificial Intelligence 216, 233-274, 2014
1082014
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
1042004
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
852007
Managed multi-context systems
G Brewka, T Eiter, M Fink, A Weinzierl
IJCAI Proceedings-International Joint Conference on Artificial Intelligence …, 2011
842011
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
742003
Considerations on updates of logic programs
T Eiter, M Fink, G Sabbatini, H Tompits
European Workshop on Logics in Artificial Intelligence, 2-20, 2000
692000
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-4), 123, 2007
582007
Modular nonmonotonic logic programming revisited
M Dao-Tran, T Eiter, M Fink, T Krennwallner
International Conference on Logic Programming, 145-159, 2009
542009
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
532011
A framework for declarative update specifications in logic programs
T Eiter, M Fink, G Sabbatini, H Tompits
IJCAI 1, 649-654, 2001
522001
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
512005
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
502016
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
482012
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
452008
Updating action domain descriptions
T Eiter, E Erdem, M Fink, J Senko
Artificial intelligence 174 (15), 1172-1221, 2010
432010
Distributed Nonmonotonic Multi-Context Systems.
M Dao-Tran, T Eiter, M Fink, T Krennwallner
KR 10, 60-70, 2010
422010
The system can't perform the operation now. Try again later.
Articles 1–20