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 68 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael LARS: A Logic-based Framework for Analyzing Reasoning over StreamsKonferenzbeitrag Inproceedings 2015
2Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Towards Practical Deletion Repair of Inconsistent DL-programsKonferenzbeitrag Inproceedings 2014
3Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Computing Repairs for Inconsistent DL-programs over $\mathcal{EL}$ OntologiesKonferenzbeitrag Inproceedings 2014
4Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Towards Practical Deletion Repair of Inconsistent DL-programsKonferenzbeitrag Inproceedings 2014
5Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph hex-Programs with Existential QuantificationKonferenzbeitrag Inproceedings 2014
6Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael Towards a Logic-Based Framework for Analyzing Stream ReasoningKonferenzbeitrag Inproceedings 2014
7Eiter, Thomas ; Fink, Michael ; Redl, Christoph ; Stepanova, Daria Exploiting Support Sets for Answer Set Programs with External EvaluationsKonferenzbeitrag Inproceedings 2014
8Cabalar, Pedro ; Fandiño, Jorge ; Fink, Michael A Complexity Assessment for Queries Involving Sufficient and Necessary CausesKonferenzbeitrag Inproceedings 2014
9Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael Towards Ideal Semantics for Analyzing Stream ReasoningKonferenzbeitrag Inproceedings 2014
10Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Data Repair of Inconsistent DL-programsKonferenzbeitrag Inproceedings 2013
11Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Inconsistency Management for Description Logic Programs and BeyondKonferenzbeitrag Inproceedings2013
12Calimeri, 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
13Fink, Michael ; Germano, Stefano ; Ianni, Giovambattista ; Redl, Christoph ; Schüller, Peter ActHEX: Implementing HEX Programs with Action AtomsKonferenzbeitrag Inproceedings 2013
14Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Grounding HEX-Programs with Expanding DomainsKonferenzbeitrag Inproceedings 2013
15Antić, Christian ; Eiter, Thomas ; Fink, Michael Hex Semantics via Approximation Fixpoint TheoryKonferenzbeitrag Inproceedings 2013
16Barilaro, Rosmaria ; Fink, Michael ; Ricca, Francesco ; Terracina, Giorgio Towards Query Answering in Relational Multi-Context SystemsKonferenzbeitrag Inproceedings 2013
17Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Liberal Safety for Answer Set Programs with External SourcesKonferenzbeitrag Inproceedings 2013
18Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Semantic Independence in DL-programsKonferenzbeitrag Inproceedings 2012
19Fink, Michael Paraconsistent Hybrid TheoriesKonferenzbeitrag Inproceedings 2012
20Le-Phuoc, Danh ; Dao-Tran, Minh ; Pham, Minh-Duc ; Boncz, Peter ; Eiter, Thomas ; Fink, Michael Linked Stream Data Processing Engines: Facts and FiguresKonferenzbeitrag Inproceedings 2012

Contributing Publications Mitbeteiligte Publikationen

Results 1-8 of 8 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fichte, Johannes ; Szeider, Stefan Backdoors to Normality for Disjunctive Logic ProgramsKonferenzbeitrag Inproceedings 2012
2Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Eliminating Unfounded Set Checking for HEX-ProgramsKonferenzbeitrag Inproceedings 2012
3Charwat, Günther ; Wallner, Johannes Peter ; Woltran, Stefan Utilizing ASP for Generating and Visualizing Argumentation FrameworksKonferenzbeitrag Inproceedings 2012
4Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Model Streaming for Distributed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
5Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Schüller, Peter Towards a Policy Language for Managing Inconsistency in Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
6Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Traxler, Patrick ; Woltran, Stefan Replacements in Non-Ground Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2006
7Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming FrameworkKonferenzbeitrag Inproceedings 2006
8Pichler, Reinhard Algorithmic Aspectc of Model RepresentationsKonferenzbeitrag Inproceedings2006