Full name Familienname, Vorname
Wallner, Johannes
 
Main Affiliation Organisations­zuordnung
 

Treffer 41-60 von 61 (Suchzeit: 0.005 Sekunden).

VorschauAutor_in(nen)TitelDokumenttypErscheinungs­datum
41Wallner Johannes - 2014 - Complexity results and algorithms for argumentation...pdf.jpgWallner, Johannes Complexity results and algorithms for argumentation : Dung's frameworks and beyondThesis Hochschulschrift 2014
42Diller, Martin ; Wallner, Johannes Peter ; Woltran, Stefan Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean FormulasKonferenzbeitrag Inproceedings 2014
43Strass, Hannes ; Wallner, Johannes Peter Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint TheoryKonferenzbeitrag Inproceedings 2014
44Dvořák, Wolfgang ; Järvisalo, Matti ; Wallner, Johannes Peter ; Woltran, Stefan Complexity-Sensitive Decision Procedures for Abstract ArgumentationArtikel Article 2014
45Polleres, Axel ; Wallner, Johannes Peter On the relation between SPARQL1.1 and Answer Set ProgrammingArtikel Article2013
46Ambroz, Thomas ; Charwat, Günther ; Jusits, Andreas ; Wallner, Johannes Peter ; Woltran, Stefan ARVis: Visualizing Relations between Answer SetsKonferenzbeitrag Inproceedings 2013
47Polberg, Sylwia ; Wallner, Johannes Peter ; Woltran, Stefan Admissibility in the Abstract Dialectical FrameworkKonferenzbeitrag Inproceedings 2013
48Brewka, Gerd ; Ellmauthaler, Stefan ; Strass, Hannes ; Wallner, Johannes Peter ; Woltran, Stefan Abstract Dialectical Frameworks RevisitedKonferenzbeitrag Inproceedings 2013
49Wallner, Johannes Peter ; Weissenbacher, Georg ; Woltran, Stefan Advanced SAT Techniques for Abstract ArgumentationKonferenzbeitrag Inproceedings 2013
50Charwat, Günther ; Ianni, Giovambattista ; Krennwallner, Thomas ; Kronegger, Martin ; Pfandler, Andreas ; Redl, Christoph ; Schwengerer, Martin ; Spendier, Lara ; Wallner, Johannes Peter ; Xiao, Guohui VCWC: A Versioning Competition Workflow CompilerKonferenzbeitrag Inproceedings 2013
51Alviano, Mario ; Calimeri, Francesco ; Charwat, Günther ; Dao-Tran, Minh ; Dodaro, Carmine ; Ianni, Giovambattista ; Krennwallner, Thomas ; Kronegger, Martin ; Oetsch, Johannes ; Pfandler, Andreas ; Puehrer, Joerg ; Redl, Christoph ; Ricca, Francesco ; Schneider, Patrik ; Schwengerer, Martin ; Spendier, Lara ; Wallner, Johannes Peter ; Xiao, Guohui The Fourth Answer Set Programming Competition: Preliminary ReportKonferenzbeitrag Inproceedings2013
52Dvořák, Wolfgang ; Gaggl, Sarah Alice ; Wallner, Johannes Peter ; Woltran, Stefan Making Use of Advances in Answer-Set Programming for Abstract Argumentation SystemsKonferenzbeitrag Inproceedings 2013
53Dvorak, Wolfgang ; Järvisalo, Matti ; Wallner, Johannes Peter ; Woltran, Stefan CEGARTIX: A SAT-Based Argumentation SystemPräsentation Presentation2012
54Wallner, Johannes Peter Computational Aspects of Abstract Dialectical FrameworksPräsentation Presentation2012
55Wallner, Johannes Peter Knowledge Base Change and Abstract Dialectical FrameworksPräsentation Presentation2012
56Dvorak, Wolfgang ; Järvisalo, Matti ; Wallner, Johannes Peter ; Woltran, Stefan Complexity-Sensitive Decision Procedures for Abstract ArgumentationKonferenzbeitrag Inproceedings 2012
57Charwat, Günther ; Wallner, Johannes Peter ; Woltran, Stefan Utilizing ASP for Generating and Visualizing Argumentation FrameworksKonferenzbeitrag Inproceedings 2012
58Ellmauthaler, Stefan ; Wallner, Johannes Peter Evaluating Abstract Dialectical Frameworks with ASPKonferenzbeitrag Inproceedings 2012
59Dvorak, Wolfgang ; Gaggl, Sarah ; Wallner, Johannes Peter ; Woltran, Stefan Making Use of Advances in Answer-Set Programming for Abstract Argumentation SystemsBericht Report2011
60Dvorak, Wolfgang ; Gaggl, Sarah ; Wallner, Johannes Peter ; Woltran, Stefan Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems.Konferenzbeitrag Inproceedings2011