Search Results for author:
Found 13 papers, 0 papers with code
Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement
In an extensive experimental analysis, we compare the SAT-based and ASP-based approaches with each other, as well as with a set of naive baseline algorithms.
Measuring Inconsistency in Declarative Process Specifications
We address the problem of measuring inconsistency in declarative process specifications, with an emphasis on linear temporal logic on fixed traces (LTLff).
Revisiting initial sets in abstract argumentation
We revisit the notion of initial sets by Xu and Cayrol, i. e., non-empty minimal admissible sets in abstract argumentation frameworks.
Fudge: A light-weight solver for abstract argumentation based on SAT reductions
We present Fudge, an abstract argumentation solver that tightly integrates satisfiability solving technology to solve a series of abstract argumentation problems.
Measuring Inconsistency over Sequences of Business Rule Cases
In this report, we investigate (element-based) inconsistency measures for multisets of business rule bases.
Towards Ranking-based Semantics for Abstract Argumentation using Conditional Logic Semantics
We propose a novel ranking-based semantics for Dung-style argumentation frameworks with the help of conditional logics.
Towards Inconsistency Measurement in Business Rule Bases
We investigate the application of inconsistency measures to the problem of analysing business rule bases.
Epistemic Graphs for Representing and Reasoning with Positive and Negative Influences of Arguments
Furthermore, the flexibility of the epistemic approach allows us to both model the rationale behind the existing semantics as well as completely deviate from them when required.
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 School on Argumentation: Computational and Linguistic Perspectives (SSA'2016) held on September 8-12 in Potsdam, Germany.
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 to the First International Competition on Computational Models of Argumentation (ICCMA'15) and therefore gives an overview on state-of-the-art of computational approaches to abstract argumentation problems.
Towards Large-scale Inconsistency Measurement
We investigate the problem of inconsistency measurement on large knowledge bases by considering stream-based inconsistency measurement, i. e., we investigate inconsistency measures that cannot consider a knowledge base as a whole but process it within a stream.
Probabilistic Argumentation with Epistemic Extensions and Incomplete Information
We consider various constraints on the probability assignment.
Stratified Labelings for Abstract Argumentation
We introduce stratified labelings as a novel semantical approach to abstract argumentation frameworks.
