Name Card

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

Own Publications Eigene Publikationen

Results 1-20 of 151 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Mileo, Alessandra ; Dao-Tran, Minh ; ​Eiter, Thomas ; Fink, Michael Stream ReasoningBuchbeitrag Book Contribution 2017
2Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter A model building framework for answer set programming with external computationsArtikel Article Jul-2016
3Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Domain Expansion for ASP-Programs with External SourcesArtikel Article 2016
4Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Data repair of inconsistent nonmonotonic description logic programsArtikel Article 2016
5Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Computing Repairs of Inconsistent DL-Programs over EL OntologiesArtikel Article 2016
6Amendola, Giovanni ; Eiter, Thomas ; Fink, Michael ; Leone, Nicola ; Moura, Joao Semi-equilibrium models for paracoherent answer set programsArtikel Article 2016
7Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter A Model Building Framework for Answer Set Programming with External ComputationsBericht Report2015
8Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Computing Repairs of Inconsistent DL-programs over EL OntologiesBericht Report2015
9Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Data Repair of Inconsistent Nonmonotonic Description Logic ProgramsBericht Report2015
10Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael LARS: A Logic-based Framework for Analyzing Reasoning over StreamsKonferenzbeitrag Inproceedings 2015
11Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Distributed Evaluation of Nonmonotonic Multi-Context SystemsArtikel Article2015
12Eiter, Thomas ; Fink, Michael ; Weinzierl, Antonius Preference-Based Diagnosis Selection in Multi-Context SystemsBuchbeitrag Book Contribution 2015
13Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Towards Practical Deletion Repair of Inconsistent DL-programsKonferenzbeitrag Inproceedings 2014
14Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Computing Repairs for Inconsistent DL-programs over $\mathcal{EL}$ OntologiesKonferenzbeitrag Inproceedings 2014
15Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Towards Practical Deletion Repair of Inconsistent DL-programsKonferenzbeitrag Inproceedings 2014
16Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Domain Expansion for ASP-Programs with External SourcesBericht Report2014
17Calimeri, Francesco ; Fink, Michael ; Germano, Stefano ; Humenberger, Andreas ; Ianni, Giovambattista ; Redl, Christoph ; Stepanova, Daria ; Tucci, Andrea AngryHEX: An Angry Birds-playing Agent based on HEX-ProgramsPräsentation Presentation2014
18Cabalar, Pedro ; Fandiño, Jorge ; Fink, Michael Causal Graph Justifications of Logic ProgramsPräsentation Presentation2014
19Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph hex-Programs with Existential QuantificationKonferenzbeitrag Inproceedings 2014
20Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael Towards a Logic-Based Framework for Analyzing Stream ReasoningKonferenzbeitrag Inproceedings 2014

Contributing Publications Mitbeteiligte Publikationen

Results 1-18 of 18 (Search time: 0.007 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Salcher Fabian - 2016 - Distributed computation of diagnoses for inconsistent...pdf.jpgSalcher, Fabian Distributed computation of diagnoses for inconsistent multi-context systemsThesis Hochschulschrift 2016
2Fink, Michael ; Homola, Martin ; Mileo, Alessandra Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014)Konferenzband Proceedings 2014
3Redl Christoph - 2014 - Answer set programming with external sources algorithms...pdf.jpgRedl, Christoph Answer set programming with external sources : algorithms and efficient evaluationThesis Hochschulschrift 2014
4Dao-Tran Minh - 2014 - Distributed nonmonotonic multi-context systems algorithms...pdf.jpgDao-Tran, Minh Distributed nonmonotonic multi-context systems : algorithms and efficient evaluationThesis Hochschulschrift 2014
5Fink, Michael ; Lierler, Yuliya Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, TurkeyKonferenzband Proceedings 2013
6Fink, Michael ; Homola, Martin ; Mileo, Alessandra ; Varzinczak, Ivan Workshop Notes of the 5th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge ARCOE-13 September 15, 2013, La Corunna, SpainKonferenzband Proceedings 2013
7Fichte, Johannes ; Szeider, Stefan Backdoors to Normality for Disjunctive Logic ProgramsKonferenzbeitrag Inproceedings 2012
8Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Eliminating Unfounded Set Checking for HEX-ProgramsKonferenzbeitrag Inproceedings 2012
9Fink, Michael ; Lierler, Yuliya Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, HungaryKonferenzband Proceedings 2012
10Fink, Michael ; Homola, Martin ; Mileo, Alessandra ; Varzinczak, Ivan Workshop Notes of the 4th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge ARCOE-12 August 28, 2012 Montpellier, FranceKonferenzband Proceedings 2012
11Charwat, Günther ; Wallner, Johannes Peter ; Woltran, Stefan Utilizing ASP for Generating and Visualizing Argumentation FrameworksKonferenzbeitrag Inproceedings 2012
12Mileo, Alessandra ; Fink, Michael Proceedings of the 2nd International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Vancouver, Canada, May 16, 2011Konferenzband Proceedings2011
13Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Model Streaming for Distributed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
14Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Schüller, Peter Towards a Policy Language for Managing Inconsistency in Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
15Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Traxler, Patrick ; Woltran, Stefan Replacements in Non-Ground Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2006
16Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming FrameworkKonferenzbeitrag Inproceedings 2006
17Fink, Michael ; Tompits, Hans ; Woltran, Stefan Proceedings of the 20th Workshop on Logic Programming (WLP 2006), Vienna, Austria, February 22--24Konferenzband Proceedings 2006
18Pichler, Reinhard Algorithmic Aspectc of Model RepresentationsKonferenzbeitrag Inproceedings2006