Differences

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

--- nlp:controlled_language [2021/10/20 06:44] – [Attempto Controlled English (ACE)] jmflanig
+++ nlp:controlled_language [2023/06/15 07:36] (current) – external edit 127.0.0.1
@@ Line 5: / Line 5: @@
 ===== Papers =====
+  * [[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) ====
@@ Line 16: / Line 18: @@
 Bos, 2005) and also verbalises DRSs.
 </blockquote>
-For more papers see [[http://attempto.ifi.uzh.ch/site/pubs/|Attempto Publications]]
+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]]