Fink, Michael

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Fink, Michael
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 21-40 of 68 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
21Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Eliminating Unfounded Set Checking for HEX-ProgramsKonferenzbeitrag Inproceedings 2012
22Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Exploiting Unfounded Sets for HEX-Program EvaluationKonferenzbeitrag Inproceedings 2012
23Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Weidinger, Gerald ; Weinzierl, Antonius OMiGA : An Open Minded Grounding On-The-Fly Answer Set SolverKonferenzbeitrag Inproceedings 2012
24Fink, Michael Recent Advancements in Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings2011
25Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas First-Order Encodings of Modular Nonmonotonic Logic ProgramsKonferenzbeitrag Inproceedings 2011
26Eiter, Thomas ; Fink, Michael ; Schüller, Peter Approximations for Explanations of Inconsistency in Partially Known Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
27Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Model Streaming for Distributed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
28Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Schüller, Peter Towards a Policy Language for Managing Inconsistency in Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
9Brewka, Gerd ; Eiter, Thomas ; Fink, Michael ; Weinzierl, Antonius Managed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
10Fink, Michael ; Ghionna, Lucantonio ; Weinzierl, Antonius Relational Information Exchange and Aggregation in Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
11Drescher, Christian ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Walsh, Toby Symmetry Breaking for Distributed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
12Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schüller, Peter Pushing Efficient Evaluation of HEX Programs by Modular DecompositionKonferenzbeitrag Inproceedings 2011
13Bairakdar, Seif El-Din ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Decomposition of Distributed Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
14Schüller, Peter ; Eiter, Thomas ; Fink, Michael Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
15Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Weinzierl, Antonius Finding Explanations of Inconsistency in Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
16Bairakdar, Seif El-Din ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas The DMCS Solver for Distributed Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
17Bairakdar, Seif El-Din ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Decomposition of Distributed Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
18Bögl, Markus ; Eiter, Thomas ; Fink, Michael ; Schüller, Peter The mcs-ie System for Explaining Inconsistency in Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
19Eiter, Thomas ; Fink, Michael ; Weinzierl, Antonius Preference-Based Inconsistency Assessment in Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
20Weinzierl, Antonius ; Fink, Michael ; Eiter, Thomas Meta-Reasoning in Multi-Context SystemsKonferenzbeitrag Inproceedings 2010