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

Filter:
Author:  Redl, Christoph

Results 1-19 of 19 (Search time: 0.003 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 computationsArtikel Article Jul-2016
2Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Domain Expansion for ASP-Programs with External SourcesArtikel Article 2016
3Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter A Model Building Framework for Answer Set Programming with External ComputationsBericht Report2015
4Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Domain Expansion for ASP-Programs with External SourcesBericht Report2014
5Calimeri, Francesco ; Fink, Michael ; Germano, Stefano ; Humenberger, Andreas ; Ianni, Giovambattista ; Redl, Christoph ; Stepanova, Daria ; Tucci, Andrea AngryHEX: An Angry Birds-playing Agent based on HEX-ProgramsPräsentation Presentation2014
6Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph hex-Programs with Existential QuantificationKonferenzbeitrag Inproceedings 2014
7Eiter, Thomas ; Fink, Michael ; Redl, Christoph ; Stepanova, Daria Exploiting Support Sets for Answer Set Programs with External EvaluationsKonferenzbeitrag Inproceedings 2014
8Shen, 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
9Eiter, T. ; Fink, M. ; Krennwallner, T. ; Redl, C. ; Schüller, P. Efficient HEX-Program Evaluation based on Unfounded SetsArtikel Article2014
10Calimeri, 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
11Fink, Michael ; Germano, Stefano ; Ianni, Giovambattista ; Redl, Christoph ; Schüller, Peter ActHEX: Implementing HEX Programs with Action AtomsKonferenzbeitrag Inproceedings 2013
12Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Grounding HEX-Programs with Expanding DomainsKonferenzbeitrag Inproceedings 2013
13Calimeri, 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
14Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Liberal Safety for Answer Set Programs with External SourcesKonferenzbeitrag Inproceedings 2013
15Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Improving HEX-Program Evaluation based on Unfounded SetsBericht Report2012
16Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Eliminating Unfounded Set Checking for HEX-ProgramsKonferenzbeitrag Inproceedings 2012
17Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Exploiting Unfounded Sets for HEX-Program EvaluationKonferenzbeitrag Inproceedings 2012
18EITER, THOMAS ; FINK, MICHAEL ; KRENNWALLNER, THOMAS ; REDL, CHRISTOPH Conflict-driven ASP solving with external sourcesArtikel Article2012
19Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Conflict-driven ASP Solving with External SourcesPreprint Preprint2012

Contributing Publications Mitbeteiligte Publikationen

Filter:
Author:  Redl, Christoph

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

PreviewAuthor(s)TitleTypeIssue Date
1Redl Christoph - 2014 - Answer set programming with external sources algorithms...pdf.jpgRedl, Christoph Answer set programming with external sources : algorithms and efficient evaluationThesis Hochschulschrift 2014
2Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Eliminating Unfounded Set Checking for HEX-ProgramsKonferenzbeitrag Inproceedings 2012