Search Results for author:
Found 2 papers, 0 papers with code
RankPL: A Qualitative Probabilistic Programming Language
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 ranking theory.
Abduction and Dialogical Proof in Argumentation and Logic Programming
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.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
