Prefix title Titel (vorangestellt)
Dipl.-Ing. Dr.techn.
 
Full name Familienname, Vorname
Fink, Michael
 

Results 1-20 of 125 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Eiter, Thomas ; Fink, Michael ; Sabbatini, Giuliana ; Tompits, Hans Using Methods of Declarative Logic Programming for Intelligent InformationAgentsBericht Report2000
2Eiter, Thomas ; Erdem, Esra ; Fink, Michael ; Senko, Jan Updating Action Domain DescriptionsBericht Report2008
3Eiter, Thomas ; Erdem, Esra ; Fink, Michael ; Senko, Jan ; Pack Kaelbling, Leslie ; Saffiotti, Alessandro Updating Action Domain DescriptionsKonferenzbeitrag Inproceedings 2005
4Eiter, Thomas ; Fink, Michael Uniform Equivalence of Logic Programs under the Stable Model SemanticsBericht Report2003
5Eiter, Thomas ; Fink, Michael Uniform Equivalence of Logic Programs under the Stable Model SemanticsPräsentation Presentation2013
6Barilaro, Rosmaria ; Fink, Michael ; Ricca, Francesco ; Terracina, Giorgio ; Cabalar, Pedro ; Son, Tran Cao Towards Query Answering in Relational Multi-Context SystemsKonferenzbeitrag Inproceedings 2013
7Eiter, Thomas ; Fink, Michael ; Stepanova, Daria ; Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Rosati, Riccardo ; Simkus, Mantas Towards Practical Deletion Repair of Inconsistent DL-programsKonferenzbeitrag Inproceedings 2014
8Eiter, Thomas ; Fink, Michael ; Stepanova, Daria ; Schaub, Torsten ; Friedrich, Gerhard ; O´Sullivan, Barry Towards Practical Deletion Repair of Inconsistent DL-programsKonferenzbeitrag Inproceedings 2014
9Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael Towards Ideal Semantics for Analyzing Stream ReasoningKonferenzbeitrag Inproceedings 2014
10Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Weinzierl, Antonius ; Delgrande, James P. ; Mileo, Alessandra Towards Diagnosing Inconsistency in Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings 2009
11Schüller, Peter ; Eiter, Thomas ; Fink, Michael Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context SystemsPräsentation Presentation2010
12Schüller, Peter ; Eiter, Thomas ; Fink, Michael ; Kaiser, Hans ; Kirner, Raimund Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
13Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Schüller, Peter ; Mileo, Alessandra ; Fink, Michael Towards a Policy Language for Managing Inconsistency in Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
14Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael Towards a Logic-Based Framework for Analyzing Stream ReasoningKonferenzbeitrag Inproceedings 2014
15Bögl, Markus ; Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Janhunen, Tomi ; Niemelä, Ilkka The mcs-ie System for Explaining Inconsistency in Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
16Leone, Nicola ; Eiter, Thomas ; Faber, Wolfgang ; Fink, Michael The INFOMIX System for Advanced Integration of Incomplete and Inconsistent DataKonferenzbeitrag Inproceedings 2005
17Bairakdar, Seif El-Din ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Janhunen, Tomi ; Niemelä, Ilkka The DMCS Solver for Distributed Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
18Eiter, Thomas ; Fink, Michael ; Tompits, Hans Test and Comparison ResultsBericht Report2005
19Drescher, Christian ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Walsh, Toby ; Delgrande, James P. ; Faber, Wolfgang Symmetry Breaking for Distributed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
20Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Woltran, Stefan Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground CaseKonferenzbeitrag Inproceedings 2005

Results 1-18 of 18 (Search time: 0.01 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Fink, Michael ; Homola, Martin ; Mileo, Alessandra Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014)Konferenzband Proceedings 2014
2Fink, Michael ; Homola, Martin ; Mileo, Alessandra ; Varzinczak, Ivan Workshop Notes of the 5th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge ARCOE-13 September 15, 2013, La Corunna, SpainKonferenzband Proceedings 2013
3Fink, Michael ; Homola, Martin ; Mileo, Alessandra ; Varzinczak, Ivan Workshop Notes of the 4th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge ARCOE-12 August 28, 2012 Montpellier, FranceKonferenzband Proceedings 2012
4Charwat, Günther ; Wallner, Johannes Peter ; Woltran, Stefan ; Fink, Michael ; Lierler, Yuliya Utilizing ASP for Generating and Visualizing Argumentation FrameworksKonferenzbeitrag Inproceedings 2012
5Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Schüller, Peter ; Mileo, Alessandra ; Fink, Michael Towards a Policy Language for Managing Inconsistency in Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
6Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Traxler, Patrick ; Woltran, Stefan ; Fink, Michael ; Tompits, Hans ; Woltran, Stefan Replacements in Non-Ground Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2006
7Mileo, Alessandra ; Fink, Michael Proceedings of the 2nd International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Vancouver, Canada, May 16, 2011Konferenzband Proceedings2011
8Fink, Michael ; Tompits, Hans ; Woltran, Stefan Proceedings of the 20th Workshop on Logic Programming (WLP 2006), Vienna, Austria, February 22--24Konferenzband Proceedings 2006
9Fink, Michael ; Lierler, Yuliya Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, TurkeyKonferenzband Proceedings 2013
10Fink, Michael ; Lierler, Yuliya Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, HungaryKonferenzband Proceedings 2012
11Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Mileo, Alessandra ; Fink, Michael Model Streaming for Distributed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
12Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter ; Fink, Michael ; Lierler, Yuliya Eliminating Unfounded Set Checking for HEX-ProgramsKonferenzbeitrag Inproceedings 2012
13Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans ; Fink, Michael ; Tompits, Hans ; Woltran, Stefan dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming FrameworkKonferenzbeitrag Inproceedings 2006
14Dao-Tran Minh - 2014 - Distributed nonmonotonic multi-context systems algorithms...pdf.jpgDao-Tran, Minh Distributed nonmonotonic multi-context systems : algorithms and efficient evaluationThesis Hochschulschrift 2014
15Salcher Fabian - 2016 - Distributed computation of diagnoses for inconsistent...pdf.jpgSalcher, Fabian Distributed computation of diagnoses for inconsistent multi-context systemsThesis Hochschulschrift 2016
16Fichte, Johannes ; Szeider, Stefan ; Lierler, Yuliya ; Fink, Michael Backdoors to Normality for Disjunctive Logic ProgramsKonferenzbeitrag Inproceedings 2012
17Redl Christoph - 2014 - Answer set programming with external sources algorithms...pdf.jpgRedl, Christoph Answer set programming with external sources : algorithms and efficient evaluationThesis Hochschulschrift 2014
18Pichler, Reinhard ; Fink, Michael ; Tompits, Hans ; Woltran, Stefan Algorithmic Aspectc of Model RepresentationsKonferenzbeitrag Inproceedings2006



Results 1-1 of 1 (Search time: 0.001 seconds).