Journal of automated reasoning文章索引

期刊名：Journal of automated reasoning

缩写：J AUTOM REASONING

ISSN：0168-7433

e-ISSN：1573-0670

IF/分区：0.7/Q4

共收录本刊相关文章索引961条

Array Theory of Bounded Elements and its Applications [0.03%] 有界元素的数组理论及其应用

Zhou, Min; He, Fei; Wang et al. Zhou et al.

Journal of Automated Reasoning. 2014;52(4):379-405. DOI:10.1007/s10817-013-9293-6 2014

Choosing directions for rules [0.03%] 为规则选择方向

Richard Treitel; Michael R. Genesereth Richard Treitel; Michael R. Genesereth

Journal of automated reasoning. 1987;3(4):395-431. DOI:10.1007/bf00247437 1987

The problem of choosing the inference rule to employ [0.03%] 选择所用推理规则的问题

Larry Wos Larry Wos

Journal of automated reasoning. 1987;3(2):201-209. DOI:10.1007/bf00243208 1987

The problem of choosing the representation, inference rule, and strategy [0.03%] 选择表示、推理规则和策略的问题

Larry Wos Larry Wos

Journal of automated reasoning. 1991;7(4):631-634. DOI:10.1007/bf01880332 1991

Programming in temporal-nonmonotonic reasoning [0.03%] 时序非单调推理中的编程

Tong Gao Tang Tong Gao Tang

Journal of automated reasoning. 1991;7(3):383-401. DOI:10.1007/bf00249021 1991

Announcement [0.03%] 公告

Journal of automated reasoning. 1987;3(2):223-0. DOI:10.1007/bf00243210 1987

Single Elementary Associative-Commutative Matching [0.03%] 单个基本的结合-交换匹配

Steven Eker Steven Eker

Journal of automated reasoning. 2002;28(1):35-51. DOI:10.1023/a:1020122610698 2002

The problem of definition expansion and contraction [0.03%] 定义的扩张与收缩问题

Larry Wos Larry Wos

Journal of automated reasoning. 1987;3(4):433-435. DOI:10.1007/bf00247438 1987

The problem of guaranteeing the absence of a complete set of reductions [0.03%] 保证不存在一套完整的约简的问题

Larry Wos Larry Wos

Journal of automated reasoning. 1989;5(4):531-532. DOI:10.1007/bf00243136 1989

Pattern-directed invocation with changing equations [0.03%] 带有变化方程的模式导向调用

Yishai A. Feldman; Charles Rich Yishai A. Feldman; Charles Rich

Journal of automated reasoning. 1991;7(3):403-433. DOI:10.1007/bf00249022 1991