Norbert E. Fuchs
Norbert E. Fuchs has 3 papers in our library, in 1996–2020, most of them on English, Reasoning.
OpenAlex · h-index 23 · 101 works · 1,776 citations OpenAlex, 2026-10-14
📄 3 works in our library · 🔗 Cited 11 times in our library · ⭐ Paper Stars ranking: #7135
Affiliations
Fields, topics and concepts
📚 Shelves 5The field of science this work belongs to (OpenAlex fields).Computer Science · 3 worksArts and Humanities · 1 workArtificial Intelligence · 3 worksLanguage and Linguistics · 1 workSoftware · 1 work
🧭 Topics 2Research subjects and languages the work is about.English · 3 worksReasoning · 1 work
Works by year
2020s
1990s
Papers
- Attempto Controlled English (ACE) (1996 · 148 citations)
Requirements specifications are usually written in free English, which is easy for everyone to read but often vague or ambiguous. - Reasoning in Attempto Controlled English: Mathematical and Functional Extensions (2020)
This paper is the last of three system descriptions covering RACE, the first-order reasoner for Attempto Controlled English (ACE). - The Law of Inertia and the Frame Problem in Attempto Controlled English (2020)
The paper addresses the frame problem: how a logical description can state that whatever an action does not touch stays as it was, which is Leibniz's "law of inertia".
Venues
- International Workshop on Controlled Natural Language ×2: International Workshop on Controlled Natural Language 2020 ×2
Cited by
Updated
This page in Markdown → https://md.research.elamur.ai/free/en/authors/norbert-e-fuchs/