Norbert E. Fuchs

Most-cited papers

Attempto Controlled English for Knowledge Representation
Norbert E. Fuchs, K. Kaljurand, T. Kuhn
2008Reasoning Web281 citations Open access
Semantic Scholar
Specifications are (preferably) executable
Norbert E. Fuchs
1992Software Engineering Journal212 citations
Semantic Scholar
Attempto Controlled English (ACE)
Norbert E. Fuchs, R. Schwitter
1996arXiv.org204 citations
Semantic Scholar
Attempto Controlled English - Not Just Another Logic Specification Language
Norbert E. Fuchs, Uta Schwertel, R. Schwitter
1998International Workshop/Symposium on Logic-based Program Synthesis and Transformation158 citations Open access
Semantic Scholar
Verbalizing OWL in Attempto Controlled English
K. Kaljurand, Norbert E. Fuchs
2007OWL: Experiences and Directions141 citations
Semantic Scholar
Attempto Controlled English Meets the Challenges of Knowledge Representation, Reasoning, Interoperability and User Interfaces
Norbert E. Fuchs, K. Kaljurand, Gerold Schneider
2006The Florida AI Research Society121 citations
Semantic Scholar
On Controlled Natural Languages: Properties and Prospects
A. Wyner, Krasimir Angelov, Guntis Bārzdiņš, Danica Damljanovic +11 more
2009Controlled Natural Language90 citations Open access
Semantic Scholar
Controlled English for knowledge representation
T. Kuhn, Norbert E. Fuchs
201088 citations
Semantic Scholar
Semantic Web Policies - A Discussion of Requirements and Research Issues
P. Bonatti, Claudiu Duma, Norbert E. Fuchs, W. Nejdl +3 more
2006Extended Semantic Web Conference85 citations Open access
Semantic Scholar
Specifying Logic Programs in Controlled Natural Language
Norbert E. Fuchs, R. Schwitter
1995arXiv.org83 citations
Semantic Scholar
Attempto Controlled English (ACE)Language ManualVersion 3.0
Norbert E. Fuchs, Uta Schwertel, R. Schwitter
199979 citations
Semantic Scholar
Bidirectional Mapping Between OWL DL and Attempto Controlled English
K. Kaljurand, Norbert E. Fuchs
2006Principles and Practice of Semantic Web Reasoning54 citations Open access
Semantic Scholar
Discourse representation structures for ACE 5
Norbert E. Fuchs, Stefan H. Hoefler, K. Kaljurand, T. Kuhn +2 more
200654 citations
Semantic Scholar
Attempto Controlled English: A Knowledge Representation Language Readable by Humans and Machines
Norbert E. Fuchs, S. Höfler, K. Kaljurand, Fabio Rinaldi +1 more
2005Reasoning Web53 citations Open access
Semantic Scholar
Talking to the Semantic Web - A Controlled English Query Interface for Ontologies*
A. Bernstein, Esther Kaufmann, Norbert E. Fuchs, June von Bonin
200452 citations
Semantic Scholar
Controlled Natural Language
R. Goebel, Yuzuru Tanaka, T. Kuhn, Norbert E. Fuchs
2012Lecture Notes in Computer Science50 citations
Semantic Scholar
Reasoning in Attempto Controlled English
Norbert E. Fuchs, Uta Schwertel
2003Principles and Practice of Semantic Web Reasoning46 citations Open access
Semantic Scholar
Writing Clinical Practice Guidelines in Controlled Natural Language
R. Shiffman, George Michel, M. Krauthammer, Norbert E. Fuchs +2 more
2009Controlled Natural Language42 citations Open access
Semantic Scholar
Rule-based Policy Specification : State of the Art and Future Work
P. Bonatti, N. Shahmehri, Claudiu Duma, D. Olmedilla +9 more
200442 citations
Semantic Scholar
Attempto Controlled English
Norbert E. Fuchs
2000Workshop Logische Programmierung42 citations
Semantic Scholar
Attempto - From Specifications in Controlled Natural Language towards Executable Specifications
R. Schwitter, Norbert E. Fuchs
1996arXiv.org39 citations
Semantic Scholar
Controlled natural language can replace first-order logic
Norbert E. Fuchs, Uta Schwertel, Sunna Torge
199914th IEEE International Conference on Automated Software Engineering35 citations
Semantic Scholar
SLAN-4-A software specification and design language
Friedrich W. Beichter, O. Buchegger, Norbert E. Fuchs, O. Herzog
1980IEEE Transactions on Software Engineering34 citations
Semantic Scholar
An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations
W. Vasconcelos, Norbert E. Fuchs
1995International Workshop/Symposium on Logic-based Program Synthesis and Transformation28 citations
Semantic Scholar
First-Order Reasoning for Attempto Controlled English
Norbert E. Fuchs
2010Controlled Natural Language27 citations
Semantic Scholar
Controlled English for Reasoning on the Semantic Web
J. L. D. Coi, Norbert E. Fuchs, K. Kaljurand, T. Kuhn
2009REWERSE26 citations Open access
Semantic Scholar
Attempto: Controlled Natural Language for Requirements Specifications
Norbert E. Fuchs, R. Schwitter
1995LPE26 citations
Semantic Scholar
Web-Annotations for Humans and Machines
Norbert E. Fuchs, R. Schwitter
2007Extended Semantic Web Conference23 citations Open access
Semantic Scholar
Development of Correct Transformation Schemata for Prolog Programs
Julian Richardson, Norbert E. Fuchs
1997International Workshop/Symposium on Logic-based Program Synthesis and Transformation23 citations
Semantic Scholar
Schema-Based Transfomations of Logic Programs
Norbert E. Fuchs, Markus P. J. Fromherz
1991International Workshop/Symposium on Logic-based Program Synthesis and Transformation13 citations
Semantic Scholar
Mapping Attempto Controlled English to OWL DL
K. Kaljurand, Norbert E. Fuchs
200612 citations
Semantic Scholar
Logic Programming in Action
G. Comyn, Norbert E. Fuchs, M. Ratcliffe
1992Lecture Notes in Computer Science10 citations
Semantic Scholar
Extended discourse representation structures in attempto controlled English
Norbert E. Fuchs, Stefan H. Hoefler, K. Kaljurand, T. Kuhn +2 more
20069 citations
Semantic Scholar
Reasoning in Attempto Controlled English: Non-monotonicity
Norbert E. Fuchs
2016Controlled Natural Language8 citations
Semantic Scholar
ACE Grammar Library
John J. Camilleri, Norbert E. Fuchs, K. Kaljurand
20128 citations
Semantic Scholar
A Natural Language Front-End to Model Generation
Norbert E. Fuchs, Sunna Torge
19998 citations
Semantic Scholar
Prolog Program Development via Enhanced Schema-based Transformations
W. Vasconcelos, Norbert E. Fuchs
1995LPE8 citations
Semantic Scholar
Transformational Development of Logic Programs from Executable Specifications
Markus P. J. Fromherz, Norbert E. Fuchs
1994ICLP Workshop: Applications of Logic Programming to Software Engineering8 citations
Semantic Scholar
Attempto Controlled English and the Semantic Web
Norbert E. Fuchs, K. Kaljurand, T. Kuhn, Gerold Schneider
20067 citations
Semantic Scholar
Attempto Controlled English (ACE) A Seemingly Informal Bridgehead in Formal Territory (Poster Abstract)
R. Schwitter, Norbert E. Fuchs
1996Joint International Conference and Symposium on Logic Programming7 citations
Semantic Scholar
The REWERSE View on Policies
G. Antoniou, M. Baldoni, C. Baroglio, P. Bonatti +8 more
20056 citations
Semantic Scholar
Evaluations of ACE-in-GF and of AceWiki-GF
Laura Canedo, Norbert E. Fuchs, K. Kaljurand, Maarit Koponen +3 more
20135 citations
Semantic Scholar
Declarative specifications
Norbert E. Fuchs, D. Robertson
1996Knowledge engineering review (Print)5 citations Open access
Semantic Scholar
Hoare Logic, Executable Specifications and Logic Programs
Norbert E. Fuchs
1992Struct. Program.5 citations
Semantic Scholar
Understanding Texts in Attempto Controlled English
Norbert E. Fuchs
2018Controlled Natural Language4 citations Open access
Semantic Scholar
Lightweight Formalisation in Support of Requirements Engineering
J. Hesketh, D. Robertson, Norbert E. Fuchs, A. Bundy
1998International Conference on Automated Software Engineering4 citations
Semantic Scholar
Controlled Natural Language
Norbert E. Fuchs
20103 citations
Semantic Scholar
Knowledge Representation and Reasoning in (Controlled) Natural Language
Norbert E. Fuchs
2005International Conference on Conceptual Structures3 citations
Semantic Scholar
Automatic Bottom-Up Analysis and Transformation of Logic Programs
W. Vasconcelos, Marcelo A. T. Aragão, Norbert E. Fuchs
1996Brazilian Symposium on Artificial Intelligence3 citations
Semantic Scholar
Attempto: Specifications in Controlled Natural Language
R. Schwitter, Bernhard Hamburger, Norbert E. Fuchs
1995Workshop Logische Programmierung3 citations
Semantic Scholar