Items where Author is "Järvisalo, Matti"

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 | Technical Report
Number of items: 3.

Journal Paper

  • 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)

    • 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 Mon Oct 7 13:51:56 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.