搜索页_+Formal+semantics

常用资源

电子图书

期刊论文

学位会议

外文资源

特色专题

内部出版物

馆藏书目(1)	CNKI会议论文(1)	CNKI期刊论文0611(1)
Springer电子图书(18)	CNKI学位论文(5271)	知网期刊论文(1526)

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

在所有数据库中总计命中：6,818条

1.Parameterized ceteris paribus preferences over atomic conjunctions under conservative semantics

作者：Sergei Obiedkov ^{sergei.obj@gmail.com}

关键词：Ceteris paribus preferences ; Implications ; Horn formulas ; Formal concept analysis

刊名：Theoretical Computer Science

出版年：2017

2.Formal verification of complex business processes based on high-level Petri nets

作者：Ahmed Kheldoun^a ; Kamel Barkaoui ; ^b ; ^{kamel.barkaoui@cnam.fr} ; Malika Ioualalen^a

关键词：Business process modelling ; BPMN ; RECATNets ; Conditional rewriting logic ; Maude language and tool

刊名：Information Sciences

出版年：2017

3.A generic framework for symbolic execution: A coinductive approach

作者：Dorel Lucanu^a ; ^{dlucanu@info.uaic.ro} ; Vlad Rusu^b ; ^{vlad.rusu@inria.fr} ; Andrei Arusoaie^a ; ^b ; ^{andrei.arusoaie@info.uaic.ro}

关键词：Symbolic execution ; Programming language ; Formal operational semantics ; Reachability logic ; Circular coinduction ; Program verification

刊名：Journal of Symbolic Computation

出版年：2017

4.Analyzing a wind turbine system: From simulation to formal verification

作者：Cristina Seceleanu^a ; ^{cristina.seceleanu@mdh.se} ; Morgan Johansson^b ; ^{morgan.e.johansson@se.abb.com} ; Jagadish Suryadevara^c ; ^{jagadish.suryadevara@volvo.com} ; Gaetana Sapienza^b ; ^a ; ^{gaetana.sapienza@se.abb.com} ; Tiberiu Seceleanu^b ; ^a ; ^{tiberiu.seceleanu@se.abb.com} ; Stein-Erik Ellevseth^d ; ^{steinee@eunet.no} ; Paul Pettersson^a ; ^{paul.pettersson@mdh.se}

关键词：Wind turbine system ; Model-based testing ; MaTeLo ; Model checking ; UPPAAL

刊名：Science of Computer Programming

出版年：2017

5.On biconcepts in formal fuzzy concept analysis

作者：Jan Konecny^a ; ^{jan.konecny@upol.cz" class="auth_mail" title="E-mail the corresponding author} ; Ondrej Krí ; dlo ; ^b ; ^{ondrej.kridlo@upjs.sk" class="auth_mail" title="E-mail the corresponding author} ; ^{o.kridlo@gmail.com" class="auth_mail" title="E-mail the corresponding author}

关键词：Biconcept ; Fuzzy concept lattice ; Bond

刊名：Information Sciences

出版年：2017

6.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

7.Pinning down polysemy: A formalisation for a Brazilian Portuguese preposition

作者：Edilson Rodrigues^a ; ^{rodrigedilson@gmail.com} ; Paulo E. Santos^b ; ^{psantos@fei.edu.br} ; Marcos Lopes^c ; ^{marcoslopes@usp.br}

关键词：Qualitative spatial reasoning ; Cognitive linguistics ; Logic semantics

刊名：Cognitive Systems Research

出版年：2017

8.Contextual equivalences in configuration structures and reversibility

作者：Clé ; ment Aubert^a ; ^b ; ¹ ; ^{aubertc@appstate.edu} ; Ioana Cristescu^c ; ^{ioana.cristescu@pps.univ-paris-diderot.fr}

关键词：Formal semantics ; Process algebras and calculi ; Reversible CCS ; Hereditary history preserving bisimulation ; Strong barbed congruence ; Contextual characterization

刊名：Journal of Logical and Algebraic Methods in Programming

出版年：2017

9.Aspect, evidentiality, and mirativity

作者：Monica Laura Lau ; ^{monica_laura_lau@yahoo.com} ; Johan Rooryck ^{j.e.c.v.rooryck@hum.leidenuniv.nl}

关键词：Present perfect ; Aspect ; (Indirect) evidentiality ; Mirativity ; Sudden realization ; Verb classes ; Stage ; Formal semantics

刊名：Lingua

出版年：2017

10.Emotional activity in early immersive design: Sketches and moodboards in virtual reality

作者：Vincent Rieuf ; Carole Bouchard ; ^{caroll.bouchard@gmail.com} ; Vincent Meyrueis ; Jean-Franç ; ois Omhover

关键词：design activity ; design tools ; psychology of design ; virtual reality ; semantics

刊名：Design Studies

出版年：2017

按检索点细分(1350)

题名(44)

关键词(156)

文摘(1053)

按出版年细分(1350)

2027年及以后(29)

2017年(12)

2016年(50)

2015年(17)

2014年(5)

2013年(59)

2012年(80)

2011年(79)

2010年(62)

2009年(77)

2008年(74)

2007年(91)

2006年(93)

2005年(102)

2004年(65)

2003年(63)

2002年(63)

2001年(49)

2000年(39)

2000年及以前(241)

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

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