Skip to search formSkip to main contentSkip to account menu

Attempto Controlled English

Known as: Ace (disambiguation), Attempto Project 
Attempto Controlled English (ACE) is a controlled natural language, i.e. a subset of standard English with a restricted syntax and restricted… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
RACE is a first-order reasoner for Attempto Controlled English (ACE) that can show the (in-) consistency of a set of ACE axioms… 
Highly Cited
2008
Highly Cited
2008
Attempto Controlled English (ACE) is a controlled natural language, i.e. a precisely defined subset of English that can… 
Highly Cited
2007
Highly Cited
2007
We describe a verbalization of the logical content of OWL ontologies — using OWL 1.1 without data-valued properties — in Attempto… 
2006
2006
This report presents three tracks of research on Attempto Controlled English (ACE). First, we show how ACE can be translated into… 
2004
2004
Attempto Controlled English (ACE) is a controlled natural language specifically designed for requirements specifications and… 
2003
2003
Attempto Controlled English (ACE) – a subset of English that can be unambiguously translated into first-order logic – is a… 
Highly Cited
2002
Highly Cited
2002
This article shows how CGLF, CGIF, KIF, Formalized-English and Frame-CG can be used in a panorama of knowledge representation… 
2000
2000
Attempto Controlled English (ACE) is a controlled natural language specifically constructed to write software specifications. ACE… 
Highly Cited
1999
Highly Cited
1999
Attempto Controlled English (ACE) is a language specifically designed to write specifications. ACE is a controlled natural… 
Highly Cited
1996
Highly Cited
1996
Attempto Controlled English (ACE) allows domain specialists to interactively formulate requirements specifications in domain…