Fink, Michael

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname

Fink, Michael

Main Affiliation Organisationszuordnung

E184 - Institut für Informationssysteme

Own Publications Eigene Publikationen

Results 1-20 of 56 (Search time: 0.005 seconds).

RIS EndNote Bibtex Excel CSV Send via email

	Author(s)	Title	Type	Issue Date
1	Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter	A Model Building Framework for Answer Set Programming with External Computations	Bericht Report	2015
2	Eiter, Thomas ; Fink, Michael ; Stepanova, Daria	Computing Repairs of Inconsistent DL-programs over EL Ontologies	Bericht Report	2015
3	Eiter, Thomas ; Fink, Michael ; Stepanova, Daria	Data Repair of Inconsistent Nonmonotonic Description Logic Programs	Bericht Report	2015
4	Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph	Domain Expansion for ASP-Programs with External Sources	Bericht Report	2014
5	Calimeri, Francesco ; Fink, Michael ; Germano, Stefano ; Humenberger, Andreas ; Ianni, Giovambattista ; Redl, Christoph ; Stepanova, Daria ; Tucci, Andrea	AngryHEX: An Angry Birds-playing Agent based on HEX-Programs	Präsentation Presentation	2014
6	Cabalar, Pedro ; Fandiño, Jorge ; Fink, Michael	Causal Graph Justifications of Logic Programs	Präsentation Presentation	2014
7	Cabalar, Pedro ; Fandiño, Jorge ; Fink, Michael	Causal Graph Justifications of Logic Programs	Preprint Preprint	2014
8	Eiter, Thomas ; Fink, Michael ; Puehrer, Joerg ; Tompits, Hans ; Woltran, Stefan	Model-Based Recasting in Answer-Set Programming	Bericht Report	2013
9	Eiter, Thomas ; Fink, Michael	Uniform Equivalence of Logic Programs under the Stable Model Semantics	Präsentation Presentation	2013
10	Calimeri, Francesco ; Fink, Michael ; Germano, Stefano ; Ianni, Giovambattista ; Redl, Christoph ; Stepanova, Daria ; Wimmer, Anton	AngryHEX: An Angry Birds-playing Agent based on HEX-Programs	Präsentation Presentation	2013
11	Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter	Improving HEX-Program Evaluation based on Unfounded Sets	Bericht Report	2012
12	Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Schüller, Peter	Managing Inconsistency in Multi-Context Systems using the IMPL Policy Language	Bericht Report	2012
13	Fink, Michael	A Paraconsistent Semantics for Hybrid Theories	Bericht Report	2012
14	Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Weinzierl, Antonius	Finding Explanations of Inconsistency in Multi-Context Systems	Bericht Report	2012
15	Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph	Conflict-driven ASP Solving with External Sources	Preprint Preprint	2012
16	Fink, Michael ; El Ghali, Adil ; Chniti, Amina ; Korf, Roman ; Schwichtenberg, Antonia ; Lévy, François ; Puehrer, Joerg ; Eiter, Thomas	D2.6 Consistency Maintenance. Final Report	Bericht Report	2011
17	Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schüller, Peter	Pushing Efficient Evaluation of HEX Programs by Modular Decomposition	Präsentation Presentation	2011
18	Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schüller, Peter	Pushing Efficient Evaluation of HEX Programs by Modular Decomposition	Präsentation Presentation	2011
19	Fink, Michael	HEX Programs with Action Atoms	Präsentation Presentation	2011
20	Fink, Michael	Nonmonotonic Multi-Context Systems: Recent Advancements	Präsentation Presentation	2011