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

PreviewAuthor(s)TitleTypeIssue Date
101Eiter, Thomas ; Brewka, Gerhard ; Dao-Tran, Minh ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas Combining Nonmonotonic Knowledge Bases with External SourcesKonferenzbeitrag Inproceedings 2009
102Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Relevance-Driven Evaluation of Modular Nonmonotonic Logic ProgramsKonferenzbeitrag Inproceedings 2009
103Eiter, Thomas ; Erdem, Esra ; Erdoğan, Halit ; Fink, Michael Finding Similar or Diverse Solutions in Answer Set ProgrammingKonferenzbeitrag Inproceedings 2009
104Eiter, Thomas ; Fink, Michael ; Senko, Jan Error Classification in Action Descriptions: A Heuristic Approach.Konferenzbeitrag Inproceedings 2008
105Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Decomposing HEX-Programs: Preliminary ResultsKonferenzbeitrag Inproceedings 2008
106Fink, Michael Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-ThereKonferenzbeitrag Inproceedings 2008
107Eiter, Thomas ; Fink, Michael ; Greco, Gianluigi ; Lembo, Domenico Repair Localization for Query Answering from Inconsistent DatabasesArtikel Article2008
108Eiter, Thomas ; Erdem, Esra ; Fink, Michael ; Senko, Jan Updating Action Domain DescriptionsBericht Report2008
109Eiter, Thomas ; Fink, Michael ; Greco, Gianluigi ; Lembo, Domenico Repair Localization for Query Answering from Inconsistent DatabasesBericht Report2007
110Fink, Michael ; Pichler, Reinhard ; Tompits, Hans ; Woltran, Stefan Complexity of Rule Redundancy in Non-Ground Answer-Set Programming over Finite DomainsKonferenzbeitrag Inproceedings 2007
111Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Woltran, Stefan Complexity Results for Checking Equivalence of Stratified Logic ProgramsKonferenzbeitrag Inproceedings 2007
112Eiter, Thomas ; Fink, Michael ; Tompits, Hans A Knowledge-Based Approach for Selecting Information SourcesArtikel Article2007
113Eiter, Thomas ; Fink, Michael ; Woltran, Stefan Semantical Characterizations and Complexity of Equivalences in Answer Set ProgrammingArtikel Article2007
114Eiter, Thomas ; Erdem, Esra ; Fink, Michael ; Senko, Jan Comparing Action Descriptions based on Semantic PreferencesArtikel Article2007
115Eiter, Thomas ; Faber, Wolfgang ; Fink, Michael ; Woltran, Stefan Complexity results for answer set programming with bounded predicate arities and implicationsArtikel Article 2007
116Eiter, Thomas ; Erdem, Esra ; Fink, Michael ; Senko, Jan Comparing Action Descriptions Based on Semantic PreferencesKonferenzbeitrag Inproceedings 2006
117Eiter, Thomas ; Erdem, Esra ; Fink, Michael ; Senko, Jan Resolving Conflicts in Action DescriptionsKonferenzbeitrag Inproceedings 2006
118Eiter, Thomas ; Erdem, Esra ; Fink, Michael ; Senko, Jan Resolving Conflicts in Action DescriptionsKonferenzbeitrag Inproceedings 2006
119Eiter, Thomas ; Fink, Michael ; Senko, Jan A Tool for Answering Queries on Action DescriptionsKonferenzbeitrag Inproceedings 2006
120Eiter, Thomas ; Erdem, Esra ; Fink, Michael ; Senko, Jan Comparing Action Descriptions Based on Semantic PreferencesKonferenzbeitrag Inproceedings 2006