BibSLEIGH — Michael

Travelled to:

1 × France
1 × India
1 × United Kingdom
2 × Canada
2 × Italy
4 × USA

Collaborated with:

T.Eiter ∅ T.Krennwallner H.Tompits S.Woltran M.Dao-Tran S.Ullman P.Cabalar J.Fandinno J.Moura G.Ianni G.Greco D.Lembo W.Faber C.Redl S.Basol O.Erdem P.Schüller A.Weinzierl E.Erdem H.Erdogan Y.Amit N.Srebro S.Shalev-Shwartz Y.Singer G.Sabbatini P.Traxler G.Pfeifer N.Leone V.Lio G.Terracina G.Gottlob R.Rosati M.Lenzerini M.Ruzzi E.Kalka B.Nowicki W.Staniszkis

Talks about:

program (11) logic (6) answer (5) set (5) system (4) nonmonoton (2) multiclass (2) inconsist (2) equival (2) context (2)

Person: Michael Fink

DBLP: Fink:Michael

Contributed to:

2014

2012

2010

2009

2008

2007

2006

2005

2004

2003

2002

Wrote 19 papers:

ICLP-J-2014-CabalarFF #graph #logic programming #source code: Causal Graph Justifications of Logic Programs (PC, JF, MF), pp. 603–618.
ICLP-J-2012-EiterFKR: Conflict-driven ASP solving with external sources (TE, MF, TK, CR), pp. 659–679.
KR-2012-Fink #hybrid: Paraconsistent Hybrid Theories (MF).
ICLP-2010-BasolEFI10 #source code: HEX Programs with Action Atoms (SB, OE, MF, GI), pp. 24–33.
KR-2010-Dao-TranEFK #distributed #multi: Distributed Nonmonotonic Multi-Context Systems (MDT, TE, MF, TK).
KR-2010-EiterFM #programming #set: Paracoherent Answer Set Programming (TE, MF, JM).
KR-2010-EiterFSW #consistency #multi #nondeterminism: Finding Explanations of Inconsistency in Multi-Context Systems (TE, MF, PS, AW).
ICLP-2009-Dao-TranEFK #composition #logic programming #revisited: Modular Nonmonotonic Logic Programming Revisited (MDT, TE, MF, TK), pp. 145–159.
ICLP-2009-EiterEEF #programming #set: Finding Similar or Diverse Solutions in Answer Set Programming (TE, EE, HE, MF), pp. 342–356.
ICLP-2008-Fink #logic #programming: Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There (MF), pp. 99–113.
ICML-2007-AmitFSU #classification #multi: Uncovering shared structures in multiclass classification (YA, MF, NS, SU), pp. 17–24.
ICML-2006-FinkSSU #learning #multi #online: Online multiclass learning by interclass hypothesis sharing (MF, SSS, YS, SU), pp. 313–320.
KR-2006-EiterFTTW #programming: Replacements in Non-Ground Answer-Set Programming (TE, MF, HT, PT, SW), pp. 340–351.
SIGMOD-2005-LeoneGILTEFFGRLLRKNS #consistency #integration: The INFOMIX system for advanced integration of incomplete and inconsistent data (NL, GG, GI, VL, GT, TE, WF, MF, GG, RR, DL, ML, MR, EK, BN, WS), pp. 915–917.
KR-2004-EiterFFPW #bound #complexity #model checking #programming #set: Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming (TE, WF, MF, GP, SW), pp. 377–387.
KR-2004-EiterFTW #logic programming #on the: On Eliminating Disjunctions in Stable Logic Programming (TE, MF, HT, SW), pp. 447–458.
ICLP-2003-EiterF #equivalence #logic programming #semantics #source code: Uniform Equivalence of Logic Programs under the Stable Model Semantics (TE, MF), pp. 224–238.
ICLP-2003-EiterFGL #evaluation #integration #logic programming #performance #query #source code: Efficient Evaluation of Logic Programs for Querying Data Integration Systems (TE, MF, GG, DL), pp. 163–177.
KR-2002-EiterFST #approach #knowledge-based: A Generic Approach for Knowledge-Based Information-Site Selection (TE, MF, GS, HT), pp. 459–469.