Woltran, Stefan

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Woltran, Stefan
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Filter:
Author:  Eiter, Thomas

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

PreviewAuthor(s)TitleTypeIssue Date
1Moser, Bernhard ; Dorffner, Georg ; Eiter, Thomas ; Faber, Wolfgang ; Klambauer, Günther ; Legenstein, Robert ; Nessler, Bernhard ; Polleres, Axel ; Woltran, Stefan Österreichische AI Strategie aus Sicht der WissenschaftArtikel Article2020
2Eiter, Thomas ; Strass, Hannes ; Truszczynski, Miroslaw ; Woltran, Stefan A Glimpse on Gerhard Brewka's Contributions to Artificial IntelligenceBuchbeitrag Book Contribution2015
3Eiter, Thomas ; Fink, Michael ; Puehrer, Joerg ; Tompits, Hans ; Woltran, Stefan Model-Based Recasting in Answer-Set ProgrammingBericht Report2013
4Eiter, Thomas ; Fink, Michael ; Pührer, Jörg ; Tompits, Hans ; Woltran, Stefan Model-Based Recasting in Answer-Set ProgrammingArtikel Article2013
5Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Woltran, Stefan Complexity Results for Checking Equivalence of Stratified Logic ProgramsKonferenzbeitrag Inproceedings 2007
6Eiter, Thomas ; Fink, Michael ; Woltran, Stefan Semantical Characterizations and Complexity of Equivalences in Answer Set ProgrammingArtikel Article2007
7Eiter, Thomas ; Faber, Wolfgang ; Fink, Michael ; Woltran, Stefan Complexity results for answer set programming with bounded predicate arities and implicationsArtikel Article 2007
8Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Traxler, Patrick ; Woltran, Stefan Replacements in Non-Ground Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2006
9Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Traxler, Patrick ; Woltran, Stefan Replacements in Non-Ground Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2006
10Eiter, Thomas ; Traxler, Patrick ; Woltran, Stefan An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set ProgramsKonferenzbeitrag Inproceedings 2006
11Eiter, Thomas ; Fink, Michael ; Woltran, Stefan Semantical Characterizations and Complexity of Equivalences in Answer Set ProgrammingBericht Report2005
12Eiter, 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
13Eiter, Thomas ; Tompits, Hans ; Woltran, Stefan On Solution Correspondences in Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2005
14Eiter, Thomas ; Faber, Wolfgang ; Fink, Michael ; Woltran, Stefan ; Zalewska, Lilianna Methods for data acquisition and transformationBericht Report2003
15Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Woltran, Stefan On Eliminating Disjunctions in Stable Logic ProgrammingBericht Report2003
16Eiter, 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:  Eiter, Thomas

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

PreviewAuthor(s)TitleTypeIssue Date
1PruningExternalMinimalityChecking.pdf.jpgEiter, Thomas ; Kaminski, Tobias Dietmar Pruning External Minimality Checking for ASP Using Semantic DependenciesInproceedings Konferenzbeitrag 12-May-2019
2Eiter, Thomas ; Fink, Michael ; Weinzierl, Antonius Preference-Based Diagnosis Selection in Multi-Context SystemsBuchbeitrag Book Contribution 2015
3Eiter, Thomas ; Strass, Hannes ; Truszczynski, Miroslaw ; Woltran, Stefan A Glimpse on Gerhard Brewka's Contributions to Artificial IntelligenceBuchbeitrag Book Contribution2015
4Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Traxler, Patrick ; Woltran, Stefan Replacements in Non-Ground Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2006
5Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming FrameworkKonferenzbeitrag Inproceedings 2006