Fink, Michael

21 publications

JAIR 2016 Computing Repairs of Inconsistent DL-Programs over EL Ontologies Thomas Eiter, Michael Fink, Daria Stepanova
JAIR 2015 Distributed Evaluation of Nonmonotonic Multi-Context Systems Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
AAAI 2015 LARS: A Logic-Based Framework for Analyzing Reasoning over Streams Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink
JAIR 2014 Efficient HEX-Program Evaluation Based on Unfounded Sets Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller
AAAI 2014 Exploiting Support Sets for Answer Set Programs with External Evaluations Thomas Eiter, Michael Fink, Christoph Redl, Daria Stepanova
IJCAI 2013 Data Repair of Inconsistent DL-Programs Thomas Eiter, Michael Fink, Daria Stepanova
AAAI 2013 Liberal Safety for Answer Set Programs with External Sources Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
IJCAI 2011 Managed Multi-Context Systems Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl
IJCAI 2009 Decomposition of Declarative Knowledge Bases with External Functions Thomas Eiter, Michael Fink, Thomas Krennwallner
AAAI 2008 Error Classification in Action Descriptions: A Heuristic Approach Thomas Eiter, Michael Fink, Ján Senko
IJCAI 2007 Complexity Results for Checking Equivalence of Stratified Logic Programs Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
AISTATS 2007 Online Learning of Search Heuristics Michael Fink
ICML 2007 Uncovering Shared Structures in Multiclass Classification Yonatan Amit, Michael Fink, Nathan Srebro, Shimon Ullman
ICML 2006 Online Multiclass Learning by Interclass Hypothesis Sharing Michael Fink, Shai Shalev-Shwartz, Yoram Singer, Shimon Ullman
AAAI 2005 Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
IJCAI 2005 Updating Action Domain Descriptions Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko
CVPR 2004 Learning from a Small Number of Training Examples by Exploiting Object Categories Kobi Levi, Michael Fink, Yair Weiss
CVPRW 2004 Learning from a Small Number of Training Examples by Exploiting Object Categories Kobi Levi, Michael Fink, Yair Weiss
NeurIPS 2004 Object Classification from a Single Example Utilizing Class Relevance Metrics Michael Fink
NeurIPS 2003 Mutual Boosting for Contextual Inference Michael Fink, Pietro Perona
IJCAI 2001 A Framework for Declarative Update Specifications in Logic Programs Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits