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

From International Center for Computational Logic

Toggle side column

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

Martin DillerMartin Diller,  Adam Z. WynerAdam Z. Wyner,  Hannes StraßHannes Straß
Martin Diller, Adam Z. Wyner, Hannes Straß
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 and Stergios Chatzikyriakidis and Vera Demberg, eds., Proceedings of the Thirteenth International Conference on Computational Semantics (IWCS), Short Papers, 32--37, May 2019. The Association for Computational Linguistics
@inproceedings{DWS2019,
  author    = {Martin Diller and Adam Z. Wyner and Hannes Stra{\ss}},
  title     = {Making Sense of Conflicting (Defeasible) Rules in the Controlled
               Natural Language {ACE:} Design of a System with Support for
               Existential Quantification Using Skolemization},
  editor    = {Simon Dobnik and Stergios Chatzikyriakidis and Vera Demberg},
  booktitle = {Proceedings of the Thirteenth International Conference on
               Computational Semantics (IWCS), Short Papers},
  publisher = {The Association for Computational Linguistics},
  year      = {2019},
  month     = {May},
  pages     = {32--37}
}