Items where Author is "Wallner, Johannes Peter"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Category | No Grouping
Jump to: Journal Paper | Paper in Conference Proceedings or in Workshop Proceedings | Book Section/Chapter | Technical Report
Number of items: 6.

Journal Paper

  • Methods for Solving Reasoning Problems in Abstract Argumentation - A Survey
    Charwat, Günther and Dvořák, Wolfgang and Gaggl, Sarah Alice and Wallner, Johannes Peter and Woltran, Stefan pp. 28-63 ISSN 0004-3702 Elsevier (2015)

  • Complexity-Sensitive Decision Procedures for Abstract Argumentation.
    Dvořák, Wolfgang and Järvisalo, Matti and Wallner, Johannes Peter and Woltran, Stefan Artificial Intelligence, 206. pp. 53-78 ISSN 0004-3702 Elsevier (In Press) (2014)

    • Paper in Conference Proceedings or in Workshop Proceedings

  • Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract)
    Dvořák, Wolfgang and Järvisalo, Matti and Wallner, Johannes Peter and Woltran, Stefan In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015 , July 25-31, 2015 , Buenos Aires, Argentina (2015)

    • Book Section/Chapter

  • Reduction-Based Approaches to Implement Modgil's Extended Argumentation Frameworks
    Dvořák, Wolfgang and Gaggl, Sarah Alice and Linsbichler, Thomas and Wallner, Johannes Peter In: Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. Lecture Notes in Computer Science, 9060 Springer International Publishing, pp. 249-264 (2015)

  • Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems.
    Dvořák, Wolfgang and Gaggl, Sarah Alice and Wallner, Johannes Peter and Woltran, Stefan In: Applications of Declarative Programming and Knowledge Management Applications of Declarative Programming and Knowledge Management. Lecture Notes in Computer Science (7773) Springer Berlin Heidelberg, pp. 114-133 ISBN 978-3-642-41523-4 (2013)

    • Technical Report

  • CEGARTIX v0.4: A SAT-Based Counter-Example Guided Argumentation Reasoning Tool
    Dvořák, Wolfgang and Järvisalo, Matti and Wallner, Johannes Peter and Woltran, Stefan Other. UNSPECIFIED (2015)

    • This list was generated on Fri Apr 19 17:30:42 2024 CEST.
    Universität Wien| Fakultät für Informatik | Währinger Straße 29 | 1090 Wien | T +43-1-4277-780 01 | Imprint | Webteam
    EPrints Logo
    CS is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.