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

Results 61-80 of 394 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
61Bliem, Bernhard ; Morak, Michael ; Moldovan, Marius ; Woltran, Stefan The Impact of Treewidth on Grounding and Solving of Answer Set ProgramsArtikel Article 2020
62Diller, Martin ; Keshavarzi Zafarghandi, Atefeh ; Linsbichler, Thomas ; Woltran, Stefan Investigating subclasses of abstract dialectical frameworksArtikel Article 2020
63Bichler, Manuel ; Morak, Michael ; Woltran, Stefan lpopt: A Rule Optimization Tool for Answer Set ProgrammingArtikel Article 2020
64Dvorak, Wolfgang ; Ulbricht, Markus ; Woltran, Stefan Weak Admissibility is PSPACE-completeKonferenzbeitrag Inproceedings 2020
65Gaggl, Sarah A. ; Linsbichler, Thomas ; Maratea, Marco ; Woltran, Stefan Design and results of the Second International Competition on Computational Models of ArgumentationArtikel Article 2020
66Ferrarotti, Flavio ; Woltran, Stefan PrefaceArtikel ArticleOct-2019
67Dvořák, Wolfgang ; Woltran, Stefan Complexity of Abstract Argumentation under a Claim-Centric ViewKonferenzbeitrag Inproceedings 2019
68Gonçalves, Ricardo ; Janhunen, Tomi ; Knorr, Matthias ; Leite, João ; Woltran, Stefan Forgetting in Modular Answer Set ProgrammingKonferenzbeitrag Inproceedings 2019
69Haret, Adrian ; Woltran, Stefan Belief Revision Operators with Varying Attitudes Towards Initial BeliefsKonferenzbeitrag Inproceedings 2019
70Woltran, Stefan Symbolische KI - Good Old Fashioned oder Haute CouturePräsentation Presentation2019
71Woltran, Stefan Symbolische KI - Good Old Fashioned oder Haute CouturePräsentation Presentation2019
72Woltran, Stefan Preference Orders on Families of Sets -- Complexity and Characterization ResultsPräsentation Presentation2019
73Hecher, Markus ; Morak, Michael ; Woltran, Stefan Structural Decompositions of Epistemic Logic ProgramsKonferenzbeitrag Inproceedings 2019
74Dvorak, Wolfgang ; Woltran, Stefan ; Fandinno, Jorge On the expressive power of collective attacksArtikel Article 2019
75Maly, Jan ; Truszczyński, Miroslaw ; Woltran, Stefan Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided?Artikel Article 2019
76Baumann, Ringo ; Dvorak, Wolfgang ; Linsbichler, Thomas ; Woltran, Stefan A general notion of equivalence for abstract argumentationArtikel Article 2019
77FABER, WOLFGANG ; MORAK, MICHAEL ; WOLTRAN, STEFAN On Uniform Equivalence of Epistemic Logic ProgramsArtikel Article 2019
78Faber, Wolfgang ; Morak, Michael ; Woltran, Stefan Strong Equivalence for Epistemic Logic Programs Made EasyKonferenzbeitrag Inproceedings 2019
79Fichte, Johannes K. ; Kronegger, Martin ; Woltran, Stefan A Multiparametric View on Answer Set ProgrammingArtikel Article 2019
80Charwat, Günther ; Woltran, Stefan Expansion-based QBF Solving on Tree DecompositionsArtikel Article 2019

Contributing Publications Mitbeteiligte Publikationen

Results 61-67 of 67 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
61Pearce, David ; Polleres, Axel Florian ; Valverde, Agustin ; Woltran, Stefan Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT 2007)Konferenzband Proceedings2007
62Oetsch, Johannes ; Tompits, Hans ; Woltran, Stefan Facts do not Cease to Exist Because They are Ignored: Relativised Uniform Equivalence with Answer-Set ProjectionKonferenzbeitrag Inproceedings 2007
63Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Traxler, Patrick ; Woltran, Stefan Replacements in Non-Ground Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2006
64Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming FrameworkKonferenzbeitrag Inproceedings 2006
65Fink, Michael ; Tompits, Hans ; Woltran, Stefan Proceedings of the 20th Workshop on Logic Programming (WLP 2006), Vienna, Austria, February 22--24Konferenzband Proceedings 2006
66Traxler, Patrick Techniques for simplifying disjunctive datalog programs with negationThesis Hochschulschrift2006
67Pichler, Reinhard Algorithmic Aspectc of Model RepresentationsKonferenzbeitrag Inproceedings2006