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

Results 21-40 of 60 (Search time: 0.007 seconds).

PreviewAuthor(s)TitleTypeIssue Date
21Brewka, Gerhard ; Strass, Hannes ; Wallner, Johannes Peter ; Woltran, Stefan Weighted Abstract Dialectical FrameworksKonferenzbeitrag Inproceedings 2018
22Wallner, Johannes Peter Structural Constraints for Dynamic Operators in Abstract ArgumentationKonferenzbeitrag Inproceedings 2018
23Brewka, Gerd ; Ellmauthaler, Stefan ; Strass, Hannes ; Wallner, Johannes Peter ; Woltran, Stefan Abstract Dialectical FrameworksBuchbeitrag Book Contribution 2018
24Cerutti, Federico ; Gaggl, Sarah Alice ; Thimm, Matthias ; Wallner, Johannes Peter Foundations of Implementations for Formal ArgumentationBuchbeitrag Book Contribution 2018
25Haret Adrian - 2018 - Two sides of the same coin Belief revision and enforcing...pdf.jpgHaret, Adrian ; Wallner, Johannes P. ; Woltran, Stefan Two sides of the same coin: Belief revision and enforcing argumentsInproceedings Konferenzbeitrag 2018
26Linsbichler Thomas - 2018 - Novel Algorithms for Abstract Dialectical Frameworks...pdf.jpgLinsbichler, Thomas ; Maratea, Marco ; Niskanen, Andreas ; Wallner, Johannes P. ; Woltran, Stefan Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT SolvingInproceedings Konferenzbeitrag 2018
27Brochenin, Remi ; Linsbichler, Thomas ; Maratea, Marco ; Wallner, Johannes P. ; Woltran, Stefan Abstract Solvers for Dung's Argumentation FrameworksArtikel Article 2018
28Niskanen-2018-Extension Enforcement under Grounded Semantics in Abstract ...-vor.pdf.jpgNiskanen, Andreas ; Wallner, Johannes ; Järvisalo, Matti Extension Enforcement under Grounded Semantics in Abstract ArgumentationInproceedings Konferenzbeitrag 2018
29Wallner Johannes - 2017 - Complexity Results and Algorithms for Extension...pdf.jpgWallner, Johannes ; Niskanen, Andreas ; Järvisalo, Matti Complexity Results and Algorithms for Extension Enforcement in Abstract ArgumentationArticle Artikel 2017
30Cerutti Federico - 2017 - Foundations of Implementations for Formal...pdf.jpgCerutti, Federico ; Gaggl, Sarah A. ; Thimm, Matthias ; Wallner, Johannes Foundations of Implementations for Formal ArgumentationArticle Artikel 2017
31Brewka Gerhard - 2017 - Abstract Dialectical Frameworks An Overview.pdf.jpgBrewka, Gerhard ; Ellmauthaler, Stefan ; Strass, Hannes ; Wallner, Johannes P. ; Woltran, Stefan Abstract Dialectical Frameworks. An OverviewArticle Artikel 2017
32Pfandler, Andreas ; Rümmele, Stefan ; Wallner, Johannes Peter ; Woltran, Stefan On the Parameterized Complexity of Belief RevisionKonferenzbeitrag Inproceedings 2015
33Diller, Martin ; Wallner, Johannes Peter ; Woltran, Stefan Reasoning in Abstract Dialectical Frameworks using Quantified Boolean FormulasArtikel Article2015
34GAGGL, SARAH A. ; MANTHEY, NORBERT ; RONCA, ALESSANDRO ; WALLNER, JOHANNES P. ; WOLTRAN, STEFAN Improved answer-set programming encodings for abstract argumentationArtikel Article2015
35Strass, Hannes ; Wallner, Johannes Peter Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theoryArtikel Article2015
36Charwat, Günther ; Dvořák, Wolfgang ; Gaggl, Sarah A. ; Wallner, Johannes P. ; Woltran, Stefan Methods for solving reasoning problems in abstract argumentation - A surveyArtikel Article 2015
37Dvořák, Wolfgang ; Gaggl, Sarah Alice ; Linsbichler, Thomas ; Wallner, Johannes Peter Reduction-Based Approaches to Implement Modgil’s Extended Argumentation FrameworksBuchbeitrag Book Contribution2015
38Brochenin, Remi ; Linsbichler, Thomas ; Maratea, Marco ; Wallner, Johannes Peter ; Woltran, Stefan Abstract Solvers for Dung’s Argumentation FrameworksKonferenzbeitrag Inproceedings 2015
39Dvorak, Wolfgang ; Järvisalo, Matti ; Wallner, Johannes Peter ; Woltran, Stefan Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract)Konferenzbeitrag Inproceedings 2015
40Diller, Martin ; Wallner, Johannes Peter ; Woltran, Stefan Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean FormulasKonferenzbeitrag Inproceedings 2014