collagenase 发表于 2025-3-25 05:00:35

http://reply.papertrans.cn/24/2375/237468/237468_21.png

交响乐 发表于 2025-3-25 10:48:02

Conference proceedings 2012, Italy, in September 2010. The 9 revised papers presented in this volume, together with 1 tutorial, were carefully reviewed and selected from 17 initial submissions. They broadly cover the field of controlled natural language, stressing theoretical and practical aspects of CNLs, relations to other

熄灭 发表于 2025-3-25 14:45:21

http://reply.papertrans.cn/24/2375/237468/237468_23.png

inventory 发表于 2025-3-25 16:49:06

Vorsorge und Begleitung für das Lebensendeom ACE axioms and answer ACE queries from ACE axioms. In each case RACE gives a proof justification in ACE and full English. This paper is a system description of RACE sketching its structure, its implementation, its operation and its user interface. The power and the limitations of RACE are demonstrated and discussed by concrete examples.

Chameleon 发表于 2025-3-25 22:40:31

http://reply.papertrans.cn/24/2375/237468/237468_25.png

杀菌剂 发表于 2025-3-26 02:56:31

http://reply.papertrans.cn/24/2375/237468/237468_26.png

收养 发表于 2025-3-26 06:35:03

http://reply.papertrans.cn/24/2375/237468/237468_27.png

难理解 发表于 2025-3-26 09:22:25

http://reply.papertrans.cn/24/2375/237468/237468_28.png

该得 发表于 2025-3-26 13:11:39

http://reply.papertrans.cn/24/2375/237468/237468_29.png

GNAT 发表于 2025-3-26 18:42:46

Duodenoscopy and Ileocolonoscopy,collective-distributive ambiguity in the context of mathematical language, as well as pairwise interpretations of collective plurals. Additionally, we present a special scope ambiguity conjunctions give rise to. Finally, we describe an innovative plural interpretation algorithm implemented in Naproc
页: 1 2 [3] 4 5
查看完整版本: Titlebook: Controlled Natural Language; Second International Michael Rosner,Norbert E. Fuchs Conference proceedings 2012 Springer-Verlag Berlin Heidel