BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × United Kingdom
Collaborated with:
N.E.Fuchs S.Torge R.Schwitter
Talks about:
languag (2) control (2) logic (2) attempto (1) english (1) specif (1) replac (1) order (1) natur (1) first (1)

Person: Uta Schwertel

DBLP DBLP: Schwertel:Uta

Contributed to:

ASE 19991999
LOPSTR 19981998

Wrote 2 papers:

ASE-1999-FuchsST #first-order #logic #natural language
Controlled Natural Language Can Replace First-Order Logic (NEF, US, ST), pp. 295–298.
LOPSTR-1998-FuchsSS #logic #specification
Attempto Controlled English — Not Just Another Logic Specification Language (NEF, US, RS), pp. 1–20.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.