research
∙
04/28/2023
Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement
We present algorithms based on satisfiability problem (SAT) solving, as ...
share
research
∙
06/14/2022
Measuring Inconsistency in Declarative Process Specifications
We address the problem of measuring inconsistency in declarative process...
research
∙
04/21/2022
Revisiting initial sets in abstract argumentation
We revisit the notion of initial sets by Xu and Cayrol, i.e., non-empty ...
research
∙
09/07/2021
Fudge: A light-weight solver for abstract argumentation based on SAT reductions
We present Fudge, an abstract argumentation solver that tightly integrat...
research
∙
03/01/2021
Measuring Inconsistency over Sequences of Business Rule Cases
In this report, we investigate (element-based) inconsistency measures fo...
research
∙
08/05/2020
Towards Ranking-based Semantics for Abstract Argumentation using Conditional Logic Semantics
We propose a novel ranking-based semantics for Dung-style argumentation ...
research
∙
11/19/2019
Towards Inconsistency Measurement in Business Rule Bases
We investigate the application of inconsistency measures to the problem ...
research
∙
02/21/2018
Epistemic Graphs for Representing and Reasoning with Positive and Negative Influences of Arguments
This paper introduces epistemic graphs as a generalization of the episte...
research
∙
08/03/2016
Proceedings of the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16)
This volume contains the thesis abstracts presented at the Second Summer...
research
∙
10/19/2015
System Descriptions of the First International Competition on Computational Models of Argumentation (ICCMA'15)
This volume contains the system description of the 18 solvers submitted ...
research
∙
05/20/2015
Towards Large-scale Inconsistency Measurement
We investigate the problem of inconsistency measurement on large knowled...
research
∙
05/14/2014
Probabilistic Argumentation with Epistemic Extensions and Incomplete Information
Abstract argumentation offers an appealing way of representing and evalu...
research
∙
08/04/2013
Stratified Labelings for Abstract Argumentation
We introduce stratified labelings as a novel semantical approach to abst...
research
∙
05/09/2012