ML Anthology
Authors
Search
About
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