搜索页_+Logic+semantics

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

中国地质文献-英文(2)	Springer电子图书(37)	CNKI学位论文(8227)	知网期刊论文(2778)
馆藏书目(2)	CNKI会议论文(7)	CNKI期刊论文0611(3)

在“Elsevier电子期刊”中，命中：1,773条，耗时：0.0109949 秒

在所有数据库中总计命中：11,056条

1.Game semantics for non-monotonic intensional logic programming

作者：Chrysida Galanaki^a ; ^{chrysida@di.uoa.gr} ; Christos Nomikos^b ; ^{cnomikos@cs.uoi.gr} ; Panos Rondogiannis^a ; ^{prondo@di.uoa.gr}

关键词：68N15 ; 68N17 ; 68Q55 ; 91A05

刊名：Annals of Pure and Applied Logic

出版年：2017

2.A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics

作者：Fabrizio Riguzzi^a ; ^{fabrizio.riguzzi@unife.it} ; Elena Bellodi^b ; ^{elena.bellodi@unife.it} ; Riccardo Zese^b ; ^{riccardo.zese@unife.it} ; Giuseppe Cota^b ; ^{giuseppe.cota@unife.it} ; Evelina Lamma^b ; ^{evelina.lamma@unife.it}

关键词：Probabilistic logic programming ; Lifted inference ; Variable elimination ; Distribution semantics ; ProbLog ; Statistical relational artificial intelligence

刊名：International Journal of Approximate Reasoning

出版年：2017

3.Propositional syntax and semantics induced knowledge re-structuring in a fuzzy logic network for ad hoc reasoning

作者：R. Janarthanan^a ; ^{srmjana_73@yahoo.com} ; Amit Konar^a ; ^{konaramit@yahoo.co.in} ; Aruna Chakraborty^b ; ^{aruna.stcet@gmail.com}

关键词：Propositional syntax and semantics ; Fuzzy logic network ; Ad hoc reasoning ; Rule transformation/re-structuring

刊名：International Journal of Approximate Reasoning

出版年：2017

4.A logical characterization of timed regular languages

作者：Marcello M. Bersani^a ; ^{marcellomaria.bersani@polimi.it} ; Matteo Rossi^a ; ^{matteo.rossi@polimi.it} ; Pierluigi San Pietro^a ; ^b ; ^{pierluigi.sanpietro@polimi.it}

关键词：Timed automata ; Dense-time temporal logic ; Constraint linear temporal logic

刊名：Theoretical Computer Science

出版年：2017

5.A multiple-valued logic approach for multigranulation rough set model

作者：Yanhong She^a ; ^b ; ^{yanhongshe@gmail.com} ; ^{yanhongshe@xsyu.edu.cn} ; Xiaoli He^b ; Huixian Shi^c ; ^{rubyshi@163.com} ; Yuhua Qian^a

关键词：Multigranulation rough set ; Three-valued logic ; Three-way decision ; Five-valued logic

刊名：International Journal of Approximate Reasoning

出版年：2017

6.Price of privacy

作者：Pavel Naumov^a ; ^{pnaumov@vassar.edu} ; Jia Tao^b ; ^{taoj@tcnj.edu}

关键词：Completeness ; Axiomatization ; Privacy ; Epistemic logic ; Knowledge ; Cost analysis

刊名：Journal of Applied Logic

出版年：2017

7.Semantics of higher-order quantum computation via geometry of interaction

作者：Ichiro Hasuo^a ; ¹ ; ^{ichiro@is.s.u-tokyo.ac.jp} ; Naohiko Hoshino^b ; ² ; ^{naophiko@kurims.kyoto-u.ac.jp}

关键词：03B70 ; 18C20 ; 18C50 ; 81P68

刊名：Annals of Pure and Applied Logic

出版年：2017

8.Combining control effects and their models: Game semantics for a hierarchy of static, dynamic and delimited control effects

作者：J. Laird ^{jiml@cs.bath.ac.uk}

关键词：68Q55 ; 68N15 ; 18C20 ; 18C50

刊名：Annals of Pure and Applied Logic

出版年：2017

9.Unfolding social content evolution along time and semantics

作者：Carmen De Maio^a ; ^{cdemaio@unisa.it" class="auth_mail" title="E-mail the corresponding author}Author Vitae ; Giuseppe Fenza^b ; ^{gfenza@unisa.it" class="auth_mail" title="E-mail the corresponding author}Author Vitae ; Vincenzo Loia^b ; ^{loia@unisa.it" class="auth_mail" title="E-mail the corresponding author}Author Vitae ; Francesco Orciuoli^b ; ^{forciuoli@unisa.it" class="auth_mail" title="E-mail the corresponding author}Author Vitae

关键词：Temporal Concept Analysis ; Social media ; Data mining ; Fuzzy Formal Concept Analysis ; Description Logic

刊名：Future Generation Computer Systems

出版年：2017

10.Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness

作者：Murdoch J. Gabbay^a ; ¹ ; ; Michael Gabbay^b ; ¹

关键词：03B40 ; 06D50 ; 03C55 ; 03G25

刊名：Annals of Pure and Applied Logic

出版年：2017

按检索点细分(1773)

题名(150)

关键词(322)

文摘(1301)

按出版年细分(1773)

2027年及以后(48)

2017年(20)

2016年(69)

2015年(35)

2014年(9)

2013年(60)

2012年(90)

2011年(83)

2010年(86)

2009年(126)

2008年(83)

2007年(110)

2006年(123)

2005年(113)

2004年(98)

2003年(78)

2002年(76)

2001年(63)

2000年(60)

2000年及以前(343)