Norbert E. Fuchs

According to our database, Norbert E. Fuchs authored at least 42 papers between 1976 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Understanding Texts in Attempto Controlled English.

Norbert E. Fuchs

Proceedings of the Controlled Natural Language, 2018

2016

Reasoning in Attempto Controlled English: Non-monotonicity.

Norbert E. Fuchs

Proceedings of the Controlled Natural Language - 5th International Workshop, 2016

2010

First-Order Reasoning for Attempto Controlled English.

Norbert E. Fuchs

Proceedings of the Controlled Natural Language - Second International Workshop, 2010

2009

Controlled English for Reasoning on the Semantic Web.

Juri Luca De Coi, Norbert E. Fuchs, Kaarel Kaljurand, Tobias Kuhn

Proceedings of the Semantic Techniques for the Web, The REWERSE Perspective, 2009

On Controlled Natural Languages: Properties and Prospects.

Adam Z. Wyner, Krasimir Angelov, Guntis Barzdins, Danica Damljanovic, Brian Davis, Norbert E. Fuchs, Stefan Höfler, Ken Jones, Kaarel Kaljurand, Tobias Kuhn

Proceedings of the Controlled Natural Language, Workshop on Controlled Natural Language, 2009

Controlled Natural Language for Clinical Practice Guidelines.

Richard N. Shiffman, George Michel, Michael Krauthammer, Norbert E. Fuchs, Kaarel Kaljurand, Tobias Kuhn

Proceedings of the Pre-Proceedings of the Workshop on Controlled Natural Language (CNL 2009), 2009

Writing Clinical Practice Guidelines in Controlled Natural Language.

Richard N. Shiffman, George Michel, Michael Krauthammer, Norbert E. Fuchs, Kaarel Kaljurand, Tobias Kuhn

Proceedings of the Controlled Natural Language, Workshop on Controlled Natural Language, 2009

2008

Attempto Controlled English for Knowledge Representation.

Norbert E. Fuchs, Kaarel Kaljurand, Tobias Kuhn

Proceedings of the Reasoning Web, 2008

2007

Verbalizing OWL in Attempto Controlled English.

Kaarel Kaljurand, Norbert E. Fuchs

Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

Web-Annotations for Humans and Machines.

Norbert E. Fuchs, Rolf Schwitter

Proceedings of the Semantic Web: Research and Applications, 2007

2006

Bidirectional Mapping Between OWL DL and Attempto Controlled English.

Kaarel Kaljurand, Norbert E. Fuchs

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2006

Attempto Controlled English Meets the Challenges of Knowledge Representation, Reasoning, Interoperability and User Interfaces.

Norbert E. Fuchs, Kaarel Kaljurand, Gerold Schneider

Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006

Semantic Web Policies - A Discussion of Requirements and Research Issues.

Piero A. Bonatti, Claudiu Duma, Norbert E. Fuchs, Wolfgang Nejdl, Daniel Olmedilla, Joachim Peer, Nahid Shahmehri

Proceedings of the Semantic Web: Research and Applications, 2006

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

Tobias Kuhn, Loïc Royer, Norbert E. Fuchs, Michael Schroeder

Proceedings of the Data Integration in the Life Sciences, Third International Workshop, 2006

2005

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

Norbert E. Fuchs, Stefan Höfler, Kaarel Kaljurand, Fabio Rinaldi, Gerold Schneider

Proceedings of the Reasoning Web, 2005

Knowledge Representation and Reasoning in (Controlled) Natural Language.

Norbert E. Fuchs

Proceedings of the Conceptual Structures: Common Semantics for Sharing Knowledge, 2005

2003

Reasoning in Attempto Controlled English.

Norbert E. Fuchs, Uta Schwertel

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2003

2000

Attempto Controlled English.

Norbert E. Fuchs

Proceedings of the 14. Workshop Logische Programmierung, 2000

1999

Controlled Natural Language Can Replace First-Order Logic.

Norbert E. Fuchs, Uta Schwertel, Sunna Torge

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

1998

Lightweight Formalisation in Support of Requirements Engineering.

Jane Hesketh, David Stuart Robertson, Norbert E. Fuchs, Alan Bundy

Autom. Softw. Eng., 1998

Attempto Controlled English - Not Just Another Logic Specification Language.

Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter

Proceedings of the Logic Programming Synthesis and Transformation, 1998

1997

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

Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter

Proceedings of the Twelfth Workshop Logic Programming, 1997

Development of Correct Transformation Schemata for Prolog Programs.

Julian Richardson, Norbert E. Fuchs

Proceedings of the Logic Programming Synthesis and Transformation, 1997

1996

Declarative specifications.

Norbert E. Fuchs, David Robertson

Knowl. Eng. Rev., 1996

Guest Editorial.

Norbert E. Fuchs

Knowl. Eng. Rev., 1996

Attempto - From Specifications in Controlled Natural Language towards Executable Specifications

Rolf Schwitter, Norbert E. Fuchs

CoRR, 1996

Attempto Controlled English (ACE)

Norbert E. Fuchs, Rolf Schwitter

CoRR, 1996

Automatic Bottom-Up Analysis and Transformation of Logic Programs.

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

Proceedings of the Advances in Artificial Intelligence, 1996

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

Rolf Schwitter, Norbert E. Fuchs

Proceedings of the Logic Programming, 1996

1995

Specifying Logic Programs in Controlled Natural Language

Norbert E. Fuchs, Rolf Schwitter

CoRR, 1995

Attempto: Specifications in Controlled Natural Language.

Rolf Schwitter, Bernhard Hamburger, Norbert E. Fuchs

Proceedings of the 11. Workshop Logische Programmierung, 1995

Prolog Program Development via Enhanced Schema-based Transformations.

Wamberto Weber Vasconcelos, Norbert E. Fuchs

Proceedings of the 7th Workshop on Logic Programming Environments, 1995

Attempto: Controlled Natural Language for Requirements Specifications.

Norbert E. Fuchs, Rolf Schwitter

Proceedings of the 7th Workshop on Logic Programming Environments, 1995

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

Wamberto Weber Vasconcelos, Norbert E. Fuchs

Proceedings of the Logic Programming Synthesis and Transformation, 1995

1994

Transformational Development of Logic Programs from Executable Specifications.

Markus P. J. Fromherz, Norbert E. Fuchs

Proceedings of the ICLP 1994 Workshop W7: Applications of Logic Programming to Software Engineering, 1994

1993

An Improved Algorithm for Deriving the Decomposition Tree of a Flowgraph.

Norbert E. Fuchs

Struct. Program., 1993

1992

Hoare Logic, Executable Specifications and Logic Programs.

Norbert E. Fuchs

Struct. Program., 1992

Specifications are (preferably) executable.

Norbert E. Fuchs

Softw. Eng. J., 1992

1991

Schema-Based Transfomations of Logic Programs.

Norbert E. Fuchs, Markus P. J. Fromherz

Proceedings of the Logic Program Synthesis and Transformation, 1991

1990

Kurs in logischer Programmierung.

Norbert E. Fuchs

Springers angewandte Informatik, Springer, ISBN: 978-3-211-82235-7, 1990

1980

SALN-4, A Software Specification and Design Language.

Friedrich W. Beichter, O. Buchegger, Norbert E. Fuchs, Otthein Herzog

Proceedings of the Software Engineering, 1980

1976

If 'ELSE' then 'CASE'.

O. Buchegger, Norbert E. Fuchs

ACM SIGPLAN Notices, 1976