搜索页_+Logic+models

常用资源

电子图书

期刊论文

学位会议

外文资源

特色专题

内部出版物

GSW全文库(74)	馆藏书目(6)	万方学术会议(1)	CNKI学位论文(32671)	知网期刊论文(10075)
中国地质文献-英文(126)	Springer电子图书(23)	CNKI会议论文(24)	CNKI期刊论文0611(48)	万方学位论文(4)

在“Elsevier电子期刊”中，命中：3,892条，耗时：0.0609452 秒

在所有数据库中总计命中：43,052条

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

2.Double-quantitative rough fuzzy set based decisions: A logical operations method

作者：Bingjiao Fan^a ; ^{fanbingjiao890617@126.com" class="auth_mail" title="E-mail the corresponding author} ; Eric C. C. Tsang ; ^a ; ^{cctsang@must.edu.mo" class="auth_mail" title="E-mail the corresponding author} ; Weihua Xu^b ; Jianhang Yu^b

关键词：Decision-theoretic rough set ; Double quantification ; Fuzzy concept ; Graded rough set ; Logical conjunction and disjunction

刊名：Information Sciences

出版年：2017

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

4.0-1 multilinear programming as a unifying theory for LAD pattern generation

作者：Kedong Yan^a ; ^{yankedong@korea.ac.kr} ; Hong Seo Ryoo^b ; ^{hsryoo@korea.ac.kr}

关键词：Boolean logic ; Logical analysis of data ; Pattern generation ; Multilinear programming ; 0-1 linearization

刊名：Discrete Applied Mathematics

出版年：2017

5.Sensitivity and reliability models of a PV system connected to grid

作者：Nikita Gupta^a ; ^{guptanikita08@gmail.com} ; Rachana Garg^a ; Parmod Kumar^b

关键词：Photovoltaic (PV) system ; Sensitivity ; Reliability ; MTBF ; Failure rate ; Redundancy

刊名：Renewable and Sustainable Energy Reviews

出版年：2017

6.Fast logic?: Examining the time course assumption of dual process theory

作者：Bence Bago^a ; ^b ; ^{bencebagok@gmail.com" class="auth_mail" title="E-mail the corresponding author} ; Wim De Neys^a ; ^b ; ^c

关键词：Dual process theory ; Reasoning ; Conflict detection

刊名：Cognition

出版年：2017

7.Fuzzy modelling to identify key drivers of ecological water quality to support decision and policy making

作者：Marie Anne Eurie Forio^a ; ^{marie.forio@ugent.be} ; ^{anne_forio@yahoo.com} ; Ans Mouton^a ; Koen Lock^a ; Pieter Boets^a ; ^b ; Thi Hanh Tien Nguyen^a ; ^c ; Minar Naomi Damanik Ambarita^a ; Peace Liz Sasha Musonge^a ; Luis Dominguez-Granda^d ; Peter L.M. Goethals^a

关键词：Fuzzy logic ; Environmental variables ; Decision support systems ; River basin management

刊名：Environmental Science & Policy

出版年：2017

8.Heterogeneous and asynchronous networks of timed systems

作者：José ; L. Fiadeiro^a ; ^{fiadeiroj@me.com} ; Antó ; nia Lopes^b

关键词：Asynchronous process networks ; Component algebra ; Heterogeneous time ; Orchestration ; Temporal logic

刊名：Theoretical Computer Science

出版年：2017

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

10.Interaction graphs: Graphings

作者：Thomas Seiller^a ; ^b ; ¹ ; ^{seiller@ihes.fr} ; ^{seiller@di.ku.dk}

关键词：03B70 ; 03F52 ; 68Q55 ; 37A40

刊名：Annals of Pure and Applied Logic

出版年：2017

按检索点细分(3892)

题名(113)

关键词(184)

文摘(3109)

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

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