Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Michael Fink

Baseline Detection in Historical Documents using Convolutional U-Nets


Oct 22, 2018
Michael Fink, Thomas Layer, Georg Mackenbrock, Michael Sprinzl

* Proc. of the 13th IAPR Int. Workshop on Document Analysis Systems (DAS 2018), IEEE Computer Society, pp. 37-42, 2018 
* 6 pages, accepted to DAS 2018 

  Access Paper or Ask Questions

A model building framework for Answer Set Programming with external computations


Jul 11, 2015
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller

* Theory and Practice of Logic Programming 16 (2015) 418-464 
* 57 pages, 9 figures, 3 tables, 6 algorithms, to appear in Theory and Practice of Logic Programming (accepted in June 2015) 

  Access Paper or Ask Questions

Towards Ideal Semantics for Analyzing Stream Reasoning


May 20, 2015
Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink

* International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), co-located with the 21st European Conference on Artificial Intelligence (ECAI 2014). Proceedings of the International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), pages 17-22, technical report, ISSN 1430-3701, Leipzig University, 2014. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-150562 2014,1 

  Access Paper or Ask Questions

Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014)


Dec 30, 2014
Michael Fink, Martin Homola, Alessandra Mileo

* ARCOE-Logic 2014, 5 papers 

  Access Paper or Ask Questions

Causal Graph Justifications of Logic Programs


Sep 25, 2014
Pedro Cabalar, Jorge Fandinno, Michael Fink

* Theory and Practice of Logic Programming (2014), volume 14, issue 4-5, pp. 603-618 

  Access Paper or Ask Questions

Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey


Dec 28, 2013
Michael Fink, Yuliya Lierler

* Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey 

  Access Paper or Ask Questions

Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary


Jan 10, 2013
Michael Fink, Yuliya Lierler


  Access Paper or Ask Questions

Eliminating Unfounded Set Checking for HEX-Programs


Jan 08, 2013
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller

* Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary 

  Access Paper or Ask Questions

Conflict-driven ASP Solving with External Sources


Oct 05, 2012
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl

* Theor. Pract. Log. Prog. 12:4-5 (2012) 659-679 
* To appear in Theory and Practice of Logic Programming 

  Access Paper or Ask Questions

Finding Similar/Diverse Solutions in Answer Set Programming


Aug 16, 2011
Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink

* Theory and Practice of Logic Programming, 13(3), 303-359, 2013 
* 57 pages, 17 figures, 4 tables. To appear in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There


Jun 15, 2010
Michael Fink

* 32 pages; to appear in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

A Knowledge-Based Approach for Selecting Information Sources


Apr 21, 2006
Thomas Eiter, Michael Fink, Hans Tompits

* 53 pages, 2 Figures; to appear in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

Semantical Characterizations and Complexity of Equivalences in Answer Set Programming


Feb 18, 2005
Thomas Eiter, Michael Fink, Stefan Woltran

* 58 pages, 6 tables. The contents were partially published in: Proceedings 19th International Conference on Logic Programming (ICLP 2003), pp. 224-238, LNCS 2916, Springer, 2003; and Proceedings 9th European Conference on Logics in Artificial Intelligence (JELIA 2004), pp. 161-173, LNCS 3229, Springer, 2004 

  Access Paper or Ask Questions