BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Fink:Michael

Contributed to:

ICLP 20142014
ICLP 20122012
KR 20122012
ICLP 20102010
KR 20102010
ICLP 20092009
ICLP 20082008
ICML 20072007
ICML 20062006
KR 20062006
SIGMOD 20052005
KR 20042004
ICLP 20032003
KR 20022002

Wrote 19 papers:

ICLP-J-2014-CabalarFF #graph #logic programming #source code
Causal Graph Justifications of Logic Programs (PC, JF, MF), pp. 603–618.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.