Research output per year
Research output per year
Search results
-
2022
ASPforASPIC: ASP-based algorithms for abstract rule-based argumentation (ASPIC+)
Lehtonen, T., Wallner, J. P. & Järvisalo, M., 7 Jun 2022Research output: Non-textual form › Software › Scientific
-
SATforDL-ABA: SAT-based algorithms for the default logic instantiation of assumption-based argumentation
Lehtonen, T., Wallner, J. P. & Järvisalo, M., 19 Sept 2022Research output: Non-textual form › Software › Scientific
-
2021
ASPforABA: ASP-based algorithms for assumption-based argumentation
Lehtonen, T., Wallner, J. P. & Järvisalo, M., 18 Jun 2021Research output: Non-textual form › Software › Scientific
-
2019
µ-toksia (version 2019-10-31): SAT-based Solver for Static and Dynamic Argumentation Frameworks
Niskanen, A. & Järvisalo, M., 19 Dec 2019Research output: Non-textual form › Software › Scientific
-
Loandra, Core-Boosted Linear Search for incomplete MaxSAT
Berg, J., Stuckey, P. & Emir Demirović, E., 2019Research output: Non-textual form › Software › Scientific
Open AccessFile -
Taeydennae (version 2019-10-20): SAT-based Reasoner for Incomplete Argumentation Frameworks
Niskanen, A. & Järvisalo, M., 20 Nov 2019Research output: Non-textual form › Software › Scientific
-
2018
AFSynth (version 2018-07-04): Synthesizing Argumentation Frameworks from Examples
Niskanen, A., Järvisalo, M. & Wallner, J. P., 4 Jul 2018Research output: Non-textual form › Software › Scientific
-
ASP-HS: An answer set optimizer based on the implicit hitting set paradigm
Saikko, P., Dodaro, C., Alviano, M. & Järvisalo, M., 2018Research output: Non-textual form › Software › Scientific
-
k++ADF: SAT-based Reasoner for Abstract Dialectical Frameworks
Niskanen, A. J. A., 6 Jul 2018Research output: Non-textual form › Software › Scientific
-
Maadoita (version 2018-11-01): Extension Enforcement under Grounded Semantics in Abstract Argumentation
Niskanen, A., Järvisalo, M. & Wallner, J. P., 1 Nov 2018Research output: Non-textual form › Software › Scientific
-
2017
aba2af: A system for reasoning about acceptance in structured argumentation via abstract argumentation
Lehtonen, T. T. P., Wallner, J. P. & Järvisalo, M. J., 2017Research output: Non-textual form › Software › Scientific
-
BBMarkov: a branch-and-bound approach to learning optimal decomposable graphs
Rantanen, K. M. J., Hyttinen, A. J. & Järvisalo, M. J., 2017Research output: Non-textual form › Software › Scientific
-
LMHS 2017
Saikko, P. H. A. & Järvisalo, M. J., 10 Aug 2017Research output: Non-textual form › Software › Scientific
-
MaxPre: An Extended MaxSAT Preprocessor
Korhonen, T. M. A., Berg, O. J., Saikko, P. H. A. & Järvisalo, M. J., 2017Research output: Non-textual form › Software › Scientific
-
Pakota (version 2017-05-31): A system for extension and status enforcement in abstract argumentation based on constraint optimization
Niskanen, A. J. A., Järvisalo, M. J. & Wallner, J., 31 May 2017Research output: Non-textual form › Software › Scientific
-
2016
AbHS: A propositional abduction solver based on the implicit hitting set paradigm
Saikko, P. H. A., Wallner, J. P. & Järvisalo, M. J., 2016Research output: Non-textual form › Software › Scientific
-
AFSynth (version 2016-08-10): Synthesizing Argumentation Frameworks from Examples
Niskanen, A. J. A., Järvisalo, M. J. & Wallner, J. P., 10 Aug 2016Research output: Non-textual form › Software › Scientific
-
Pakota (version 2016-06-06): A system for extension and status enforcement in abstract argumentation based on constraint optimization
Niskanen, A. J. A., Järvisalo, M. J. & Wallner, J. P., 6 Jun 2016Research output: Non-textual form › Software › Scientific
-
2015
LMHS: A SAT-IP Hybrid MaxSAT solver
Saikko, P. H. A. & Järvisalo, M. J., 2015Research output: Non-textual form › Software › Scientific
-
Pakota: A system for extension enforcement in abstract argumentation based on constraint optimization
Niskanen, A. J. A., Wallner, J. P. & Järvisalo, M. J., 2015Research output: Non-textual form › Software › Scientific