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 81-100 of 151 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
81Weinzierl, Antonius ; Fink, Michael ; Eiter, Thomas Meta-Reasoning in Multi-Context SystemsPräsentation Presentation2010
82Bairakdar, Seif El-Din ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Decomposition of Distributed Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
83Schüller, Peter ; Eiter, Thomas ; Fink, Michael Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
84Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Weinzierl, Antonius Finding Explanations of Inconsistency in Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
85Bairakdar, Seif El-Din ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas The DMCS Solver for Distributed Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
86Bairakdar, Seif El-Din ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Decomposition of Distributed Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
87Bögl, Markus ; Eiter, Thomas ; Fink, Michael ; Schüller, Peter The mcs-ie System for Explaining Inconsistency in Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
88Eiter, Thomas ; Fink, Michael ; Weinzierl, Antonius Preference-Based Inconsistency Assessment in Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
89Weinzierl, Antonius ; Fink, Michael ; Eiter, Thomas Meta-Reasoning in Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
90Eiter, Thomas ; Fink, Michael ; Moura, Joao Paracoherent Answer Set ProgrammingKonferenzbeitrag Inproceedings 2010
91Fink, Michael ; Pearce, David A Logical Semantics for Description Logic ProgramsKonferenzbeitrag Inproceedings 2010
92Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Distributed Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
93Basol, Selen ; Erdem, Ozan ; Fink, Michael ; Ianni, Giovambattista HEX Programs with Action AtomsKonferenzbeitrag Inproceedings 2010
94Fink, Michael A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-TherePreprint Preprint2010
95Eiter, Thomas ; Erdem, Esra ; Fink, Michael ; Senko, Ján Updating action domain descriptionsArtikel Article 2010
96Fink, Michael On Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-ThereBericht Report2009
97Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Decomposition of Declarative Knowledge Bases with External FunctionsKonferenzbeitrag Inproceedings 2009
98Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Modular Nonmonotonic Logic Programming RevisitedKonferenzbeitrag Inproceedings 2009
99Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Weinzierl, Antonius Towards Diagnosing Inconsistency in Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings 2009
100Fink, Michael ; Pearce, David Some Equivalence Concepts for Hybrid TheoriesKonferenzbeitrag Inproceedings 2009