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 1-20 of 22 (Search time: 0.007 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Eiter, 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
2Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Domain Expansion for ASP-Programs with External SourcesArtikel Article 2016
3Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Data repair of inconsistent nonmonotonic description logic programsArtikel Article 2016
4Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Computing Repairs of Inconsistent DL-Programs over EL OntologiesArtikel Article 2016
5Amendola, Giovanni ; Eiter, Thomas ; Fink, Michael ; Leone, Nicola ; Moura, Joao Semi-equilibrium models for paracoherent answer set programsArtikel Article 2016
6Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Distributed Evaluation of Nonmonotonic Multi-Context SystemsArtikel Article2015
7Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Weinzierl, Antonius Finding Explanations of Inconsistency in Multi-Context SystemsArtikel Article2014
8Shen, Yi-Dong ; Wang, Kewen ; Eiter, Thomas ; Fink, Michael ; Redl, Christoph ; Krennwallner, Thomas ; Deng, Jun FLP answer set semantics without circular justifications for general logic programsArtikel Article2014
9Eiter, T. ; Fink, M. ; Krennwallner, T. ; Redl, C. ; Schüller, P. Efficient HEX-Program Evaluation based on Unfounded SetsArtikel Article2014
10Cabalar, Pedro ; Fandinno, Jorge ; Fink, Michael Causal Graph Justifications of Logic ProgramsArtikel Article 2014
11Eiter, Thomas ; Fink, Michael ; Pührer, Jörg ; Tompits, Hans ; Woltran, Stefan Model-Based Recasting in Answer-Set ProgrammingArtikel Article2013
12EITER, THOMAS ; ERDEM, ESRA ; ERDOGAN, HALIT ; FINK, MICHAEL Finding Similar/Diverse Solutions in Answer Set ProgrammingArtikel Article 2013
13EITER, THOMAS ; FINK, MICHAEL ; KRENNWALLNER, THOMAS ; REDL, CHRISTOPH Conflict-driven ASP solving with external sourcesArtikel Article2012
14FINK, MICHAEL A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-ThereArtikel Article2011
15EITER, THOMAS ; ERDEM, ESRA ; ERDOGAN, HALIT ; FINK, MICHAEL Finding Similar/Diverse Solutions in Answer Set ProgrammingArtikel Article 2011
16Eiter, Thomas ; Erdem, Esra ; Fink, Michael ; Senko, Ján Updating action domain descriptionsArtikel Article 2010
17Eiter, Thomas ; Fink, Michael ; Greco, Gianluigi ; Lembo, Domenico Repair Localization for Query Answering from Inconsistent DatabasesArtikel Article2008
18Eiter, Thomas ; Fink, Michael ; Tompits, Hans A Knowledge-Based Approach for Selecting Information SourcesArtikel Article2007
19Eiter, Thomas ; Fink, Michael ; Woltran, Stefan Semantical Characterizations and Complexity of Equivalences in Answer Set ProgrammingArtikel Article2007
20Eiter, Thomas ; Erdem, Esra ; Fink, Michael ; Senko, Jan Comparing Action Descriptions based on Semantic PreferencesArtikel Article2007