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

Results 1-20 of 20 (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 A Knowledge-Based Approach for Selecting Information SourcesArtikel Article2007
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 ; Traxler, Patrick ; Woltran, Stefan Replacements in Non-Ground Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2006
8Eiter, Thomas ; Fink, Michael ; Tompits, Hans Test and Comparison ResultsBericht Report2005
9Eiter, Thomas ; Fink, Michael ; Tompits, Hans Self-assessment Report for Years 3+4Bericht 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 ; Fink, Michael ; Sabbatini, Giuliana ; Tompits, Hans Reasoning about Evolving Nonmonotonic Knowledge BasesArtikel Article2005
12Eiter, Thomas ; Faber, Wolfgang ; Fink, Michael ; Greco, Gianluigi ; Lembo, Domenico ; Tompits, Hans Methods and Techniques for Query OptimizationBericht Report2004
13Eiter, Thomas ; Fink, Michael ; Tompits, Hans Self-assessment report for year 1Bericht Report2003
14Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Woltran, Stefan On Eliminating Disjunctions in Stable Logic ProgrammingBericht Report2003
15Eiter, Thomas ; Fink, Michael ; Tompits, Hans A Knowledge-Based Approach for Selecting Information SourcesBericht Report2003
16Eiter, Thomas ; Fink, Michael ; Sabbatini, Giuliana ; Tompits, Hans Reasoning about Evolving Nonmonotonic Knowledge BasesBericht Report2002
17Eiter, Thomas ; Fink, Michael ; Tompits, Hans A Knowledge-Based Approach to Information Site SelectionBericht Report2002
18Eiter, Thomas ; Fink, Michael ; Sabbatini, Giuliana ; Tompits, Hans Declarative Update Policies for Nonmonotonic Knowledge Bases (INFSYS RR-1843-02-07)Bericht Report2002
19Eiter, Thomas ; Fink, Michael ; Sabbatini, Giuliana ; Tompits, Hans On Updates of Logic Programs: Semantics and PropertiesBericht Report2000
20Eiter, Thomas ; Fink, Michael ; Sabbatini, Giuliana ; Tompits, Hans Using Methods of Declarative Logic Programming for Intelligent InformationAgentsBericht Report2000

Contributing Publications Mitbeteiligte Publikationen

Filter:
Author:  Tompits, Hans

Results 1-2 of 2 (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
2Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming FrameworkKonferenzbeitrag Inproceedings 2006