Journal of automated reasoning文章索引

期刊名：Journal of automated reasoning

缩写：J AUTOM REASONING

ISSN：0168-7433

e-ISSN：1573-0670

IF/分区：0.7/Q4

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

A logic programming system for nonmonotonic reasoning [0.03%] 一种用于非单调推理的逻辑编程系统

José Júlio Alferes; Carlos Viegas Damásio; Luís Moniz Pereira José Júlio Alferes; Carlos Viegas Damásio; Luís Moniz Pereira

Journal of automated reasoning. 1995;14(1):93-147. DOI:10.1007/bf00883931 1995

Preface to the special issue on commonsense and nonmonotonic reasoning [0.03%] 关于常识与非单调推理专题的前言

Vladimir Lifschitz Vladimir Lifschitz

Journal of automated reasoning. 1995;14(1):1-1. DOI:10.1007/bf00883928 1995

Embedding defaults into terminological knowledge representation formalisms [0.03%] 将默认值嵌入术语知识表示形式化方法中

Franz Baader; Bernhard Hollunder Franz Baader; Bernhard Hollunder

Journal of automated reasoning. 1995;14(1):149-180. DOI:10.1007/bf00883932 1995

Living Book – Deduction, Slicing, and Interaction [0.03%] 活生生的书——演绎、切分与互动

P. Baumgartner; U. Furbach; M. Gross-Hardt; A. Sinner P. Baumgartner; U. Furbach; M. Gross-Hardt; A. Sinner

Journal of automated reasoning. 2004;32(3):259-286. DOI:10.1007/s10817-004-2041-1 2004

A decision method for nonmonotonic reasoning based on autoepistemic reasoning [0.03%] 一种基于自动认识推理的非单调推理决策方法

Ilkka Niemelä Ilkka Niemelä

Journal of automated reasoning. 1995;14(1):3-42. DOI:10.1007/bf00883929 1995

A Resolution-Based Decision Procedure for(oldsymbol{mathcal{SHOIQ}}) [0.03%] 基于归结的(oldsymbol{mathcal{SHOIQ}})决策过程

Yevgeny Kazakov; Boris Motik Yevgeny Kazakov; Boris Motik

Journal of automated reasoning. 2008;40(2-3):89-116. DOI:10.1007/s10817-007-9090-1 2008

IJCAR Preface [0.03%] IJCAR 序言

Ulrich Furbach Ulrich Furbach

Journal of automated reasoning. 2008;40(2-3):87-88. DOI:10.1007/s10817-007-9088-8 2008

Inferring Phylogenetic Trees Using Answer Set Programming [0.03%] 使用答案集编程推断系统发生树

Daniel R. Brooks; Esra Erdem; Selim T. Erdoğan; James W. Minett; Don Ringe Daniel R. Brooks; Esra Erdem; Selim T. Erdoğan; James W. Minett; Don Ringe

Journal of automated reasoning. 2007;39(4):471-511. DOI:10.1007/s10817-007-9082-1 2007

Translating Higher-Order Clauses to First-Order Clauses [0.03%] 将高阶子句转换为一阶子句

Jia Meng; Lawrence C. Paulson Jia Meng; Lawrence C. Paulson

Journal of automated reasoning. 2008;40(1):35-60. DOI:10.1007/s10817-007-9085-y 2008

Preface to Special Issue on Reasoning in Description Logics [0.03%] 描述逻辑中推理专题的前言

Franz Baader Franz Baader

Journal of automated reasoning. 2007;39(3):245-247. DOI:10.1007/s10817-007-9081-2 2007