default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNorbert E. Fuchs
Person information
- affiliation: University of Zurich, Switzerland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2018
[c30]Norbert E. Fuchs:
Understanding Texts in Attempto Controlled English. CNL 2018: 75-84- 2016
- [c29]Norbert E. Fuchs:
Reasoning in Attempto Controlled English: Non-monotonicity. CNL 2016: 13-24 - 2012
- [e7]Michael Rosner, Norbert E. Fuchs:
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 [contents] - [e6]Tobias Kuhn
, Norbert E. Fuchs:
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 [contents] - 2010
- [c28]Norbert E. Fuchs:
First-Order Reasoning for Attempto Controlled English. CNL 2010: 73-94 - [e5]Norbert E. Fuchs:
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 [contents]
2000 – 2009
- 2009
- [c27]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 - [c26]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 - [c25]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: 281-289 - [p1]Juri Luca De Coi, Norbert E. Fuchs, Kaarel Kaljurand, Tobias Kuhn:
Controlled English for Reasoning on the Semantic Web. REWERSE 2009: 276-308 - [e4]Norbert E. Fuchs:
Pre-Proceedings of the Workshop on Controlled Natural Language (CNL 2009), Marettimo Island, Italy, 8-10 June, 2009. CEUR Workshop Proceedings 448, CEUR-WS.org 2009 [contents] - 2008
- [c24]Norbert E. Fuchs, Kaarel Kaljurand, Tobias Kuhn:
Attempto Controlled English for Knowledge Representation. Reasoning Web 2008: 104-124 - 2007
- [c23]Norbert E. Fuchs, Rolf Schwitter:
Web-Annotations for Humans and Machines. ESWC 2007: 458-472 - [c22]Kaarel Kaljurand, Norbert E. Fuchs:
Verbalizing OWL in Attempto Controlled English. OWLED 2007 - 2006
- [c21]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 - [c20]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 - [c19]Norbert E. Fuchs, Kaarel Kaljurand, Gerold Schneider:
Attempto Controlled English Meets the Challenges of Knowledge Representation, Reasoning, Interoperability and User Interfaces. FLAIRS 2006: 664-669 - [c18]Kaarel Kaljurand, Norbert E. Fuchs:
Bidirectional Mapping Between OWL DL and Attempto Controlled English. PPSWR 2006: 179-189 - 2005
- [c17]Norbert E. Fuchs:
Knowledge Representation and Reasoning in (Controlled) Natural Language. ICCS 2005: 51-51 - [c16]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 - 2003
- [c15]Norbert E. Fuchs, Uta Schwertel:
Reasoning in Attempto Controlled English. PPSWR 2003: 174-188 - 2000
- [c14]Norbert E. Fuchs:
Attempto Controlled English. WLP 2000: 211-218
1990 – 1999
- 1999
- [c13]Norbert E. Fuchs, Uta Schwertel, Sunna Torge:
Controlled Natural Language Can Replace First-Order Logic. ASE 1999: 295-298 - 1998
- [j7]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) - [c12]Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter:
Attempto Controlled English - Not Just Another Logic Specification Language. LOPSTR 1998: 1-20 - [e3]Norbert E. Fuchs:
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 [contents] - 1997
- [c11]Julian Richardson, Norbert E. Fuchs:
Development of Correct Transformation Schemata for Prolog Programs. LOPSTR 1997: 263-281 - [c10]Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter:
Attempto - Englisch als (formale) Spezifikationssprache (system description). WLP 1997 - 1996
- [j6]Norbert E. Fuchs:
Guest Editorial. Knowl. Eng. Rev. 11(4): 301 (1996) - [j5]Norbert E. Fuchs, David Robertson:
Declarative specifications. Knowl. Eng. Rev. 11(4): 317-331 (1996) - [c9]Rolf Schwitter, Norbert E. Fuchs:
Attempto Controlled English (ACE) A Seemingly Informal Bridgehead in Formal Territory (Poster Abstract). JICSLP 1996: 536 - [c8]Wamberto Weber Vasconcelos, Marcelo A. T. Aragão, Norbert E. Fuchs:
Automatic Bottom-Up Analysis and Transformation of Logic Programs. SBIA 1996: 191-200 - [i3]Norbert E. Fuchs, Rolf Schwitter:
Attempto Controlled English (ACE). CoRR cmp-lg/9603003 (1996) - [i2]Rolf Schwitter, Norbert E. Fuchs:
Attempto - From Specifications in Controlled Natural Language towards Executable Specifications. CoRR cmp-lg/9603004 (1996) - 1995
- [c7]Wamberto Weber Vasconcelos, Norbert E. Fuchs:
An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations. LOPSTR 1995: 174-188 - [c6]Norbert E. Fuchs, Rolf Schwitter:
Attempto: Controlled Natural Language for Requirements Specifications. LPE 1995 - [c5]Wamberto Weber Vasconcelos, Norbert E. Fuchs:
Prolog Program Development via Enhanced Schema-based Transformations. LPE 1995 - [c4]Rolf Schwitter, Bernhard Hamburger, Norbert E. Fuchs:
Attempto: Specifications in Controlled Natural Language. WLP 1995: 151-160 - [i1]Norbert E. Fuchs, Rolf Schwitter:
Specifying Logic Programs in Controlled Natural Language. CoRR abs/cmp-lg/9507009 (1995) - 1994
- [c3]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 - [e2]Norbert E. Fuchs, Georg Gottlob:
Proceedings of the Tenth Logic Programming Workshop, WLP 94, 5-7 Octobert 1994, Univerity of Zurich, Switzerland. Technical Report 94/10. Institut für Informatik der Universität Zürich 1994 [contents] - 1993
- [j4]Norbert E. Fuchs:
An Improved Algorithm for Deriving the Decomposition Tree of a Flowgraph. Struct. Program. 14(3): 93-101 (1993) - 1992
- [j3]Norbert E. Fuchs:
Specifications are (preferably) executable. Softw. Eng. J. 7(5): 323-334 (1992) - [j2]Norbert E. Fuchs:
Hoare Logic, Executable Specifications and Logic Programs. Struct. Program. 13(3): 129-135 (1992) - [e1]Gérard Comyn, Norbert E. Fuchs, Michael Ratcliffe:
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 [contents] - 1991
- [c2]Norbert E. Fuchs, Markus P. J. Fromherz:
Schema-Based Transfomations of Logic Programs. LOPSTR 1991: 111-125 - 1990
- [b1]Norbert E. Fuchs:
Kurs in logischer Programmierung. Springers angewandte Informatik, Springer 1990, ISBN 978-3-211-82235-7, pp. I-XI, 1-224
1980 – 1989
- 1980
- [c1]Friedrich W. Beichter, O. Buchegger, Norbert E. Fuchs, Otthein Herzog:
SALN-4, A Software Specification and Design Language. Software Engineering 1980: 91-108
1970 – 1979
- 1976
- [j1]O. Buchegger, Norbert E. Fuchs:
If 'ELSE' then 'CASE'. ACM SIGPLAN Notices 11(5): 37 (1976)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
