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ß

Download

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

Details
Bibtex

Weitere Informationen unter:Further Information: Link
Projekt:Project: CPEC
Forschungsgruppe:Research Group: Computational LogicComputational Logic, Logische Programmierung und ArgumentationLogic Programming and Argumentation

@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}
}