Forskningsresultat per år
Forskningsresultat per år
Sökresultat
-
2022
ASPforASPIC: ASP-based algorithms for abstract rule-based argumentation (ASPIC+)
Lehtonen, T., Wallner, J. P. & Järvisalo, M., 7 juni 2022Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
SATforDL-ABA: SAT-based algorithms for the default logic instantiation of assumption-based argumentation
Lehtonen, T., Wallner, J. P. & Järvisalo, M., 19 sep. 2022Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
2021
ASPforABA: ASP-based algorithms for assumption-based argumentation
Lehtonen, T., Wallner, J. P. & Järvisalo, M., 18 juni 2021Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
2019
µ-toksia (version 2019-10-31): SAT-based Solver for Static and Dynamic Argumentation Frameworks
Niskanen, A. & Järvisalo, M., 19 dec. 2019Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
Loandra, Core-Boosted Linear Search for incomplete MaxSAT
Berg, J., Stuckey, P. & Emir Demirović, E., 2019Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
Öppen tillgångFil -
Taeydennae (version 2019-10-20): SAT-based Reasoner for Incomplete Argumentation Frameworks
Niskanen, A. & Järvisalo, M., 20 nov. 2019Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
2018
AFSynth (version 2018-07-04): Synthesizing Argumentation Frameworks from Examples
Niskanen, A., Järvisalo, M. & Wallner, J. P., 4 juli 2018Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
ASP-HS: An answer set optimizer based on the implicit hitting set paradigm
Saikko, P., Dodaro, C., Alviano, M. & Järvisalo, M., 2018Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
k++ADF: SAT-based Reasoner for Abstract Dialectical Frameworks
Niskanen, A. J. A., 6 juli 2018Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
Maadoita (version 2018-11-01): Extension Enforcement under Grounded Semantics in Abstract Argumentation
Niskanen, A., Järvisalo, M. & Wallner, J. P., 1 nov. 2018Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
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., 2017Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
BBMarkov: a branch-and-bound approach to learning optimal decomposable graphs
Rantanen, K. M. J., Hyttinen, A. J. & Järvisalo, M. J., 2017Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
LMHS 2017
Saikko, P. H. A. & Järvisalo, M. J., 10 aug. 2017Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
MaxPre: An Extended MaxSAT Preprocessor
Korhonen, T. M. A., Berg, O. J., Saikko, P. H. A. & Järvisalo, M. J., 2017Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
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 maj 2017Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
2016
AbHS: A propositional abduction solver based on the implicit hitting set paradigm
Saikko, P. H. A., Wallner, J. P. & Järvisalo, M. J., 2016Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
AFSynth (version 2016-08-10): Synthesizing Argumentation Frameworks from Examples
Niskanen, A. J. A., Järvisalo, M. J. & Wallner, J. P., 10 aug. 2016Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
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 juni 2016Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
2015
LMHS: A SAT-IP Hybrid MaxSAT solver
Saikko, P. H. A. & Järvisalo, M. J., 2015Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
Pakota: A system for extension enforcement in abstract argumentation based on constraint optimization
Niskanen, A. J. A., Wallner, J. P. & Järvisalo, M. J., 2015Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig