搜索页_Inference+rules

设为首页

收藏本站

网站地图 | English | 公务邮箱

远程访问

NSTL服务站

常用资源

GSW全文库(2)	Springer电子图书(8)	CNKI学位论文(5716)	知网期刊论文(1696)
馆藏书目(2)	CNKI会议论文(2)	CNKI期刊论文0611(6)

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

在所有数据库中总计命中：7,432条

1. Application of Inference Rules to a Software Requirements Ontology to Generate Software Test Cases

关键词：Inference rules ; Ontology ; OWL ; Prolog ; Requirement specification ; Test case generation

刊名：Lecture Notes in Computer Science

出版年：2017

2. Applying SPARQL-Based Inference and Ontologies for Modelling and Execution of Clinical Practice Guidelines: A Case Study on Hypertension Management

关键词：Clinical practice guidelines (CPG) ; CPG modelling and representation ; Ontologies ; Semantic Web ; SPARQL Inference Notation (SPIN) ; Hypertension management

刊名：Lecture Notes in Computer Science

出版年：2017

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

4. Rule-based inference and decomposition for distributed in-network processing in wireless sensor networks

作者： Ozgur Sanli ; Ibrahim Korpeoglu ; Adnan Yazici

关键词：In ; network processing ; Event ; driven applications ; Rule ; based information processing ; Wireless sensor networks

刊名：Knowledge and Information Systems

出版年：2017

5. Learning concepts and their unions from positive data with refinement operators

作者： Seishi Ouchi ; Tomohiko Okayama…

关键词：Identification in the limit from positive data ; Refinement operator ; Unions of concepts

刊名：Annals of Mathematics and Artificial Intelligence

出版年：2017

6. Multi-layer ontology based information fusion for situation awareness

作者： Fang-Ping Pai ; Lee-Jang Yang ; Yeh-Ching Chung

关键词：Situation awareness ; Information fusion ; Ontology ; MSDL ; BML

刊名：Applied Intelligence

出版年：2017

7. Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets

作者： Negar Majma ; Seyed Morteza Babamir ; Amirhassan Monadjemi

关键词：Pacemaker ; Hierarchical fuzzy colored Petri ; net ; Runtime verification ; Petri ; net

刊名：Journal of Medical Systems

出版年：2017

8. Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory

作者： Gabriele Kern-Isberner ; Marco Wilhelm…

关键词：Probabilistic knowledge representation ; Principle of maximum entropy ; Computer algebra ; Gröbner basis

刊名：Annals of Mathematics and Artificial Intelligence

出版年：2017

9. Fuzzy-based trusted routing to mitigate packet dropping attack between data aggregation points in smart grid communication network

作者： GaneshKumar Pugalendhi ; Durgadevi Velusamy ; Anand Paul ; Ku-Jin Kim

关键词：Trust management ; Probability theory ; Fuzzy logic ; Smart grid communication network

刊名：Computing

出版年：2017

10. A New Semantics for Vagueness

作者： Joshua D. K. Brown ; James W. Garson

刊名：Erkenntnis

出版年：2017

按检索点细分(1249)

题名(66)

关键词(64)

文摘(1116)

按出版年细分(1249)

2017年(11)

2016年(71)

2015年(91)

2014年(90)

2013年(98)

2012年(82)

2011年(37)

2010年(63)

2009年(75)

2008年(100)

2007年(93)

2006年(115)

2005年(120)

2004年(42)

2003年(20)

2002年(43)

2001年(24)

2000年(11)

2000年及以前(62)

其它(1)

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

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