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 specification language Attempto Controlled English (ACE) is a controlled natural language, i.e. a subset of standard English with a domain-specific vocabulary and a restricted grammar. The restriction of full natural language to a controlled subset is essential for ACE to be suitable for specification 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 specifications can be… CONTINUE READING
BETA

Citations

Publications citing this paper.
SHOWING 1-10 OF 102 CITATIONS, ESTIMATED 95% COVERAGE

Controlled Natural Language

  • Lecture Notes in Computer Science
  • 2016
VIEW 5 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Controlled Natural Language

  • Lecture Notes in Computer Science
  • 2012
VIEW 5 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

CONTROLLED ENGLISH INTERFACE FOR KNOWLEDGE BASES

Kontrolowany Język Naturalny, Logika Opisowa
  • 2011
VIEW 8 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Controlled English interface for knowledge bases

VIEW 8 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Integrating ontologies, model driven, and CNL in a multi-viewed approach for requirements engineering

  • Requirements Engineering
  • 2011
VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Using Controlled Natural Language for World Knowledge Reasoning

VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1996
2019

CITATION STATISTICS

  • 19 Highly Influenced Citations

  • Averaged 3 Citations per year over the last 3 years

References

Publications referenced by this paper.
SHOWING 1-4 OF 4 REFERENCES

Speci cations Are Necessarily Informal, or: The Ultimate Myths of Formal Methods

Le Charlier, Flener 98 B. Le Charlier, P. Flener
  • Journal of Systems and Software, Special Issue on Formal Methods Technology Transfer,
  • 1998

Expert Systems for the Con guration of Elevators at Schindler AG

A. Businger
  • Talk at Department of Computer Science,
  • 1994
VIEW 1 EXCERPT

A Speci ers's Introduction to Formal Methods

J. M. Wing
  • IEEE Computer,
  • 1990

Similar Papers

Loading similar papers…