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

PreviewAuthor(s)TitleTypeIssue Date
41EITER, THOMAS ; ERDEM, ESRA ; ERDOGAN, HALIT ; FINK, MICHAEL Finding Similar/Diverse Solutions in Answer Set ProgrammingArtikel Article 2013
42Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Improving HEX-Program Evaluation based on Unfounded SetsBericht Report2012
43Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Semantic Independence in DL-programsKonferenzbeitrag Inproceedings 2012
44Fink, Michael Paraconsistent Hybrid TheoriesKonferenzbeitrag Inproceedings 2012
45Le-Phuoc, Danh ; Dao-Tran, Minh ; Pham, Minh-Duc ; Boncz, Peter ; Eiter, Thomas ; Fink, Michael Linked Stream Data Processing Engines: Facts and FiguresKonferenzbeitrag Inproceedings 2012
46Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Schüller, Peter Managing Inconsistency in Multi-Context Systems using the IMPL Policy LanguageBericht Report2012
47Fink, Michael A Paraconsistent Semantics for Hybrid TheoriesBericht Report2012
48Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Weinzierl, Antonius Finding Explanations of Inconsistency in Multi-Context SystemsBericht Report2012
49Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Eliminating Unfounded Set Checking for HEX-ProgramsKonferenzbeitrag Inproceedings 2012
50Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Exploiting Unfounded Sets for HEX-Program EvaluationKonferenzbeitrag Inproceedings 2012
51EITER, THOMAS ; FINK, MICHAEL ; KRENNWALLNER, THOMAS ; REDL, CHRISTOPH Conflict-driven ASP solving with external sourcesArtikel Article2012
52Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Weidinger, Gerald ; Weinzierl, Antonius OMiGA : An Open Minded Grounding On-The-Fly Answer Set SolverKonferenzbeitrag Inproceedings 2012
53Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Conflict-driven ASP Solving with External SourcesPreprint Preprint2012
54Eiter, Thomas ; Feier, Cristina ; Fink, Michael Simulating Production Rules Using ACTHEXBuchbeitrag Book Contribution 2012
55Fink, Michael Recent Advancements in Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings2011
56Fink, Michael ; El Ghali, Adil ; Chniti, Amina ; Korf, Roman ; Schwichtenberg, Antonia ; Lévy, François ; Puehrer, Joerg ; Eiter, Thomas D2.6 Consistency Maintenance. Final ReportBericht Report2011
57Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schüller, Peter Pushing Efficient Evaluation of HEX Programs by Modular DecompositionPräsentation Presentation2011
58Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schüller, Peter Pushing Efficient Evaluation of HEX Programs by Modular DecompositionPräsentation Presentation2011
59Fink, Michael HEX Programs with Action AtomsPräsentation Presentation2011
60Fink, Michael Nonmonotonic Multi-Context Systems: Recent AdvancementsPräsentation Presentation2011