Full name Familienname, Vorname
Fink, Michael
 
Main Affiliation Organisations­zuordnung
 

Filter:
Author:  Schüller, Peter

Results 1-20 of 20 (Search time: 0.004 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 ComputationsBericht Report2015
2Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Weinzierl, Antonius Finding Explanations of Inconsistency in Multi-Context SystemsArtikel Article2014
3Eiter, T. ; Fink, M. ; Krennwallner, T. ; Redl, C. ; Schüller, P. Efficient HEX-Program Evaluation based on Unfounded SetsArtikel Article2014
4Fink, Michael ; Germano, Stefano ; Ianni, Giovambattista ; Redl, Christoph ; Schüller, Peter ActHEX: Implementing HEX Programs with Action AtomsKonferenzbeitrag Inproceedings 2013
5Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Improving HEX-Program Evaluation based on Unfounded SetsBericht Report2012
6Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Schüller, Peter Managing Inconsistency in Multi-Context Systems using the IMPL Policy LanguageBericht Report2012
7Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Weinzierl, Antonius Finding Explanations of Inconsistency in Multi-Context SystemsBericht Report2012
8Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Eliminating Unfounded Set Checking for HEX-ProgramsKonferenzbeitrag Inproceedings 2012
9Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Exploiting Unfounded Sets for HEX-Program EvaluationKonferenzbeitrag Inproceedings 2012
10Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schüller, Peter Pushing Efficient Evaluation of HEX Programs by Modular DecompositionPräsentation Presentation2011
11Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schüller, Peter Pushing Efficient Evaluation of HEX Programs by Modular DecompositionPräsentation Presentation2011
12Eiter, Thomas ; Fink, Michael ; Schüller, Peter Approximations for Explanations of Inconsistency in Partially Known Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
13Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Schüller, Peter Towards a Policy Language for Managing Inconsistency in Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
14Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schüller, Peter Pushing Efficient Evaluation of HEX Programs by Modular DecompositionKonferenzbeitrag Inproceedings 2011
15Schüller, Peter ; Eiter, Thomas ; Fink, Michael Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context SystemsPräsentation Presentation2010
16Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Weinzierl, Antonius Finding Explanations of Inconsistency in Multi-Context SystemsPräsentation Presentation2010
17Schüller, Peter ; Eiter, Thomas ; Fink, Michael Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
18Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Weinzierl, Antonius Finding Explanations of Inconsistency in Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
19Bögl, Markus ; Eiter, Thomas ; Fink, Michael ; Schüller, Peter The mcs-ie System for Explaining Inconsistency in Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
20Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Weinzierl, Antonius Towards Diagnosing Inconsistency in Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings 2009

Filter:
Author:  Schüller, Peter

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

PreviewAuthor(s)TitleTypeIssue Date
1Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Eliminating Unfounded Set Checking for HEX-ProgramsKonferenzbeitrag Inproceedings 2012
2Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Schüller, Peter Towards a Policy Language for Managing Inconsistency in Multi-Context SystemsKonferenzbeitrag Inproceedings 2011