搜索页_+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)

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

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

1. The Bayesian Ontology Language \(\mathcal {BEL}\)

作者： İsmail İlkan Ceylan ; Rafael Peñaloza

关键词：Description logics ; Bayesian networks ; Probabilistic reasoning ; Knowledge representation and reasoning

刊名：Journal of Automated Reasoning

出版年：2017

2. Combining temporal planning with probabilistic reasoning for autonomous surveillance missions

作者： Sara Bernardini ; Maria Fox ; Derek Long

关键词：Automated task planning ; Autonomy ; UAVs ; Quadcopters ; Search ; and ; tracking ; Monte Carlo methods

刊名：Autonomous Robots

出版年：2017

3. Finding Proofs in Tarskian Geometry

作者： Michael Beeson ; Larry Wos

关键词：Automated deduction ; Tarski ; Geometry ; Theorem proving

刊名：Journal of Automated Reasoning

出版年：2017

4. Abstract Interpretation as Automated Deduction

作者： Vijay D’Silva ; Caterina Urban

关键词：Abstract interpretation ; Deduction ; Lindenbaum–Tarski construction

刊名：Journal of Automated Reasoning

出版年：2017

5. A Fully Automatic Theorem Prover with Human-Style Output

作者： M. Ganesalingam ; W. T. Gowers

关键词：ATP ; Automated theorem proving ; Human ; oriented ; Human ; oriented theorem proving ; Human ; like output

刊名：Journal of Automated Reasoning

出版年：2017

6. Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic

作者： Thomas Ströder ; Jürgen Giesl ; Marc Brockschmidt…

关键词：LLVMC ; programs ; Termination ; Memory Safety ; Symbolic Execution

刊名：Journal of Automated Reasoning

出版年：2017

7. Detecting Hidden Objects Using Efficient Spatio-Temporal Knowledge Representation

关键词：Surveillance application ; Visual scene analysis ; Automated scene understanding ; Knowledge representation ; Spatio ; temporal visual ontology ; Symbolic reasoning ; Computer vision ; Pattern recognition

刊名：Lecture Notes in Computer Science

出版年：2017

8. A Decision Procedure for (Co)datatypes in SMT Solvers

作者： Andrew Reynolds ; Jasmin Christian Blanchette

关键词：(Co)inductive datatypes ; Automatic theorem provers ; SMT solvers ; Decision procedures

刊名：Journal of Automated Reasoning

出版年：2017

9. Higher-Order Pattern Anti-Unification in Linear Time

作者： Alexander Baumgartner ; Temur Kutsia ; Jordi Levy…

关键词：Generalizations of lambda terms ; Anti ; unification ; Higher ; order patterns

刊名：Journal of Automated Reasoning

出版年：2017

10. Relative Termination via Dependency Pairs

作者： José Iborra ; Naoki Nishida ; Germán Vidal ; Akihisa Yamada

关键词：Term rewriting ; Dependency pairs ; Termination

刊名：Journal of Automated Reasoning

出版年：2017

按检索点细分(1715)

刊名(780)

题名(92)

作者(1)

关键词(152)

文摘(752)

按出版年细分(1715)

2017年(20)

2016年(78)

2015年(110)

2014年(85)

2013年(105)

2012年(97)

2011年(30)

2010年(70)

2009年(74)

2008年(109)

2007年(169)

2006年(169)

2005年(144)

2004年(29)

2003年(69)

2002年(77)

2001年(66)

2000年(45)

2000年及以前(169)