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. Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization. In Simon Dobnik, Stergios Chatzikyriakidis, Vera Demberg, editors, Proceedings of the 13th International Conference on Computational Semantics, IWCS 2019, Short Papers, Gothenburg, Sweden, May 23-27, 2019. pages 32-37, Association for Computational Linguistics, 2019. [doi]

Abstract

Abstract is missing.