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

Results 1-13 of 13 (Search time: 0.002 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 ; Woltran, Stefan Semantical Characterizations and Complexity of Equivalences in Answer Set ProgrammingArtikel Article2007
6Eiter, Thomas ; Faber, Wolfgang ; Fink, Michael ; Woltran, Stefan Complexity results for answer set programming with bounded predicate arities and implicationsArtikel Article 2007
7Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Traxler, Patrick ; Woltran, Stefan Replacements in Non-Ground Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2006
8Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Traxler, Patrick ; Woltran, Stefan Replacements in Non-Ground Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2006
9Eiter, Thomas ; Fink, Michael ; Woltran, Stefan Semantical Characterizations and Complexity of Equivalences in Answer Set ProgrammingBericht Report2005
10Eiter, 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
11Eiter, Thomas ; Faber, Wolfgang ; Fink, Michael ; Woltran, Stefan ; Zalewska, Lilianna Methods for data acquisition and transformationBericht Report2003
12Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Woltran, Stefan On Eliminating Disjunctions in Stable Logic ProgrammingBericht Report2003
13Eiter, Thomas ; Faber, Wolfgang ; Pfeifer, Gerald ; Fink, Michael ; Woltran, Stefan Complexity of Answer Set Checking and Bounded Predicate Arities for Non-Ground Answer Set ProgrammingBericht Report2003

Contributing Publications Mitbeteiligte Publikationen

Filter:
Author:  Woltran, Stefan

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

PreviewAuthor(s)TitleTypeIssue Date
1Charwat, Günther ; Wallner, Johannes Peter ; Woltran, Stefan Utilizing ASP for Generating and Visualizing Argumentation FrameworksKonferenzbeitrag Inproceedings 2012
2Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Traxler, Patrick ; Woltran, Stefan Replacements in Non-Ground Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2006