Differences

This shows you the differences between two versions of the page.

--- nlp:controlled_language [2021/10/20 05:43] – [Papers] jmflanig
+++ nlp:controlled_language [2023/06/15 07:36] (current) – external edit 127.0.0.1
@@ Line 5: / Line 5: @@
 ===== Papers =====
-  * Attempto Controlled English (ACE) From [[https://aclanthology.org/W19-0505.pdf|Diller 2019]]:
+  * [[http://ceur-ws.org/Vol-448/paper10.pdf|Cramer et al 2009 - The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts]]
+==== Attempto Controlled English (ACE) ====
+From [[https://aclanthology.org/W19-0505.pdf|Diller 2019]]:
 <blockquote>
 Attempto Controlled English (ACE) (Fuchs et al., 2008) is a prominent controlled natural language
@@ Line 14: / Line 18: @@
 Bos, 2005) and also verbalises DRSs.
 </blockquote>
-    * [[https://aclanthology.org/W19-0505.pdf|Diller et al 2019 - Making sense of conflicting (defeasible) rules in the controlled natural language ACE: design of a system with support for existential quantification using skolemization]]
+Main site: [[http://attempto.ifi.uzh.ch/site/|Attempto Project]].  See also [[https://en.wikipedia.org/wiki/Attempto_Controlled_English|Wikipedia - Attempto Controlled English]]. For more papers see [[http://attempto.ifi.uzh.ch/site/pubs/|Attempto Publications]].
+  * [[http://attempto.ifi.uzh.ch/site/pubs/papers/reasoningweb2008_fuchs.pdf|Fuchs et al 2008 - Attempto Controlled English for Knowledge Representation]]
+  * [[https://aclanthology.org/W19-0505.pdf|Diller et al 2019 - Making sense of conflicting (defeasible) rules in the controlled natural language ACE: design of a system with support for existential quantification using skolemization]]