Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization

Martin Diller | Adam Wyner | Hannes Strass |

Paper Details:

Month: 23–27 May
Year: 2019
Location: Gothenburg, Sweden
Venue: IWCS | WS |
SIG: SIGSEM