Michael Fink
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
64
Venues
16
Active years
2000–2020
Best venue rank
A*
Where they publish
Papers
64 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | WWW | Dynamic Composition for Conversational Domain Exploration. | Idan Szpektor, Deborah Cohen, Gal Elidan, Michael Fink, Avinatan Hassidim, Orgad Keller, Sayali Kulkarni, Eran Ofek, Sagie Pudinsky, Asaf Revach, Shimi Salant, Yossi Matias |
| 2018 | DAS | Baseline Detection in Historical Documents Using Convolutional U-Nets. | Michael Fink, Thomas Layer, Georg Mackenbrock, Michael Sprinzl |
| 2015 | AAAI | LARS: A Logic-Based Framework for Analyzing Reasoning over Streams. | Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink |
| 2014 | AAAI | Exploiting Support Sets for Answer Set Programs with External Evaluations. | Thomas Eiter, Michael Fink, Christoph Redl, Daria Stepanova |
| 2014 | ECAI | Towards Practical Deletion Repair of Inconsistent DL-programs. | Thomas Eiter, Michael Fink, Daria Stepanova |
| 2014 | EKAW | Acquisition, Representation and Reasoning About Context with Logic (ARCOE-Logic 2014). | Alessandra Mileo, Martin Homola, Michael Fink |
| 2014 | JELIA | A Complexity Assessment for Queries Involving Sufficient and Necessary Causes. | Pedro Cabalar, Jorge Fandio, Michael Fink |
| 2014 | JELIA | Computing Repairs for Inconsistent DL-programs over | Thomas Eiter, Michael Fink, Daria Stepanova |
| 2013 | AAAI | Liberal Safety for Answer Set Programs with External Sources. | Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl |
| 2013 | IJCAI | Data Repair of Inconsistent DL-Programs. | Thomas Eiter, Michael Fink, Daria Stepanova |
| 2013 | LPNMR | Hex Semantics via Approximation Fixpoint Theory. | Christian Antic, Thomas Eiter, Michael Fink |
| 2013 | LPNMR | Towards Query Answering in Relational Multi-Context Systems. | Rosamaria Barilaro, Michael Fink, Francesco Ricca, Giorgio Terracina |
| 2013 | LPNMR | ActHEX: Implementing HEX Programs with Action Atoms. | Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, Peter Schller |
| 2012 | JELIA | OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver. | Minh Dao-Tran, Thomas Eiter, Michael Fink, Gerald Weidinger, Antonius Weinzierl |
| 2012 | JELIA | Exploiting Unfounded Sets for HEX-Program Evaluation. | Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schller |
| 2012 | KR | Paraconsistent Hybrid Theories. | Michael Fink |
| 2011 | IJCAI | Managed Multi-Context Systems. | Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl |
| 2011 | LPNMR | Model Streaming for Distributed Multi-Context Systems. | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2011 | LPNMR | Symmetry Breaking for Distributed Multi-Context Systems. | Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh |
| 2011 | LPNMR | Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. | Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schller |
| 2011 | LPNMR | Towards a Policy Language for Managing Inconsistency in Multi-Context Systems. | Thomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schller |
| 2011 | LPNMR | Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems. | Thomas Eiter, Michael Fink, Peter Schller |
| 2011 | LPNMR | Relational Information Exchange and Aggregation in Multi-Context Systems. | Michael Fink, Lucantonio Ghionna, Antonius Weinzierl |
| 2010 | ICLP | HEX Programs with Action Atoms. | Selen Basol, Ozan Erdem, Michael Fink, Giovambattista Ianni |
| 2010 | JELIA | Decomposition of Distributed Nonmonotonic Multi-Context Systems. | Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2010 | JELIA | The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. | Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2010 | JELIA | The mcs-ie System for Explaining Inconsistency in Multi-Context Systems. | Markus Bgl, Thomas Eiter, Michael Fink, Peter Schller |
| 2010 | JELIA | Preference-Based Inconsistency Assessment in Multi-Context Systems. | Thomas Eiter, Michael Fink, Antonius Weinzierl |
| 2010 | JELIA | A Logical Semantics for Description Logic Programs. | Michael Fink, David Pearce |
| 2010 | KR | Distributed Nonmonotonic Multi-Context Systems. | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2010 | KR | Paracoherent Answer Set Programming. | Thomas Eiter, Michael Fink, Joo Moura |
| 2010 | KR | Finding Explanations of Inconsistency in Multi-Context Systems. | Thomas Eiter, Michael Fink, Peter Schller, Antonius Weinzierl |
| 2009 | ICLP | Modular Nonmonotonic Logic Programming Revisited. | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2009 | ICLP | Finding Similar or Diverse Solutions in Answer Set Programming. | Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink |
| 2009 | IJCAI | Decomposition of Declarative Knowledge Bases with External Functions. | Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2009 | LPNMR | Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2008 | AAAI | Error Classification in Action Descriptions: A Heuristic Approach. | Thomas Eiter, Michael Fink, Jn Senko |
| 2008 | ICLP | Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There. | Michael Fink |
| 2007 | ICML | Uncovering shared structures in multiclass classification. | Yonatan Amit, Michael Fink, Nathan Srebro, Shimon Ullman |
| 2007 | IJCAI | Complexity Results for Checking Equivalence of Stratified Logic Programs. | Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran |
| 2007 | LPNMR | Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains. | Michael Fink, Reinhard Pichler, Hans Tompits, Stefan Woltran |
| 2006 | ECAI | Resolving Conflicts in Action Descriptions. | Thomas Eiter, Esra Erdem, Michael Fink, Jn Senko |
| 2006 | ICML | Online multiclass learning by interclass hypothesis sharing. | Michael Fink, Shai Shalev-Shwartz, Yoram Singer, Shimon Ullman |
| 2006 | JELIA | Comparing Action Descriptions Based on Semantic Preferences. | Thomas Eiter, Esra Erdem, Michael Fink, Jn Senko |
| 2006 | JELIA | A Tool for Answering Queries on Action Descriptions. | Thomas Eiter, Michael Fink, Jn Senko |
| 2006 | KR | Replacements in Non-Ground Answer-Set Programming. | Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran |
| 2006 | MMSP | Advertisement Detection and Replacement using Acoustic and Visual Repetition. | Michele Covell, Shumeet Baluja, Michael Fink |
| 2005 | AAAI | 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 |
| 2005 | IJCAI | Updating Action Domain Descriptions. | Thomas Eiter, Esra Erdem, Michael Fink, Jn Senko |
| 2005 | LPNMR | KMonitor - A Tool for Monitoring Plan Execution in Action Theories. | Thomas Eiter, Michael Fink, Jn Senko |
| 2005 | LPNMR | Data Integration: a Challenging ASP Application. | Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina |
| 2005 | SIGMOD | The INFOMIX system for advanced integration of incomplete and inconsistent data. | Nicola Leone, Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Giorgio Terracina, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Riccardo Rosati, Domenico Lembo, Maurizio Lenzerini, Marco Ruzzi, Edyta Kalka, Bartosz Nowicki, Witold Staniszkis |
| 2004 | CVPR | Learning From a Small Number of Training Examples by Exploiting Object Categories. | Kobi Levi, Michael Fink, Yair Weiss |
| 2004 | KR | Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. | Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran |
| 2004 | KR | On Eliminating Disjunctions in Stable Logic Programming. | Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran |
| 2004 | LPNMR | Simplifying Logic Programs Under Uniform and Strong Equivalence. | Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran |
| 2003 | ICLP | Uniform Equivalence of Logic Programs under the Stable Model Semantics. | Thomas Eiter, Michael Fink |
| 2003 | ICLP | Efficient Evaluation of Logic Programs for Querying Data Integration Systems. | Thomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo |
| 2003 | KI | Monitoring Agents Using Declarative Planning. | Jrgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang |
| 2002 | KR | A Generic Approach for Knowledge-Based Information-Site Selection. | Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
| 2001 | IJCAI | A Framework for Declarative Update Specifications in Logic Programs. | Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
| 2001 | LPAR | Reasoning about Evolving Nonmonotonic Knowledge Bases. | Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
| 2001 | LPNMR | An Update Front-End for Extended Logic Programs. | Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
| 2000 | JELIA | Considerations on Updates of Logic Programs. | Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |