Norbert E. Fuchs

Publication Activity (10 Years)

Years Active: 1976-2018
Publications (10 Years): 2

Top Topics

Training Corpus

English Language

Reasoning Mechanisms

Top Venues

Publications

Norbert E. Fuchs
Understanding Texts in Attempto Controlled English. CNL (2018)
Norbert E. Fuchs
Reasoning in Attempto Controlled English: Non-monotonicity. CNL (2016)
Norbert E. Fuchs
First-Order Reasoning for Attempto Controlled English. CNL (2010)
Richard N. Shiffman, George Michel, Michael Krauthammer, Norbert E. Fuchs, Kaarel Kaljurand, Tobias Kuhn
Writing Clinical Practice Guidelines in Controlled Natural Language. CNL (2009)
Richard N. Shiffman, George Michel, Michael Krauthammer, Norbert E. Fuchs, Kaarel Kaljurand, Tobias Kuhn
Controlled Natural Language for Clinical Practice Guidelines. CNL (Pre-Proceedings) (2009)
Adam Z. Wyner, Krasimir Angelov, Guntis Barzdins, Danica Damljanovic, Brian Davis, Norbert E. Fuchs, Stefan Höfler, Ken Jones, Kaarel Kaljurand, Tobias Kuhn
On Controlled Natural Languages: Properties and Prospects. CNL (2009)
Norbert E. Fuchs, Kaarel Kaljurand, Tobias Kuhn
Attempto Controlled English for Knowledge Representation. Reasoning Web (2008)
Norbert E. Fuchs, Rolf Schwitter
Web-Annotations for Humans and Machines. ESWC (2007)
Kaarel Kaljurand, Norbert E. Fuchs
Verbalizing OWL in Attempto Controlled English. OWLED (2007)
Piero A. Bonatti, Claudiu Duma, Norbert E. Fuchs, Wolfgang Nejdl, Daniel Olmedilla, Joachim Peer, Nahid Shahmehri
Semantic Web Policies - A Discussion of Requirements and Research Issues. ESWC (2006)
Tobias Kuhn, Loïc Royer, Norbert E. Fuchs, Michael Schroeder
Improving Text Mining with Controlled Natural Language: A Case Study for Protein Interactions. DILS (2006)
Kaarel Kaljurand, Norbert E. Fuchs
Bidirectional Mapping Between OWL DL and Attempto Controlled English. PPSWR (2006)
Norbert E. Fuchs, Kaarel Kaljurand, Gerold Schneider
Attempto Controlled English Meets the Challenges of Knowledge Representation, Reasoning, Interoperability and User Interfaces. FLAIRS Conference (2006)
Norbert E. Fuchs
Knowledge Representation and Reasoning in (Controlled) Natural Language. ICCS (2005)
Norbert E. Fuchs, Stefan Höfler, Kaarel Kaljurand, Fabio Rinaldi, Gerold Schneider
Attempto Controlled English: A Knowledge Representation Language Readable by Humans and Machines. Reasoning Web (2005)
Norbert E. Fuchs, Uta Schwertel
Reasoning in Attempto Controlled English. PPSWR (2003)
Norbert E. Fuchs
Attempto Controlled English. WLP (2000)
Norbert E. Fuchs, Uta Schwertel, Sunna Torge
Controlled Natural Language Can Replace First-Order Logic. ASE (1999)
Jane Hesketh, David Stuart Robertson, Norbert E. Fuchs, Alan Bundy
Lightweight Formalisation in Support of Requirements Engineering. Autom. Softw. Eng. 5 (2) (1998)
Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter
Attempto Controlled English - Not Just Another Logic Specification Language. LOPSTR (1998)
Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter
Attempto - Englisch als (formale) Spezifikationssprache (system description). WLP (1997)
Julian Richardson, Norbert E. Fuchs
Development of Correct Transformation Schemata for Prolog Programs. LOPSTR (1997)
Norbert E. Fuchs, Rolf Schwitter
Attempto Controlled English (ACE) CoRR (1996)
Norbert E. Fuchs, David Robertson
Declarative specifications. Knowl. Eng. Rev. 11 (4) (1996)
Rolf Schwitter, Norbert E. Fuchs
Attempto - From Specifications in Controlled Natural Language towards Executable Specifications CoRR (1996)
Wamberto Weber Vasconcelos, Marcelo A. T. Aragão, Norbert E. Fuchs
Automatic Bottom-Up Analysis and Transformation of Logic Programs. SBIA (1996)
Rolf Schwitter, Norbert E. Fuchs
Attempto Controlled English (ACE) A Seemingly Informal Bridgehead in Formal Territory (Poster Abstract). JICSLP (1996)
Norbert E. Fuchs
Guest Editorial. Knowl. Eng. Rev. 11 (4) (1996)
Rolf Schwitter, Bernhard Hamburger, Norbert E. Fuchs
Attempto: Specifications in Controlled Natural Language. WLP (1995)
Wamberto Weber Vasconcelos, Norbert E. Fuchs
Prolog Program Development via Enhanced Schema-based Transformations. LPE (1995)
Wamberto Weber Vasconcelos, Norbert E. Fuchs
An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations. LOPSTR (1995)
Norbert E. Fuchs, Rolf Schwitter
Specifying Logic Programs in Controlled Natural Language CoRR (1995)
Norbert E. Fuchs, Rolf Schwitter
Attempto: Controlled Natural Language for Requirements Specifications. LPE (1995)
Markus P. J. Fromherz, Norbert E. Fuchs
Transformational Development of Logic Programs from Executable Specifications. ICLP Workshop: Applications of Logic Programming to Software Engineering (1994)
Norbert E. Fuchs
An Improved Algorithm for Deriving the Decomposition Tree of a Flowgraph. Struct. Program. 14 (3) (1993)
Norbert E. Fuchs
Hoare Logic, Executable Specifications and Logic Programs. Struct. Program. 13 (3) (1992)
Norbert E. Fuchs
Specifications are (preferably) executable. Softw. Eng. J. 7 (5) (1992)
Norbert E. Fuchs, Markus P. J. Fromherz
Schema-Based Transfomations of Logic Programs. LOPSTR (1991)
Friedrich W. Beichter, O. Buchegger, Norbert E. Fuchs, Otthein Herzog
SALN-4, A Software Specification and Design Language. Software Engineering (1980)
O. Buchegger, Norbert E. Fuchs
If 'ELSE' then 'CASE'. ACM SIGPLAN Notices 11 (5) (1976)