( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Knowledge Representation and Reasoning in (Controlled) Natural Language.

. ICCS, том 3596 из Lecture Notes in Computer Science, стр. 51-51. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Norbert Fuchs

Norbert Fuchs

Norbert Fuchs

Norbert Fuchs

Norbert Fuchs

 

Другие публикации лиц с тем же именем

Schema-Based Transfomations of Logic Programs., и . LOPSTR, стр. 111-125. Springer, (1991)Attempto: Specifications in Controlled Natural Language., , и . WLP, стр. 151-160. (1995)Attempto Controlled English for Knowledge Representation., , и . Reasoning Web, том 5224 из Lecture Notes in Computer Science, стр. 104-124. Springer, (2008)Development of Correct Transformation Schemata for Prolog Programs., и . LOPSTR, том 1463 из Lecture Notes in Computer Science, стр. 263-281. Springer, (1997)Lightweight Formalisation in Support of Requirements Engineering., , , и . Autom. Softw. Eng., 5 (2): 183-210 (1998)Transformational Development of Logic Programs from Executable Specifications., и . ICLP Workshop: Applications of Logic Programming to Software Engineering, (1994)Attempto - Englisch als (formale) Spezifikationssprache (system description)., , и . WLP, Ludwig Maximilians Universität München, (1997)Writing Clinical Practice Guidelines in Controlled Natural Language., , , , , и . CNL, том 5972 из Lecture Notes in Computer Science, стр. 265-280. Springer, (2009)Attempto Controlled English: A Knowledge Representation Language Readable by Humans and Machines., , , , и . Reasoning Web, том 3564 из Lecture Notes in Computer Science, стр. 213-250. Springer, (2005)Automatic Bottom-Up Analysis and Transformation of Logic Programs., , и . SBIA, том 1159 из Lecture Notes in Computer Science, стр. 191-200. Springer, (1996)