Norbert E. Fuchs

49 papers A* 1B 2C 6Misc 2Journal 10Unranked 20

Year	Rank	Type	Title / Venue / Authors
2018	—	`conf`	Understanding Texts in Attempto Controlled English. CNL Norbert E. Fuchs
2016	—	`conf`	Reasoning in Attempto Controlled English: Non-monotonicity. CNL Norbert E. Fuchs
2012	—	`ed.`	Controlled Natural Language - Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers CNL Michael Rosner, Norbert E. Fuchs
2012	—	`ed.`	Controlled Natural Language - Third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012. Proceedings CNL Tobias Kuhn, Norbert E. Fuchs
2010	—	`ed.`	Controlled Natural Language, Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009. Revised Papers CNL Norbert E. Fuchs
2010	—	`conf`	First-Order Reasoning for Attempto Controlled English. CNL Norbert E. Fuchs
2009	—	`ch.`	Controlled English for Reasoning on the Semantic Web. REWERSE Juri Luca De Coi, Norbert E. Fuchs, Kaarel Kaljurand, Tobias Kuhn
2009	—	`conf`	Controlled Natural Language for Clinical Practice Guidelines. CNL (Pre-Proceedings) Richard N. Shiffman, George Michel, Michael Krauthammer, Norbert E. Fuchs, Kaarel Kaljurand, Tobias Kuhn
2009	—	`conf`	On Controlled Natural Languages: Properties and Prospects. CNL Adam Z. Wyner, Krasimir Angelov, Guntis Barzdins, Danica Damljanovic, Brian Davis, Norbert E. Fuchs, Stefan Höfler, Ken Jones, Kaarel Kaljurand, Tobias Kuhn
2009	—	`ed.`	Pre-Proceedings of the Workshop on Controlled Natural Language (CNL 2009), Marettimo Island, Italy, 8-10 June, 2009 CNL (Pre-Proceedings) Norbert E. Fuchs
2009	—	`conf`	Writing Clinical Practice Guidelines in Controlled Natural Language. CNL Richard N. Shiffman, George Michel, Michael Krauthammer, Norbert E. Fuchs, Kaarel Kaljurand, Tobias Kuhn
2008	—	`conf`	Attempto Controlled English for Knowledge Representation. Reasoning Web Norbert E. Fuchs, Kaarel Kaljurand, Tobias Kuhn
2007	—	`conf`	Verbalizing OWL in Attempto Controlled English. OWLED Kaarel Kaljurand, Norbert E. Fuchs
2007	B	`conf`	Web-Annotations for Humans and Machines. ESWC Norbert E. Fuchs, Rolf Schwitter
2006	Misc	`conf`	Attempto Controlled English Meets the Challenges of Knowledge Representation, Reasoning, Interoperability and User Interfaces. FLAIRS Norbert E. Fuchs, Kaarel Kaljurand, Gerold Schneider
2006	—	`conf`	Bidirectional Mapping Between OWL DL and Attempto Controlled English. PPSWR Kaarel Kaljurand, Norbert E. Fuchs
2006	—	`conf`	Improving Text Mining with Controlled Natural Language: A Case Study for Protein Interactions. DILS Tobias Kuhn, Loïc Royer, Norbert E. Fuchs, Michael Schroeder
2006	B	`conf`	Semantic Web Policies - A Discussion of Requirements and Research Issues. ESWC Piero A. Bonatti, Claudiu Duma, Norbert E. Fuchs, Wolfgang Nejdl, Daniel Olmedilla, Joachim Peer, Nahid Shahmehri
2005	—	`conf`	Attempto Controlled English: A Knowledge Representation Language Readable by Humans and Machines. Reasoning Web Norbert E. Fuchs, Stefan Höfler, Kaarel Kaljurand, Fabio Rinaldi, Gerold Schneider
2005	Misc	`conf`	Knowledge Representation and Reasoning in (Controlled) Natural Language. ICCS Norbert E. Fuchs
2003	—	`conf`	Reasoning in Attempto Controlled English. PPSWR Norbert E. Fuchs, Uta Schwertel
2000	—	`conf`	Attempto Controlled English. WLP Norbert E. Fuchs
1999	A*	`conf`	Controlled Natural Language Can Replace First-Order Logic. ASE Norbert E. Fuchs, Uta Schwertel, Sunna Torge
1998	C	`conf`	Attempto Controlled English - Not Just Another Logic Specification Language. LOPSTR Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter
1998	J	`jnl`	Lightweight Formalisation in Support of Requirements Engineering. Autom. Softw. Eng. Jane Hesketh, David Stuart Robertson, Norbert E. Fuchs, Alan Bundy
1998	C	`ed.`	Logic Programming Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997, Proceedings LOPSTR Norbert E. Fuchs
1997	—	`conf`	Attempto - Englisch als (formale) Spezifikationssprache (system description). WLP Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter
1997	C	`conf`	Development of Correct Transformation Schemata for Prolog Programs. LOPSTR Julian Richardson, Norbert E. Fuchs
1996	J	`jnl`	Attempto - From Specifications in Controlled Natural Language towards Executable Specifications CoRR Rolf Schwitter, Norbert E. Fuchs
1996	J	`jnl`	Attempto Controlled English (ACE) CoRR Norbert E. Fuchs, Rolf Schwitter
1996	—	`conf`	Attempto Controlled English (ACE) A Seemingly Informal Bridgehead in Formal Territory (Poster Abstract). JICSLP Rolf Schwitter, Norbert E. Fuchs
1996	—	`conf`	Automatic Bottom-Up Analysis and Transformation of Logic Programs. SBIA Wamberto Weber Vasconcelos, Marcelo A. T. Aragão, Norbert E. Fuchs
1996	J	`jnl`	Declarative specifications. Knowl. Eng. Rev. Norbert E. Fuchs, David Robertson
1996	J	`jnl`	Guest Editorial. Knowl. Eng. Rev. Norbert E. Fuchs
1995	C	`conf`	An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations. LOPSTR Wamberto Weber Vasconcelos, Norbert E. Fuchs
1995	—	`conf`	Attempto: Controlled Natural Language for Requirements Specifications. LPE Norbert E. Fuchs, Rolf Schwitter
1995	—	`conf`	Attempto: Specifications in Controlled Natural Language. WLP Rolf Schwitter, Bernhard Hamburger, Norbert E. Fuchs
1995	—	`conf`	Prolog Program Development via Enhanced Schema-based Transformations. LPE Wamberto Weber Vasconcelos, Norbert E. Fuchs
1995	J	`jnl`	Specifying Logic Programs in Controlled Natural Language CoRR Norbert E. Fuchs, Rolf Schwitter
1994	—	`ed.`	Proceedings of the Tenth Logic Programming Workshop, WLP 94, 5-7 Octobert 1994, Univerity of Zurich, Switzerland. Technical Report 94/10. WLP Norbert E. Fuchs, Georg Gottlob
1994	—	`conf`	Transformational Development of Logic Programs from Executable Specifications. ICLP Workshop: Applications of Logic Programming to Software Engineering Markus P. J. Fromherz, Norbert E. Fuchs
1993	J	`jnl`	An Improved Algorithm for Deriving the Decomposition Tree of a Flowgraph. Struct. Program. Norbert E. Fuchs
1992	J	`jnl`	Hoare Logic, Executable Specifications and Logic Programs. Struct. Program. Norbert E. Fuchs
1992	—	`ed.`	Logic Programming in Action, Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992, Proceedings Logic Programming Summer School Gérard Comyn, Norbert E. Fuchs, Michael Ratcliffe
1992	J	`jnl`	Specifications are (preferably) executable. Softw. Eng. J. Norbert E. Fuchs
1991	C	`conf`	Schema-Based Transfomations of Logic Programs. LOPSTR Norbert E. Fuchs, Markus P. J. Fromherz
1990	—	`book`	Kurs in logischer Programmierung. Norbert E. Fuchs
1980	C	`conf`	SALN-4, A Software Specification and Design Language. Software Engineering Friedrich W. Beichter, O. Buchegger, Norbert E. Fuchs, Otthein Herzog
1976	J	`jnl`	If 'ELSE' then 'CASE'. ACM SIGPLAN Notices O. Buchegger, Norbert E. Fuchs