首页 文献索引 SCI期刊 AI助手
期刊目录筛选

期刊名：Journal of automated reasoning

缩写：J AUTOM REASONING

ISSN：0168-7433

e-ISSN：1573-0670

IF/分区：0.7/Q4

文章目录 更多期刊信息

共收录本刊相关文章索引961条
Clinical Trial Case Reports Meta-Analysis RCT Review Systematic Review
Classical Article Case Reports Clinical Study Clinical Trial Clinical Trial Protocol Comment Comparative Study Editorial Guideline Letter Meta-Analysis Multicenter Study Observational Study Randomized Controlled Trial Review Systematic Review
Writing programs that construct proofs [0.03%] 编写构建证明的程序
R. L. Constable; T. B. Knoblock; J. L. Bates R. L. Constable; T. B. Knoblock; J. L. Bates
Journal of automated reasoning. 1985;1(3):285-326. DOI:10.1007/bf00244273 1985
Decision procedures for elementary sublanguages of set theory: XIII. Model graphs, reflection and decidability [0.03%] 集合论初等子语言的判定程序：第十三部分——模型图、反射与可判定性
Franco Parlamento; Alberto Policriti Franco Parlamento; Alberto Policriti
Journal of automated reasoning. 1991;7(2):271-284. DOI:10.1007/bf00243810 1991
ROGET: A knowledge-based system for acquiring the conceptual structure of a diagnostic expert system [0.03%] 罗杰：一种基于知识的系统，用于获取诊断专家系统的概念结构
James S. Bennett James S. Bennett
Journal of automated reasoning. 1985;1(1):49-74. DOI:10.1007/bf00244289 1985
Robot selection expert ‘Rose’ [0.03%] 机器人选型专家“玫瑰”
John G. Mauceri John G. Mauceri
Journal of automated reasoning. 1985;1(4):357-390. DOI:10.1007/bf00244276 1985
First-order syntactic characterizations of minimal entailment, domain-minimal entailment, and Herbrand entailment [0.03%] 最小蕴涵、域最小蕴涵和赫布兰德蕴涵的一阶句法刻画
Marek A. Suchenek Marek A. Suchenek
Journal of automated reasoning. 1993;10(2):237-263. DOI:10.1007/bf00881837 1993
Model theoretic approach to view updates in deductive databases [0.03%] 演绎数据库中视图更新的模型论方法
José Alberto Fernández; John Grant; Jack Minker José Alberto Fernández; John Grant; Jack Minker
Journal of automated reasoning. 1996;17(2):171-197. DOI:10.1007/bf00244495 1996
Kit and the short stack [0.03%] 基特和短牌堆
William R. Bevier William R. Bevier
Journal of automated reasoning. 1989;5(4):519-530. DOI:10.1007/bf00243135 1989
Announcement [0.03%] 公告
Journal of automated reasoning. 1985;1(4):441-0. DOI:10.1007/bf00244280 1985
Interest driven suppositional reasoning [0.03%] 兴趣驱动的假设推理
John L. Pollock John L. Pollock
Journal of automated reasoning. 1990;6(4):419-461. DOI:10.1007/bf00244357 1990
Computationally Effective Reasoning About Goal Interactions [0.03%] 关于目标交互的计算高效推理
John Thangarajah; Lin Padgham John Thangarajah; Lin Padgham
Journal of automated reasoning. 2011;47(1):17-56. DOI:10.1007/s10817-010-9175-0 2011