Следене
Michael Fink
Michael Fink
Chief Scientific Officer, Deutsches Medizinrechenzentrum
Потвърден имейл адрес: kr.tuwien.ac.at
Заглавие
Позовавания
Позовавания
Година
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
1692002
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
1662012
Uniform equivalence of logic programs under the stable model semantics
T Eiter, M Fink
International Conference on Logic Programming, 224-238, 2003
1372003
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
1312005
Finding explanations of inconsistency in multi-context systems
T Eiter, M Fink, P Schüller, A Weinzierl
Artificial Intelligence 216, 233-274, 2014
1212014
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
1182004
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
1082007
Managed multi-context systems
G Brewka, T Eiter, M Fink, A Weinzierl
IJCAI Proceedings-International Joint Conference on Artificial Intelligence …, 2011
932011
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
772003
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
752007
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
732000
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
652011
Modular nonmonotonic logic programming revisited
M Dao-Tran, T Eiter, M Fink, T Krennwallner
International Conference on Logic Programming, 145-159, 2009
652009
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
632016
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
592005
A framework for declarative update specifications in logic programs
T Eiter, M Fink, G Sabbatini, H Tompits
IJCAI 1, 649-654, 2001
562001
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
552012
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
542008
Updating action domain descriptions
T Eiter, E Erdem, M Fink, J Senko
Artificial intelligence 174 (15), 1172-1221, 2010
512010
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
462015
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20