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:  Tompits, Hans
Author:  Woltran, Stefan

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

PreviewAuthor(s)TitleTypeIssue Date
1Eiter, Thomas ; Fink, Michael ; Puehrer, Joerg ; Tompits, Hans ; Woltran, Stefan Model-Based Recasting in Answer-Set ProgrammingBericht Report2013
2Eiter, Thomas ; Fink, Michael ; Pührer, Jörg ; Tompits, Hans ; Woltran, Stefan Model-Based Recasting in Answer-Set ProgrammingArtikel Article2013
3Fink, Michael ; Pichler, Reinhard ; Tompits, Hans ; Woltran, Stefan Complexity of Rule Redundancy in Non-Ground Answer-Set Programming over Finite DomainsKonferenzbeitrag Inproceedings 2007
4Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Woltran, Stefan Complexity Results for Checking Equivalence of Stratified Logic ProgramsKonferenzbeitrag Inproceedings 2007
5Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Traxler, Patrick ; Woltran, Stefan Replacements in Non-Ground Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2006
6Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Traxler, Patrick ; Woltran, Stefan Replacements in Non-Ground Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2006
7Eiter, 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
8Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Woltran, Stefan On Eliminating Disjunctions in Stable Logic ProgrammingBericht Report2003

Contributing Publications Mitbeteiligte Publikationen


Filter:
Author:  Tompits, Hans
Author:  Woltran, Stefan

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

PreviewAuthor(s)TitleTypeIssue Date
1Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Traxler, Patrick ; Woltran, Stefan Replacements in Non-Ground Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2006