Norbert E. Fuchs

发表

Attempto Controlled English

Norbert E. Fuchs, 2000, WLP.

Guest Editorial

Norbert E. Fuchs, 1996, Knowl. Eng. Rev..

Talking to the Semantic Web - A Controlled English Query Interface for Ontologies*

Abraham Bernstein, Norbert E. Fuchs, Esther Kaufmann, 2004 .

AceWiki-GF screencast

Kaarel Kaljurand, Norbert E. Fuchs, Tobias Kuhn, 2013, ESWC 2013.

An Improved Algorithm for Deriving the Decomposition Tree of a Flowgraph

Norbert E. Fuchs, 1993, Struct. Program..

A Natural Language Front-End to Model Generation

Norbert E. Fuchs, Sunna Torge, 1999 .

Writing clinical practice guidelines in controlled natural language

Michael Krauthammer, Richard N. Shiffman, George Michel, 2009 .

Transformational Development of Logic Programs from Executable Specifications

Norbert E. Fuchs, Markus P. J. Fromherz, 1994, ICLP Workshop: Applications of Logic Programming to Software Engineering.

Hoare Logic, Executable Specifications and Logic Programs

Norbert E. Fuchs, 1992, Struct. Program..

Reasoning in Attempto Controlled English: Non-monotonicity

Norbert E. Fuchs, 2016, CNL.

Automatic Bottom-Up Analysis and Transformation of Logic Programs

Norbert E. Fuchs, Wamberto Weber Vasconcelos, Marcelo A. T. Aragão, 1996, SBIA.

Multilingual CNL-based Semantic Wiki

Kaarel Kaljurand, Norbert E. Fuchs, Tobias Kuhn, 2013 .

Bidirectional Mapping Between OWL DL and Attempto Controlled English

Kaarel Kaljurand, Norbert E. Fuchs, 2006, PPSWR.

Multilingual semantic wiki

Kaarel Kaljurand, Norbert E. Fuchs, Tobias Kuhn, 2013 .

Specifications are (preferably) executable

Norbert E. Fuchs, 1992, Softw. Eng. J..

Proceedings of the Second International Logic Programming Summer School on Logic Programming in Action

Norbert E. Fuchs, Gérard Comyn, Michael Ratcliffe, 1992 .

On Controlled Natural Languages: Properties and Prospects

Brian Davis, Guntis Barzdins, Kaarel Kaljurand, 2009, CNL.

ACE can be described by itself

Kaarel Kaljurand, Simon Clematide, Norbert E. Fuchs, 2009 .

Attempto - Englisch als (formale) Spezifikationssprache (system description)

Norbert E. Fuchs, Rolf Schwitter, Uta Schwertel, 1997, WLP.

Discourse representation structures for ACE 5

Gerold Schneider, Kaarel Kaljurand, Norbert E. Fuchs, 2006 .

Prolog Program Development via Enhanced Schema-based Transformations

Norbert E. Fuchs, Wamberto Weber Vasconcelos, W. Vasconcelos, 1995, LPE.

Attempto: Specifications in Controlled Natural Language

Norbert E. Fuchs, Rolf Schwitter, Bernhard Hamburger, 1995, WLP.

Improving Text Mining with Controlled Natural Language: A Case Study for Protein Interactions

Norbert E. Fuchs, Michael Schroeder, Tobias Kuhn, 2006, DILS.

Opportunistic Logic Program Analysis and Optimisation: Enhanced Schema-Based Transformations for Log

Norbert E. Fuchs, Wamberto Weber Vasconcelos, 1995 .

Lightweight Formalisation in Support of Requirements Engineering

Alan Bundy, Norbert E. Fuchs, David Stuart Robertson, 2004, Automated Software Engineering.

Controlled Natural Language

Norbert E. Fuchs, 2012, Lecture Notes in Computer Science.

Attempto: Controlled Natural Language for Requirements Specifications

Norbert E. Fuchs, Rolf Schwitter, 1995, LPE.

Web-Annotations for Humans and Machines

Norbert E. Fuchs, Rolf Schwitter, 2007, ESWC.

Controlled natural language : third international workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012 : proceedings

Norbert E. Fuchs, Tobias Kuhn, 2012 .

Attempto: specifications in controlled natural language: extended abstract in 10 pictures

Norbert E. Fuchs, Rolf Schwitter, 1995 .

Specifying Logic Programs in Controlled Natural Language pdf

Norbert E. Fuchs, Rolf Schwitter, Rolf Schwitter, 1995, ArXiv.

Verbalization of the REWERSE I1 Rule Markup Language

