Attempto Controlled English - Not Just Another Logic Specification Language

@inproceedings{Fuchs1998AttemptoCE,
  title={Attempto Controlled English - Not Just Another Logic Specification Language},
  author={Norbert E. Fuchs and Uta Schwertel and Rolf Schwitter},
  booktitle={LOPSTR},
  year={1998}
}
The speci cation language Attempto Controlled English (ACE) is a controlled natural language, i.e. a subset of standard English with a domain-speci c vocabulary and a restricted grammar. The restriction of full natural language to a controlled subset is essential for ACE to be suitable for speci cation purposes. The main goals of this restriction are to reduce ambiguity and vagueness inherent in full natural language and to make ACE computer processable. ACE speci cations can be unambiguously… CONTINUE READING
Highly Influential
This paper has highly influenced a number of papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 198 citations. REVIEW CITATIONS

Topics

Statistics

01020'97'99'01'03'05'07'09'11'13'15'17
Citations per Year

198 Citations

Semantic Scholar estimates that this publication has 198 citations based on the available data.

See our FAQ for additional information.