Michael Fink

ORCID

Publication Activity (10 Years)

Years Active: 1999-2018
Publications (10 Years): 8

Top Venues

CoRR

Artif. Intell.

JELIA

Theory Pract. Log. Program.

Publications

Michael Fink, Thomas Layer, Georg Mackenbrock, Michael Sprinzl
Baseline Detection in Historical Documents using Convolutional U-Nets. CoRR (2018)
Michael Fink, Thomas Layer, Georg Mackenbrock, Michael Sprinzl
Baseline Detection in Historical Documents Using Convolutional U-Nets. DAS (2018)
Giovanni Amendola, Thomas Eiter, Michael Fink, Nicola Leone, João Moura
Semi-equilibrium models for paracoherent answer set programs. Artif. Intell. 234 (2016)
Thomas Eiter, Michael Fink, Daria Stepanova
Computing Repairs of Inconsistent DL-Programs over EL Ontologies. J. Artif. Intell. Res. 56 (2016)
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
Domain expansion for ASP-programs with external sources. Artif. Intell. 233 (2016)
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller
A model building framework for answer set programming with external computations. Theory Pract. Log. Program. 16 (4) (2016)
Francesco Calimeri, Michael Fink, Stefano Germano, Andreas Humenberger, Giovambattista Ianni, Christoph Redl, Daria Stepanova, Andrea Tucci, Anton Wimmer
Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases. IEEE Trans. Comput. Intell. AI Games 8 (2) (2016)
Thomas Eiter, Michael Fink, Daria Stepanova
Data repair of inconsistent nonmonotonic description logic programs. Artif. Intell. 239 (2016)
Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink
LARS: A Logic-Based Framework for Analyzing Reasoning over Streams. AAAI (2015)
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller
A model building framework for Answer Set Programming with external computations. CoRR (2015)
Thomas Eiter, Michael Fink, Antonius Weinzierl
Preference-Based Diagnosis Selection in Multi-Context Systems. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
Distributed Evaluation of Nonmonotonic Multi-context Systems. J. Artif. Intell. Res. 52 (2015)
Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink
Towards Ideal Semantics for Analyzing Stream Reasoning. CoRR (2015)
Pedro Cabalar, Jorge Fandinno, Michael Fink
Causal Graph Justifications of Logic Programs. CoRR (2014)
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller
Efficient HEX-Program Evaluation Based on Unfounded Sets. J. Artif. Intell. Res. 49 (2014)
Pedro Cabalar, Jorge Fandinno, Michael Fink
Causal Graph Justifications of Logic Programs. Theory Pract. Log. Program. 14 (4-5) (2014)
Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink, Christoph Redl, Thomas Krennwallner, Jun Deng
FLP answer set semantics without circular justifications for general logic programs. Artif. Intell. 213 (2014)
Pedro Cabalar, Jorge Fandiño, Michael Fink
A Complexity Assessment for Queries Involving Sufficient and Necessary Causes. JELIA (2014)
Thomas Eiter, Michael Fink, Daria Stepanova
Ontologies. JELIA (2014)
Thomas Eiter, Michael Fink, Christoph Redl, Daria Stepanova
Exploiting Support Sets for Answer Set Programs with External Evaluations. AAAI (2014)
Thomas Eiter, Michael Fink, Daria Stepanova
Towards Practical Deletion Repair of Inconsistent DL-programs. ECAI (2014)
Michael Fink, Martin Homola, Alessandra Mileo
Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014). CoRR (2014)
Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl
Finding explanations of inconsistency in multi-context systems. Artif. Intell. 216 (2014)
Thomas Eiter, Michael Fink, Daria Stepanova
Towards Practical Deletion Repair of Inconsistent DL-programs. Description Logics (2014)
Alessandra Mileo, Martin Homola, Michael Fink
Acquisition, Representation and Reasoning About Context with Logic (ARCOE-Logic 2014). EKAW (Satellite Events) (2014)
Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits, Stefan Woltran
Model-based recasting in answer-set programming. J. Appl. Non Class. Logics 23 (1-2) (2013)
Rosamaria Barilaro, Michael Fink, Francesco Ricca, Giorgio Terracina
Towards Query Answering in Relational Multi-Context Systems. LPNMR (2013)
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
hex-Programs with Existential Quantification. KDPD (2013)
Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, Peter Schüller
ActHEX: Implementing HEX Programs with Action Atoms. LPNMR (2013)
Michael Fink, Yuliya Lierler
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary CoRR (2013)
Christian Antic, Thomas Eiter, Michael Fink
Hex Semantics via Approximation Fixpoint Theory. LPNMR (2013)
Francesco Calimeri, Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, Anton Wimmer
AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases. PAI@AI*IA (2013)
Michael Fink, Yuliya Lierler
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey. CoRR (2013)
Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink
Finding similar/diverse solutions in answer set programming. Theory Pract. Log. Program. 13 (3) (2013)
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller
Eliminating Unfounded Set Checking for HEX-Programs CoRR (2013)
Thomas Eiter, Michael Fink, Daria Stepanova
Inconsistency Management for Description Logic Programs and Beyond. RR (2013)
Thomas Eiter, Michael Fink, Daria Stepanova
Data Repair of Inconsistent DL-Programs. IJCAI (2013)
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
Liberal Safety for Answer Set Programs with External Sources. AAAI (2013)
Michael Fink
Paraconsistent Hybrid Theories. KR (2012)
Thomas Eiter, Michael Fink, Daria Stepanova
Semantic Independence in DL-Programs. RR (2012)
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller
Exploiting Unfounded Sets for HEX-Program Evaluation. JELIA (2012)
Danh Le Phuoc, Minh Dao-Tran, Minh-Duc Pham, Peter A. Boncz, Thomas Eiter, Michael Fink
Linked Stream Data Processing Engines: Facts and Figures. ISWC (2) (2012)
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
Conflict-driven ASP solving with external sources. Theory Pract. Log. Program. 12 (4-5) (2012)
Minh Dao-Tran, Thomas Eiter, Michael Fink, Gerald Weidinger, Antonius Weinzierl
OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver. JELIA (2012)
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
Conflict-driven ASP Solving with External Sources CoRR (2012)
Thomas Eiter, Cristina Feier, Michael Fink
Simulating Production Rules Using ACTHEX. Correct Reasoning (2012)
Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh
Symmetry Breaking for Distributed Multi-Context Systems. LPNMR (2011)
Gerhard Brewka, Thomas Eiter, Michael Fink
Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. LPNMR (2011)
Thomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schüller
The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems. INAP/WLP (2011)
Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh
Symmetry Breaking for Distributed Multi-Context Systems CoRR (2011)
Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink
Finding Similar/Diverse Solutions in Answer Set Programming CoRR (2011)
Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl
Managed Multi-Context Systems. IJCAI (2011)
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
Model Streaming for Distributed Multi-Context Systems. Log-IC@LPNMR (2011)
Michael Fink
A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There. Theory Pract. Log. Program. 11 (2-3) (2011)
Thomas Eiter, Michael Fink, Peter Schüller
Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems. LPNMR (2011)
Thomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schüller
Towards a Policy Language for Managing Inconsistency in Multi-Context Systems. Log-IC@LPNMR (2011)
Michael Fink, Lucantonio Ghionna, Antonius Weinzierl
Relational Information Exchange and Aggregation in Multi-Context Systems. LPNMR (2011)
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
First-Order Encodings for Modular Nonmonotonic Datalog Programs. Datalog (2010)
Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl
Finding Explanations of Inconsistency in Multi-Context Systems. KR (2010)
Michael Fink
A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There CoRR (2010)
Selen Basol, Ozan Erdem, Michael Fink, Giovambattista Ianni
HEX Programs with Action Atoms. ICLP (Technical Communications) (2010)
Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko
Updating action domain descriptions. Artif. Intell. 174 (15) (2010)
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
Distributed Nonmonotonic Multi-Context Systems. KR (2010)
Markus Bögl, Thomas Eiter, Michael Fink, Peter Schüller
The mcs-ie System for Explaining Inconsistency in Multi-Context Systems. JELIA (2010)
Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
Decomposition of Distributed Nonmonotonic Multi-Context Systems. JELIA (2010)
Michael Fink, David Pearce
A Logical Semantics for Description Logic Programs. JELIA (2010)
Thomas Eiter, Michael Fink, Antonius Weinzierl
Preference-Based Inconsistency Assessment in Multi-Context Systems. JELIA (2010)
Thomas Eiter, Michael Fink, João Moura
Paracoherent Answer Set Programming. KR (2010)
Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. JELIA (2010)
Thomas Eiter, Michael Fink, Thomas Krennwallner
Decomposition of Declarative Knowledge Bases with External Functions. IJCAI (2009)
Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink
Finding Similar or Diverse Solutions in Answer Set Programming. ICLP (2009)
Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner
Combining Nonmonotonic Knowledge Bases with External Sources. FroCoS (2009)
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
Modular Nonmonotonic Logic Programming Revisited. ICLP (2009)
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. LPNMR (2009)
Thomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo
Repair localization for query answering from inconsistent databases. ACM Trans. Database Syst. 33 (2) (2008)
Thomas Eiter, Michael Fink, Ján Senko
Error Classification in Action Descriptions: A Heuristic Approach. AAAI (2008)
Michael Fink
Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There. ICLP (2008)
Michael Fink, Reinhard Pichler, Hans Tompits, Stefan Woltran
Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains. LPNMR (2007)
Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
Complexity Results for Checking Equivalence of Stratified Logic Programs. IJCAI (2007)
Thomas Eiter, Wolfgang Faber, Michael Fink, Stefan Woltran
Complexity results for answer set programming with bounded predicate arities and implications. Ann. Math. Artif. Intell. 51 (2-4) (2007)
Thomas Eiter, Michael Fink, Hans Tompits
A knowledge-based approach for selecting information sources. Theory Pract. Log. Program. 7 (3) (2007)
Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko
Comparing action descriptions based on semantic preferences. Ann. Math. Artif. Intell. 50 (3-4) (2007)
Thomas Eiter, Michael Fink, Stefan Woltran
Semantical characterizations and complexity of equivalences in answer set programming. ACM Trans. Comput. Log. 8 (3) (2007)
Thomas Eiter, Michael Fink, Hans Tompits
A Knowledge-Based Approach for Selecting Information Sources CoRR (2006)
Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran
Replacements in Non-Ground Answer-Set Programming. KR (2006)
Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko
Resolving Conflicts in Action Descriptions. ECAI (2006)
Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko
Comparing Action Descriptions Based on Semantic Preferences. JELIA (2006)
Thomas Eiter, Michael Fink, Ján Senko
A Tool for Answering Queries on Action Descriptions. JELIA (2006)
Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran
Replacements in Non-Ground Answer-Set Programming. WLP (2006)
Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko
Updating Action Domain Descriptions. IJCAI (2005)
Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case. AAAI (2005)
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
The INFOMIX system for advanced integration of incomplete and inconsistent data. SIGMOD Conference (2005)
Thomas Eiter, Michael Fink, Stefan Woltran
Semantical Characterizations and Complexity of Equivalences in Answer Set Programming CoRR (2005)
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
Reasoning about evolving nonmonotonic knowledge bases. ACM Trans. Comput. Log. 6 (2) (2005)
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
Data Integration: a Challenging ASP Application. LPNMR (2005)
Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Gianluigi Greco
Boosting Information Integration: The INFOMIX System. SEBD (2005)
Thomas Eiter, Michael Fink, Ján Senko
KMonitor - A Tool for Monitoring Plan Execution in Action Theories. LPNMR (2005)
Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran
Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. KR (2004)
Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
On Eliminating Disjunctions in Stable Logic Programming. KR (2004)

Michael Fink.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Fink