Norbert E. Fuchs

Michael Rosner, Norbert E. Fuchs (Eds.): Controlled Natural Language - Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers. Lecture Notes in Computer Science 7175, Springer 2012, isbn 978-3-642-31174-1

Tobias Kuhn, Norbert E. Fuchs (Eds.): Controlled Natural Language - Third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012. Proceedings. Lecture Notes in Computer Science 7427, Springer 2012, isbn 978-3-642-32611-0

Norbert E. Fuchs: First-Order Reasoning for Attempto Controlled English. CNL 2010: 73-94

Norbert E. Fuchs (Ed.): Controlled Natural Language, Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009. Revised Papers. Lecture Notes in Computer Science 5972, Springer 2010, isbn 978-3-642-14417-2

Richard N. Shiffman, George Michel, Michael Krauthammer, Norbert E. Fuchs, Kaarel Kaljurand, Tobias Kuhn: Writing Clinical Practice Guidelines in Controlled Natural Language. CNL 2009: 265-280

Adam 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: 281-289

Juri Luca De Coi, Norbert E. Fuchs, Kaarel Kaljurand, Tobias Kuhn: Controlled English for Reasoning on the Semantic Web. REWERSE 2009: 276-308

Norbert E. Fuchs, Kaarel Kaljurand, Tobias Kuhn: Attempto Controlled English for Knowledge Representation. Reasoning Web 2008: 104-124

Norbert E. Fuchs, Rolf Schwitter: Web-Annotations for Humans and Machines. ESWC 2007: 458-472

Kaarel Kaljurand, Norbert E. Fuchs: Verbalizing OWL in Attempto Controlled English. OWLED 2007

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: 66-81

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: 712-724

Norbert E. Fuchs, Kaarel Kaljurand, Gerold Schneider: Attempto Controlled English Meets the Challenges of Knowledge Representation, Reasoning, Interoperability and User Interfaces. FLAIRS Conference 2006: 664-669

Kaarel Kaljurand, Norbert E. Fuchs: Bidirectional Mapping Between OWL DL and Attempto Controlled English. PPSWR 2006: 179-189

Norbert E. Fuchs: Knowledge Representation and Reasoning in (Controlled) Natural Language. ICCS 2005: 51-51

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: 213-250

Norbert E. Fuchs, Uta Schwertel: Reasoning in Attempto Controlled English. PPSWR 2003: 174-188

Norbert E. Fuchs: Attempto Controlled English. WLP 2000: 211-218

Norbert E. Fuchs, Uta Schwertel, Sunna Torge: Controlled Natural Language Can Replace First-Order Logic. ASE 1999: 295-298

Jane Hesketh, David Stuart Robertson, Norbert E. Fuchs, Alan Bundy: Lightweight Formalisation in Support of Requirements Engineering. Autom. Softw. Eng. 5(2): 183-210 (1998)

Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter: Attempto Controlled English - Not Just Another Logic Specification Language. LOPSTR 1998: 1-20

Norbert E. Fuchs (Ed.): Logic Programming Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997, Proceedings. Lecture Notes in Computer Science 1463, Springer 1998, isbn 3-540-65074-1

Julian Richardson, Norbert E. Fuchs: Development of Correct Transformation Schemata for Prolog Programs. LOPSTR 1997: 263-281

Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter: Attempto - Englisch als (formale) Spezifikationssprache (system description). WLP 1997: 0-

Rolf Schwitter, Norbert E. Fuchs: Attempto Controlled English (ACE) A Seemingly Informal Bridgehead in Formal Territory (Poster Abstract). JICSLP 1996: 536

Wamberto Weber Vasconcelos, Marcelo A. T. Aragão, Norbert E. Fuchs: Automatic Bottom-Up Analysis and Transformation of Logic Programs. SBIA 1996: 191-200

Norbert E. Fuchs, Rolf Schwitter: Attempto Controlled English (ACE). CoRR cmp-lg/9603003 (1996)

Rolf Schwitter, Norbert E. Fuchs: Attempto - From Specifications in Controlled Natural Language towards Executable Specifications. CoRR cmp-lg/9603004 (1996)

Wamberto Weber Vasconcelos, Norbert E. Fuchs: An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations. LOPSTR 1995: 174-188

Norbert E. Fuchs, Rolf Schwitter: Attempto: Controlled Natural Language for Requirements Specifications. LPE 1995

Wamberto Weber Vasconcelos, Norbert E. Fuchs: Prolog Program Development via Enhanced Schema-based Transformations. LPE 1995

Rolf Schwitter, Bernhard Hamburger, Norbert E. Fuchs: Attempto: Specifications in Controlled Natural Language. WLP 1995: 151-160

Norbert E. Fuchs, Rolf Schwitter: Specifying Logic Programs in Controlled Natural Language. CoRR abs/cmp-lg/9507009 (1995)

Norbert E. Fuchs: An Improved Algorithm for Deriving the Decomposition Tree of a Flowgraph. Structured Programming 14(3): 93-101 (1993)

Norbert E. Fuchs: Hoare Logic, Executable Specifications and Logic Programs. Structured Programming 13(3): 129-135 (1992)

Gérard Comyn, Norbert E. Fuchs, Michael Ratcliffe (Eds.): Logic Programming in Action, Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992, Proceedings. Lecture Notes in Computer Science 636, Springer 1992, isbn 3-540-55930-2

Norbert E. Fuchs, Markus P. J. Fromherz: Schema-Based Transfomations of Logic Programs. LOPSTR 1991: 111-125

Norbert E. Fuchs: Kurs in logischer Programmierung. Springers angewandte Informatik, Springer 1990, isbn 978-3-211-82235-7, pp. I-XI, 1-224

Friedrich W. Beichter, O. Buchegger, Norbert E. Fuchs, Otthein Herzog: SALN-4, A Software Specification and Design Language. Software Engineering 1980: 91-108