8 citations · 9 across the 4 of their papers we have counts for
4 papers
Extension-ranking Semantics for Abstract Argumentation Preprint
Kenneth Skiba, Tjitze Rienstra, Matthias Thimm +2
In this paper, we present a general framework for ranking sets of arguments in abstract argumentation based on their plausibility of acceptance. We present a generalisation of Dung…
Deciding SHACL Shape Containment through Description Logics Reasoning (Extended Version)
Martin Leinberger, Philipp Seifer, Tjitze Rienstra +2
The Shapes Constraint Language (SHACL) allows for formalizing constraints over RDF data graphs. A shape groups a set of constraints that may be fulfilled by nodes in the RDF graph.…
RankPL: A Qualitative Probabilistic Programming Language
Tjitze Rienstra
In this paper we introduce RankPL, a modeling language that can be thought of as a qualitative variant of a probabilistic programming language with a semantics based on Spohn's ran…
Abduction and Dialogical Proof in Argumentation and Logic Programming
Richard Booth, Dov Gabbay, Souhila Kaci +2
We develop a model of abduction in abstract argumentation, where changes to an argumentation framework act as hypotheses to explain the support of an observation. We present dialog…