搜索页_+Automated+Reasoning

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

Wiley电子期刊(1)	SpringerLink电子期刊(1715)	GSW全文库(1)	ACS电子期刊(2)
Springer电子图书(34)	ProQuest学位论文(79)	Elsevier电子期刊(473)

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

在所有数据库中总计命中：2,305条

1.Integrating semantic NLP and logic reasoning into a unified system for fully-automated code checking

作者：Jiansong Zhang^a ; Nora M. El-Gohary^b ; ^{gohary@illinois.edu}

关键词：Automated code checking ; Automated information extraction ; Automated reasoning ; Building information modeling (BIM) ; Natural language processing ; Logic ; Semantic systems ; Automated construction management systems

刊名：Automation in Construction

出版年：2017

2.Automated reasoning based user interface

作者：Paweł Kapłański^a ; ^b ; ^{pawel.kaplanski@cognitum.eu} ; Alessandro Seganti ; ^a ; ^{a.seganti@cognitum.eu} ; Krzysztof Cieśliński^a ; ^{k.cieslinski@cognitum.eu} ; Aleksandra Chrabrowa^a ; ^{a.klimek@cognitum.eu} ; Iwona Ługowska^c ; ^{iwonalugowska@coi.waw.pl}

关键词：Model view controller ; Reasoning ; Semantic web ; OWL/RDF ; Model- driven engineering ; Decision support system ; User interface

刊名：Expert Systems with Applications

出版年：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.An ontology-based framework for the automated analysis and interpretation of comic books’ images

作者：Clé ; ment Gué ; rin ; ^{clement.guerin@univ-lr.fr" class="auth_mail" title="E-mail the corresponding author} ; ^{clement.guerin87@gmx.com" class="auth_mail" title="E-mail the corresponding author} ; Christophe Rigaud ^{christophe.rigaud@univ-lr.fr" class="auth_mail" title="E-mail the corresponding author} ; Karell Bertet ^{karell.bertet@univ-lr.fr" class="auth_mail" title="E-mail the corresponding author} ; Arnaud Revel ^{arnaud.revel@univ-lr.fr" class="auth_mail" title="E-mail the corresponding author}

关键词：Comic books ; Images ; Complex data ; Knowledge representation ; Ontologies ; Spatial reasoning

刊名：Information Sciences

出版年：2017

5.COMPOSE: Using temporal patterns for interpreting wearable sensor data with computer interpretable guidelines

作者：V. Urovi^a ; ^{v.urovi@maastrichtuniversity.nl} ; O. Jimenez-del-Toro^b ; F. Dubosson^b ; A. Ruiz Torres^c ; M.I. Schumacher^b

关键词：Temporal reasoning ; COMPOSE ; Metabolic syndrome ; Event calculus.

刊名：Computers in Biology and Medicine

出版年：2017

6.The scope and limits of simulation in automated reasoning

作者：Ernest Davis^a ; ^{davise@cs.nyu.edu" class="auth_mail" title="E-mail the corresponding author} ; Gary Marcus^b ; ^{gary.marcus@nyu.edu" class="auth_mail" title="E-mail the corresponding author}

关键词：Physical reasoning ; Simulation

刊名：Artificial Intelligence

出版年：2016

7.Comparing Drools and Ontology Reasoning Approaches for Automated Monitoring in Telecommunication Processes

作者：Armando Ordó ; ñ ; ez^a ; ^{jaordonez@unicauca.edu.co" class="auth_mail" title="E-mail the corresponding author} ; Luis Eraso^a ; Hugo Ordó ; ñ ; ez^b ; Luis Merchan^b

关键词：Service monitoring ; automated reconfiguration ; ontologies ; rules ; service composition.

刊名：Procedia Computer Science

出版年：2016

8.A Model to Guide Dynamic Adaptation Planning in Self-Adaptive Systems

作者：André ; s Paz¹ ; ² ; ^{afpaz@icesi.edu.co" class="auth_mail" title="E-mail the corresponding author}

关键词：Self-Adaptive Enterprise Applications ; Dynamic Adaptation Planning ; Automated Reasoning

刊名：Electronic Notes in Theoretical Computer Science

出版年：2016

9.An automated system for grammatical analysis of Twitter messages. A learning task application

作者：M. Oussalah ; ^{M.Oussalah@bham.ac.uk" class="auth_mail" title="E-mail the corresponding author} ; B. Escallier ; D. Daher

关键词：Data mining ; Twitter ; Social network ; Learning

刊名：Knowledge-Based Systems

出版年：2016

10.Automated prover for attribute dependencies in data with grades

作者：Radim Belohlavek^a ; ^{radim.belohlavek@acm.org" class="auth_mail" title="E-mail the corresponding author} ; Pablo Cordero^b ; ^{pcordero@uma.es" class="auth_mail" title="E-mail the corresponding author} ; Manuel Enciso^b ; ^{enciso@uma.es" class="auth_mail" title="E-mail the corresponding author} ; Á ; ngel Mora^b ; ^{amora@ctima.uma.es" class="auth_mail" title="E-mail the corresponding author} ; Vilem Vychodil^a ; ^{vychodil@acm.org" class="auth_mail" title="E-mail the corresponding author}

关键词：Attribute implication ; Functional dependency ; Fuzzy logic ; Ordinal data ; Ordinary and graded completeness ; Similarity

刊名：International Journal of Approximate Reasoning

出版年：2016

按检索点细分(473)

题名(39)

作者(1)

关键词(107)

文摘(274)

按出版年细分(473)

2027年及以后(18)

2017年(5)

2016年(19)

2015年(8)

2014年(2)

2013年(24)

2012年(25)

2011年(25)

2010年(20)

2009年(31)

2008年(30)

2007年(22)

2006年(30)

2005年(25)

2004年(19)

2003年(15)

2002年(13)

2001年(22)

2000年(20)

2000年及以前(100)