• Publications
  • Influence
Semiautomated image processing method for identification and quantification of geographic atrophy in age-related macular degeneration.
PURPOSE To determine intraobserver and interobserver longitudinal measurement variability of novel semiautomated software for quantification of age-related macular degeneration-associated geographicExpand
  • 112
  • 6
  • PDF
An Extension-Based Approach to Belief Revision in Abstract Argumentation
TLDR
In this work, we present a generic solution to this problem which applies to many prominent I-maximal argumentation semantics. Expand
  • 57
  • 3
  • PDF
Solving Advanced Argumentation Problems with Answer-Set Programming
TLDR
We exploit this coincidence and present novel efficient translations from abstract dialectical frameworks (ADFs) and GRAPPA to ASP. Expand
  • 19
  • 1
  • PDF
Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas
TLDR
We give complexity sensitive QBF encodings of ADF problems generalising recent work on QBFs for AF labellings. Expand
  • 16
  • 1
  • PDF
Prediction of the oversulphated chondroitin sulphate contamination of unfractionated heparin by ATR-IR spectrophotometry.
The detection of a contamination of heparin with oversulphated chondroitin sulphate (OSCS) was first analysed in an unfractionated heparin batch supplied to the US API-market in April 2006. OSCS is aExpand
  • 7
Investigating Subclasses of Abstract Dialectical Frameworks
TLDR
Abstract dialectical frameworks (ADFs) are generalizations of Dung argumentation frameworks where arbitrary relationships among arguments can be formalized. Expand
  • 10
  • PDF
Investigating subclasses of abstract dialectical frameworks
TLDR
In this work, we introduce certain subclasses of ADFs and investigate their properties. Expand
  • 4
Reasoning in abstract dialectical frameworks using quantified Boolean formulas
TLDR
Abstract dialectical frameworks (ADFs) constitute a recent and powerful generalisation of Dung's argumentation frameworks, where the relationship between the arguments can be specified via Boolean formulas. Expand
  • 3
Defeasible AceRules: A Prototype
TLDR
The paper adapts the syntax of the AceRules system, an existing controlled natural language (CNL), and pipes the resulting output rules to a defeasible inference engine. Expand
  • 4
  • PDF