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

PreviewAuthor(s)TitleTypeIssue Date
21Eiter, Thomas ; Fink, Michael ; Redl, Christoph ; Stepanova, Daria Exploiting Support Sets for Answer Set Programs with External EvaluationsKonferenzbeitrag Inproceedings 2014
22Cabalar, Pedro ; Fandiño, Jorge ; Fink, Michael A Complexity Assessment for Queries Involving Sufficient and Necessary CausesKonferenzbeitrag Inproceedings 2014
23Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Weinzierl, Antonius Finding Explanations of Inconsistency in Multi-Context SystemsArtikel Article2014
24Shen, 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
25Eiter, T. ; Fink, M. ; Krennwallner, T. ; Redl, C. ; Schüller, P. Efficient HEX-Program Evaluation based on Unfounded SetsArtikel Article2014
26Cabalar, Pedro ; Fandinno, Jorge ; Fink, Michael Causal Graph Justifications of Logic ProgramsArtikel Article 2014
27Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael Towards Ideal Semantics for Analyzing Stream ReasoningKonferenzbeitrag Inproceedings 2014
28Cabalar, Pedro ; Fandiño, Jorge ; Fink, Michael Causal Graph Justifications of Logic ProgramsPreprint Preprint2014
29Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Data Repair of Inconsistent DL-programsKonferenzbeitrag Inproceedings 2013
30Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Inconsistency Management for Description Logic Programs and BeyondKonferenzbeitrag Inproceedings2013
31Eiter, Thomas ; Fink, Michael ; Puehrer, Joerg ; Tompits, Hans ; Woltran, Stefan Model-Based Recasting in Answer-Set ProgrammingBericht Report2013
32Calimeri, Francesco ; Fink, Michael ; Germano, Stefano ; Ianni, Giovambattista ; Redl, Christoph ; Wimmer, Anton AngryHEX: An Artificial Player for Angry Birds Based on Declarative Knowledge BasesKonferenzbeitrag Inproceedings 2013
33Fink, Michael ; Germano, Stefano ; Ianni, Giovambattista ; Redl, Christoph ; Schüller, Peter ActHEX: Implementing HEX Programs with Action AtomsKonferenzbeitrag Inproceedings 2013
34Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Grounding HEX-Programs with Expanding DomainsKonferenzbeitrag Inproceedings 2013
35Eiter, Thomas ; Fink, Michael Uniform Equivalence of Logic Programs under the Stable Model SemanticsPräsentation Presentation2013
36Calimeri, Francesco ; Fink, Michael ; Germano, Stefano ; Ianni, Giovambattista ; Redl, Christoph ; Stepanova, Daria ; Wimmer, Anton AngryHEX: An Angry Birds-playing Agent based on HEX-ProgramsPräsentation Presentation2013
37Eiter, Thomas ; Fink, Michael ; Pührer, Jörg ; Tompits, Hans ; Woltran, Stefan Model-Based Recasting in Answer-Set ProgrammingArtikel Article2013
38Antić, Christian ; Eiter, Thomas ; Fink, Michael Hex Semantics via Approximation Fixpoint TheoryKonferenzbeitrag Inproceedings 2013
39Barilaro, Rosmaria ; Fink, Michael ; Ricca, Francesco ; Terracina, Giorgio Towards Query Answering in Relational Multi-Context SystemsKonferenzbeitrag Inproceedings 2013
40Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Liberal Safety for Answer Set Programs with External SourcesKonferenzbeitrag Inproceedings 2013