找回密碼
 To register

QQ登錄

只需一步,快速開(kāi)始

掃一掃,訪問(wèn)微社區(qū)

打印 上一主題 下一主題

Titlebook: Current Trends in SNePS - Semantic Network Processing System; First Annual SNePS W D. Kumar Conference proceedings 1990 Springer-Verlag Ber

[復(fù)制鏈接]
樓主: Fixate
31#
發(fā)表于 2025-3-26 22:54:59 | 只看該作者
32#
發(fā)表于 2025-3-27 02:49:09 | 只看該作者
33#
發(fā)表于 2025-3-27 08:42:30 | 只看該作者
Kinds of opacity and their representations,ocus has obscured the fact that there are a number of other kinds of sentences in which the logic-linguistic phenomenon of referential opacity occurs. This paper distinguishes two main kinds of referential opacity and offers distinct representations of their logical forms.
34#
發(fā)表于 2025-3-27 13:18:33 | 只看該作者
35#
發(fā)表于 2025-3-27 17:19:01 | 只看該作者
978-3-540-52626-1Springer-Verlag Berlin Heidelberg 1990
36#
發(fā)表于 2025-3-27 17:51:33 | 只看該作者
37#
發(fā)表于 2025-3-28 00:56:47 | 只看該作者
38#
發(fā)表于 2025-3-28 06:08:19 | 只看該作者
39#
發(fā)表于 2025-3-28 09:12:36 | 只看該作者
40#
發(fā)表于 2025-3-28 11:40:15 | 只看該作者
An integrated model of acting and inference,t introduces the notions of a .. A transformer is a representation that specifies a belief/act transformation under the influence of a transforming procedure. We will look at forward and backward transforming procedures. Under this scheme a reasoning rule in SNePS is a belief-belief transformer, i.e
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛(ài)論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2026-2-1 06:03
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
香港| 赤峰市| 广东省| 夏邑县| 绥芬河市| 中山市| 临清市| 宽甸| 武鸣县| 辽源市| 扬州市| 景洪市| 通榆县| 惠来县| 东丽区| 洪湖市| 西贡区| 镇江市| 铜梁县| 满城县| 微山县| 普兰县| 灯塔市| 民县| 池州市| 老河口市| 澎湖县| 邯郸市| 克山县| 屯昌县| 沾益县| 湾仔区| 通道| 伊吾县| 玉屏| SHOW| 牟定县| 五指山市| 樟树市| 古田县| 寿宁县|