Author of the publication

Knowledge Representation and Reasoning in (Controlled) Natural Language.

. ICCS, volume 3596 of Lecture Notes in Computer Science, page 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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Schema-Based Transfomations of Logic Programs., and . LOPSTR, page 111-125. Springer, (1991)Attempto Controlled English for Knowledge Representation., , and . Reasoning Web, volume 5224 of Lecture Notes in Computer Science, page 104-124. Springer, (2008)Development of Correct Transformation Schemata for Prolog Programs., and . LOPSTR, volume 1463 of Lecture Notes in Computer Science, page 263-281. Springer, (1997)Attempto: Specifications in Controlled Natural Language., , and . WLP, page 151-160. (1995)Lightweight Formalisation in Support of Requirements Engineering., , , and . Autom. Softw. Eng., 5 (2): 183-210 (1998)Controlled Natural Language for Clinical Practice Guidelines., , , , , and . CNL (Pre-Proceedings), volume 448 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)SALN-4, A Software Specification and Design Language., , , and . Software Engineering, volume 5 of Berichte des German Chapter of the ACM, page 91-108. Teubner, (1980)Prolog Program Development via Enhanced Schema-based Transformations., and . LPE, (1995)Knowledge Representation and Reasoning in (Controlled) Natural Language.. ICCS, volume 3596 of Lecture Notes in Computer Science, page 51-51. Springer, (2005)First-Order Reasoning for Attempto Controlled English.. CNL, volume 7175 of Lecture Notes in Computer Science, page 73-94. Springer, (2010)