机译:用于抽象论证框架的基于 Java 的高效求解器:jArgSemSAT
Cardiff Univ, Sch Comp Sci & Informat, Queens Bldg,5 Parade, Cardiff CF24 3AA, S Glam, Wales;
Univ Huddersfield, Sch Comp & Engn, Huddersfield HD1 3DH, W Yorkshire, England;
Univ Brescia, Dipartimento Ingn Informaz, I-25123 Brescia, Italy;
Abstract argumentation; argumentation semantics; off-the-shelf solver;
机译:On efficiently estimating the probability of extensions in abstract argumentation frameworks
机译:Collective argumentation with topological restrictions:The case of aggregating abstract argumentation frameworks
机译:Zonal Flow Solver (ZFS): a highly efficient multi-physics simulation framework
机译:Visual Multi-Agent Argumentation Solver