dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Michael Fink (Selection)

Vienna University of Technology

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller: Exploiting Unfounded Sets for HEX-Program Evaluation. JELIA 2012: 160-175
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh: Symmetry Breaking for Distributed Multi-Context Systems. LPNMR 2011: 26-39
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller: Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. LPNMR 2011: 93-106
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh: Symmetry Breaking for Distributed Multi-Context Systems CoRR abs/1104.3931: (2011)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMinh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: First-Order Encodings for Modular Nonmonotonic Datalog Programs. Datalog 2010: 59-77
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: Decomposition of Distributed Nonmonotonic Multi-Context Systems. JELIA 2010: 24-37
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. JELIA 2010: 352-355
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMinh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: Distributed Nonmonotonic Multi-Context Systems. KR 2010
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner: Combining Nonmonotonic Knowledge Bases with External Sources. FroCos 2009: 18-42
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMinh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: Modular Nonmonotonic Logic Programming Revisited. ICLP 2009: 145-159
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Thomas Krennwallner: Decomposition of Declarative Knowledge Bases with External Functions. IJCAI 2009: 752-758
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMinh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. LPNMR 2009: 87-100

Selection of 12 from 79 records - Michael Fink has 49 coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update 2012-09-10 CET by the DBLP Team — This material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page