搜索页_Intended+semantics

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

常用资源

内部出版物

馆藏书目(1)

CNKI学位论文(771)

知网期刊论文(78)

在“SpringerLink电子期刊”中，命中：256条，耗时：小于0.01 秒

在所有数据库中总计命中：850条

1. On Gödel Algebras of Concepts

关键词：Intended semantics ; Concept lattice ; Many ; valued logic ; FCA ; Formal concept analysis ; Fuzzy logic ; Gödel Logic

刊名：Lecture Notes in Computer Science

出版年：2017

2. On strong standard completeness in some MTL \(_\Delta \) expansions

作者： Amanda Vidal ; Félix Bou ; Francesc Esteva ; Lluís Godo

关键词：Mathematical fuzzy logic ; Left ; continuous t ; norms ; Monoidal t ; norm logic ; Infinitary rules ; Standard completeness

刊名：Soft Computing

出版年：2017

3. Handling failing RDF queries: from diagnosis to relaxation

作者： Géraud Fokou ; Stéphane Jean ; Allel Hadjali…

关键词：Query relaxation ; Knowledge base ; RDF database ; Semantic web

刊名：Knowledge and Information Systems

出版年：2017

4. Lexical Semantics Annotation for Enriched Portuguese Corpora

关键词：Annotated corpora ; Lexical semantics ; Word senses ; Named entities ; Portuguese

刊名：Lecture Notes in Computer Science

出版年：2016

5. An Arithmetical Interpretation of Verification and Intuitionistic Knowledge

关键词：Intuitionistic epistemic logic ; Logic of proofs ; Arithmetic interpretation ; Intuitionistic knowledge ; BHK semantics ; Verification

刊名：Lecture Notes in Computer Science

出版年：2016

6. Benchmarking Semantic Capabilities of Analogy Querying Algorithms

关键词：Query processing ; Human ; centered information systems ; Benchmarking ; Analogy processing ; Relational similarity ; Semantics of natural language

刊名：Lecture Notes in Computer Science

出版年：2016

7. The problem of lexical innovation

作者： Josh Armstrong

关键词：Conventional meaning ; Linguistic communication ; Lexical innovation ; Semantics ; pragmatics interface

刊名：Linguistics and Philosophy

出版年：2016

8. Some Comments on Ian Rumfitt’s Bilateralism

作者： Nils Kürbis

关键词：Negation ; Denial ; Classical logic ; Intuitionist logic ; Harmony ; Proof ; theoretic semantics

刊名：Journal of Philosophical Logic

出版年：2016

9. On the Trustworthy Fulfillment of Commitments

刊名：Lecture Notes in Computer Science

出版年：2016

10. Towards Quality-Aware Translations of Activity-Centric Processes to Guard Stage Milestone

关键词：Process translation ; Artifact ; centric BPM ; Guard Stage Milestone ; GSM ; Quality metrics

刊名：Lecture Notes in Computer Science

出版年：2016

1

2

3

4

5

6

7

8

9

按检索点细分(256)

关键词(2)

文摘(231)

按出版年细分(256)

2017年(3)

2016年(14)

2015年(13)

2014年(22)

2013年(21)

2012年(22)

2011年(7)

2010年(16)

2009年(9)

2008年(26)

2007年(20)

2006年(26)

2005年(31)

2004年(3)

2003年(2)

2002年(11)

2001年(4)

2000年(3)

2000年及以前(3)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700