Name Card

Full name Familienname, Vorname
Schaub, Torsten
 

Own Publications Eigene Publikationen

Results 1-20 of 24 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Schaub, Torsten ; Woltran, Stefan Special Issue on Answer Set ProgrammingArtikel Article2018
2Woltran, Stefan ; Schaub, Torsten Answer set programming unleashed!Artikel Article 2018
3Bliem, Bernhard ; Kaufmann, Benjamin ; Schaub, Torsten ; Woltran, Stefan ASP for Anytime Dynamic Programming on Tree DecompositionsKonferenzbeitrag Inproceedings 2016
4Bliem, Bernhard ; Kaufmann, Benjamin ; Schaub, Torsten ; Woltran, Stefan ASP for Anytime Dynamic Programming on Tree Decompositions (Extended Abstract)Konferenzbeitrag Inproceedings 2016
5Abseher, Michael ; Gebser, Martin ; Musliu, Nysret ; Schaub, Torsten ; Woltran, Stefan Shift Design with Answer Set ProgrammingArtikel Article 2016
6Abseher, Michael ; Gebser, Martin ; Musliu, Nysret ; Schaub, Torsten ; Woltran, Stefan Shift Design with Answer Set ProgrammingKonferenzbeitrag Inproceedings 2015
7Abseher, Michael ; Gebser, Martin ; Musliu, Nysret ; Schaub, Torsten ; Woltran, Stefan Shift Design with Answer Set ProgrammingKonferenzbeitrag Inproceedings 2015
8Delgrande, James ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan A Model-Theoretic Approach to Belief Change in Answer Set ProgrammingArtikel Article2013
9Delgrande, James P. ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan Merging Logic Programs under Answer Set SemanticsKonferenzbeitrag Inproceedings2009
10Gebser, Martin ; Pührer, Jörg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan spock: A Debugging Support Tool for Logic Programs under the Answer-Set SemanticsKonferenzbeitrag Inproceedings 2009
11Delgrande, James P. ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan Belief Revision of Logic Programs under Answer Set SemanticsKonferenzbeitrag Inproceedings 2008
12Gebser, Martin ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded SetsKonferenzbeitrag Inproceedings 2008
13Gebser, Martin ; Puehrer, Joerg ; Schaub, Torsten ; Tompits, Hans A Meta-Programming Technique for Debugging Answer-Set ProgramsKonferenzbeitrag Inproceedings 2008
14Brain, Martin ; Faber, Wolfgang ; Maratea, Marco ; Polleres, Axel Florian ; Schaub, Torsten ; Schindlauer, Roman What should an ASP Solver output?Konferenzbeitrag Inproceedings 2007
15Brain, Martin ; Gebser, Martin ; Puehrer, Joerg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan Debugging ASP Programs by Means of ASPKonferenzbeitrag Inproceedings 2007
16Gebser, Martin ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary ReportKonferenzbeitrag Inproceedings2007
17Brain, Martin ; Gebser, Martin ; Puehrer, Joerg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan That is illogical Captain! The Debugging Support Tool spock for Answer-Set Programs -- System DescriptionKonferenzbeitrag Inproceedings 2007
18Delgrande, James P. ; Schaub, Torsten ; Tompits, Hans A Preference-Based Framework for Updating Logic ProgramsKonferenzbeitrag Inproceedings 2007
19Gebser, Martin ; Puehrer, Joerg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan spock: A Debugging Support Tool for Logic Programs under the Answer-Set SemanticsKonferenzbeitrag Inproceedings2007
20Delgrande, James P. ; Schaub, Torsten ; Tompits, Hans A Preference-Based Framework for Updating Logic Programs: Preliminary ReportKonferenzbeitrag Inproceedings 2006

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Hecher Markus - 2021 - Advanced Tools and Methods for Treewidth-Based Problem...pdf.jpgHecher, Markus Advanced Tools and Methods for Treewidth-Based Problem SolvingThesis Hochschulschrift 2021
2Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Towards Practical Deletion Repair of Inconsistent DL-programsKonferenzbeitrag Inproceedings 2014
3Woltran, Stefan Abstract Argumentation - All Problems Solved?Konferenzbeitrag Inproceedings2014
4Woltzenlogel-Paleo, Bruno ; Benzmüller, Christoph Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem ProversKonferenzbeitrag Inproceedings2014
5OETSCH, JOHANNES ; PÜHRER, JÖRG ; TOMPITS, HANS Catching the Ouroboros: On debugging non-ground answer-set programsKonferenzbeitrag Inproceedings 2010
6OETSCH, JOHANNES ; PÜHRER, JÖRG ; SCHWENGERER, MARTIN ; TOMPITS, HANS The system Kato: Detecting cases of plagiarism for answer-set programsKonferenzbeitrag Inproceedings 2010
7Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Methods and Methodologies for Developing Answer-Set Programs - Project DescriptionKonferenzbeitrag Inproceedings 2010
8Basol, Selen ; Erdem, Ozan ; Fink, Michael ; Ianni, Giovambattista HEX Programs with Action AtomsKonferenzbeitrag Inproceedings 2010
9Gaggl, Sarah Towards a General Argumentation System based on Answer-Set ProgrammingKonferenzbeitrag Inproceedings2010
10Puehrer, Joerg ; Tompits, Hans Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with ProjectionKonferenzbeitrag Inproceedings 2009
11Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Relevance-Driven Evaluation of Modular Nonmonotonic Logic ProgramsKonferenzbeitrag Inproceedings 2009
12Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment SolutionsKonferenzbeitrag Inproceedings 2009
13Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan Belief Revision with Bounded TreewidthKonferenzbeitrag Inproceedings 2009
14Brewka, Gerhard ; Eiter, Thomas Argumentation Context Systems: A Framework for Abstract Group ArgumentationKonferenzbeitrag Inproceedings 2009
15Brewka, Gerhard ; Eiter, Thomas From Data Integration towards Knowledge MediationKonferenzbeitrag Inproceedings 2009
16Faber, Wolfgang ; Woltran, Stefan A Framework for Programming with Module ConsequencesKonferenzbeitrag Inproceedings 2009
17Faber, Wolfgang ; Woltran, Stefan Manifold Answer-Set Programs for Meta-reasoningKonferenzbeitrag Inproceedings 2009
18Brain, Martin ; Faber, Wolfgang ; Maratea, Marco ; Polleres, Axel Florian ; Schaub, Torsten ; Schindlauer, Roman What should an ASP Solver output?Konferenzbeitrag Inproceedings 2007