Name Card

Full name Familienname, Vorname
Järvisalo, Matti
 

Own Publications Eigene Publikationen

Results 1-11 of 11 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lehtonen, Tuomo ; Wallner, Johannes P. ; Järvisalo, Matti An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ FrameworkKonferenzbeitrag Inproceedings 2020
2Lehtonen, Tuomo ; Wallner, Johannes P. ; Järvisalo, Matti Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming EncodingsKonferenzbeitrag Inproceedings 2019
3Dvořák, Wolfgang ; Järvisalo, Matti ; Linsbichler, Thomas ; Niskanen, Andreas ; Woltran, Stefan Preprocessing Argumentation Frameworks via Replacement PatternsKonferenzbeitrag Inproceedings 2019
4Niskanen, Andreas ; Wallner, Johannes ; Järvisalo, Matti Synthesizing Argumentation Frameworks from ExamplesArtikel Article 2019
5Niskanen, Andreas ; Wallner, Johannes Peter ; Järvisalo, Matti Extension Enforcement under Grounded Semantics in Abstract ArgumentationKonferenzbeitrag Inproceedings 2018
6Wallner 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
7Heule, Marijn ; Järvisalo, Matti ; Lonsing, Florian ; Seidl, Martina ; Biere, Armin Clause Elimination for SAT and QSATArtikel Article 2015
8Dvorak, Wolfgang ; Järvisalo, Matti ; Wallner, Johannes Peter ; Woltran, Stefan Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract)Konferenzbeitrag Inproceedings 2015
9Dvořák, Wolfgang ; Järvisalo, Matti ; Wallner, Johannes Peter ; Woltran, Stefan Complexity-Sensitive Decision Procedures for Abstract ArgumentationArtikel Article2014
10Dvorak, Wolfgang ; Järvisalo, Matti ; Wallner, Johannes Peter ; Woltran, Stefan CEGARTIX: A SAT-Based Argumentation SystemPräsentation Presentation2012
11Dvorak, Wolfgang ; Järvisalo, Matti ; Wallner, Johannes Peter ; Woltran, Stefan Complexity-Sensitive Decision Procedures for Abstract ArgumentationKonferenzbeitrag Inproceedings 2012

Contributing Publications Mitbeteiligte Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1de Haan, Ronald ; Kanj, Iyad ; Szeider, Stefan Local BackbonesKonferenzbeitrag Inproceedings 2013
2Heule, Marijn ; Szeider, Stefan A SAT Approach to Clique-WidthKonferenzbeitrag Inproceedings 2013
3Misra, Neeldhara ; Ordyniak, Sebastian ; Raman, Venkatesh ; Szeider, Stefan Upper and Lower Bounds for Weak Backdoor Set DetectionKonferenzbeitrag Inproceedings 2013