Sergey Lukichev, Norbert E. Fuchs, 2006 .

An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations

Norbert E. Fuchs, Wamberto Weber Vasconcelos, 1995, LOPSTR.

Logic Program Synthesis and Transformation

Norbert E. Fuchs, 1998, Lecture Notes in Computer Science.

Kurs in logischer Programmierung

Norbert E. Fuchs, 1990, Springers angewandte Informatik.

Attempto Controlled English (ACE)

Norbert E. Fuchs, Rolf Schwitter, 1996, ArXiv.

ACE Grammar Library

Kaarel Kaljurand, Norbert E. Fuchs, John J. Camilleri, 2012 .

Verbalizing OWL in Attempto Controlled English

Kaarel Kaljurand, Norbert E. Fuchs, K. Kaljurand, 2007, OWLED.

Declarative specifications

Norbert E. Fuchs, David Stuart Robertson, 1996, Knowl. Eng. Rev..

Attempto - From Specifications in Controlled Natural Language towards Executable Specifications

Norbert E. Fuchs, Rolf Schwitter, 1996, ArXiv.

Proceedings of the 2009 conference on Controlled natural language

Norbert E. Fuchs, 2009, CNL 2009.

The REWERSE View on Policies

Alberto Martelli, Norbert E. Fuchs, Grigoris Antoniou, 2005 .

Automating reasoning support for design

Alan Bundy, Norbert E. Fuchs, Jane Hesketh, 1996 .

Evaluations of ACE-in-GF and of AceWiki-GF

Kaarel Kaljurand, Norbert E. Fuchs, Tobias Kuhn, 2013 .

Proceedings of the 7th International Workshop on Logic Programming Synthesis and Transformation

Norbert E. Fuchs, 1997 .

Attempto Controlled English (ACE) A Seemingly Informal Bridgehead in Formal Territory (Poster Abstract)

Norbert E. Fuchs, Rolf Schwitter, 1996, JICSLP.

Attempto Controlled English: A Knowledge Representation Language Readable by Humans and Machines

Fabio Rinaldi, Gerold Schneider, Kaarel Kaljurand, 2005, Reasoning Web.

MT Techniques in a Retrieval System of Semantically Enriched Patents

Kaarel Kaljurand, Norbert E. Fuchs, Ramona Enache, 2013 .

Extended discourse representation structures in attempto controlled English

Gerold Schneider, Kaarel Kaljurand, Norbert E. Fuchs, 2006 .

Controlled Natural Language for Clinical Practice Guidelines

Michael Krauthammer, Richard N. Shiffman, George Michel, 2009, CNL.

Development of Correct Transformation Schemata for Prolog Programs

Norbert E. Fuchs, Julian Richardson, 1997, LOPSTR.

Schema-Based Transfomations of Logic Programs

Norbert E. Fuchs, Markus P. J. Fromherz, 1991, LOPSTR.

First-Order Reasoning for Attempto Controlled English

Norbert E. Fuchs, 2010, CNL.

Attempto Controlled English (ACE)Language ManualVersion 3.0

Norbert E. Fuchs, Rolf Schwitter, Uta Schwertel, 1999 .

Understanding Texts in Attempto Controlled English

Norbert E. Fuchs, 2018, CNL.

Rule-based Policy Specification : State of the Art and Future Work

Alberto Martelli, Norbert E. Fuchs, Wolfgang Nejdl, 2004 .

Writing Clinical Practice Guidelines in Controlled Natural Language

Michael Krauthammer, Richard N. Shiffman, George Michel, 2009, CNL.

Reasoning in Attempto Controlled English

Norbert E. Fuchs, Uta Schwertel, U. Schwertel, 2003, PPSWR.

Semantic Web Policies - A Discussion of Requirements and Research Issues

Norbert E. Fuchs, Wolfgang Nejdl, Nahid Shahmehri, 2006, ESWC.

Controlled natural language can replace first-order logic

Norbert E. Fuchs, Sunna Torge, Uta Schwertel, 1999, 14th IEEE International Conference on Automated Software Engineering.

Controlled Natural Language, Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009. Revised Papers

Norbert E. Fuchs, 2010, Controlled Natural Language.

Expressing Knowledge about Protein Interactions in Attempto Controlled English

Norbert E. Fuchs, Tobias Kuhn, Michael Schroeder, 2006 .

Extended discourse representation structures in attempto controlled English

Kaarel Kaljurand, Norbert E. Fuchs, Gerold Schneider, 2005 .

Attempto Controlled English 5: Language Extensions and Tools II

Kaarel Kaljurand, Norbert E. Fuchs, Tobias Kuhn, 2007 .