首页>外文期刊>计算机、自动化>计算技术、计算机技术>Journal of Automated Reasoning

Journal of Automated Reasoning

Journal of Automated Reasoning

SCIEI

中文名称：自动推理杂志

ISSN：0168-7433
出版周期：Bimonthly

发文量：638

期刊论文

年度选择

2023
- 第1期
- 第2期
2022
- 第1期
- 第2期
- 第3期
- 第4期
2021
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
2020
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
2019
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
- 第4期
- 第4期
2018
- 第1期
- 第2期
- 第3期
- 第4期
- 第4期
2017
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
- 第4期
- 第4期
2016
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
- 第4期
- 第4期
2015
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
- 第4期
- 第4期
2014
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
- 第4期
- 第4期
2013
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
- 第4期
- 第4期
2012
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
- 第4期
- 第4期
2011
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第4期
- 第4期
2010
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
- 第4期
- 第4期
2009
- 第1期
- 第1期
- 第2期
- 第3期
- 第4期
- 第4期
2008
- 第1期
- 第1期
- 第2期
- 第3期
- 第4期
- 第4期
2007
- 第1期
- 第2期
- 第3期
- 第4期
- 第4期
2006
- 第2期
- 第2期
- 第3期
- 第3期
- 第4期
- 第4期
2005
- 第1期
- 第2期
- 第3期
- 第3期
- 第4期
- 第5期
2004
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第4期
- 第4期
2003
- 第1期
- 第1期
- 第2期
- 第2期
- 第4期
- 第4期
2002
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第4期
- 第4期
2001
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
- 第4期
- 第4期
2000
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
- 第4期
- 第4期

更多>>

全选（0）

1.Herbrand Award Acceptance Speech

机译：赫布兰德奖获奖感言
- 作者：PETER B. ANDREWS
- 期刊名称：《Journal of Automated Reasoning》 | 2003年第2期
- herbrand's theorem;
- higher-order logic;
- TPS;
2.Abstract Congruence Closure

机译：抽象同余闭包
- 作者：LEO BACHMAIR;ASHISH TIWARI;LAURENT VIGNERON
- 期刊名称：《Journal of Automated Reasoning》 | 2003年第2期
- term rewriting;
- congruence closure;
- associative-commutative theories;
3.A Syntactic Approach to Foundational Proof-Carrying Code

机译：基本证明代码的句法方法
- 作者：NADEEM A. HAMID;ZHONG SHAO;VALERY TRIFONOV;STEFAN MONNIER;ZHAOZHONG NI
- 期刊名称：《Journal of Automated Reasoning》 | 2003年第4期
- foundational proof-carrying code;
- syntactic soundness proof;
- typed assembly language;
4.Heap-Bounded Assembly Language

机译：堆绑定汇编语言
- 作者：DAVID ASPINALL;ADRIANA COMPAGNONI
- 期刊名称：《Journal of Automated Reasoning》 | 2003年第4期
- typed assembly language;
- proof-carrying code;
5.A Trustworthy Proof Checker

机译：值得信赖的证明检查器
- 作者：ANDREW W.APPEL;NEOPHYTOS MICHAEL;AARON STUMP;ROBERTO VIRGA
- 期刊名称：《Journal of Automated Reasoning》 | 2003年第4期
- proof checker;
- proof-carrying code;
6.Lightweight Bytecode Verification

机译：轻量级字节码验证
- 作者：EVA ROSE
- 期刊名称：《Journal of Automated Reasoning》 | 2003年第4期
- bytecode verification;
- data flow analysis;
- proof-carrying code;
7.Trust and Partial Typing in Open Systems of Mobile Agents

机译：移动代理开放系统中的信任和部分输入
- 作者：JAMES RIELY;MATTHEW HENNESSY
- 期刊名称：《Journal of Automated Reasoning》 | 2003年第4期
- partial typing;
- trust;
- type safety;
8.Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases

机译：析取演绎数据库中目标驱动查询处理的对偶
- 作者：ADNAN H. YAHYA
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第1期
- deductive databases;
- query processing;
- model generation;
9.SLT-Resolution for the Well-Founded Semantics

机译：完善的语义的SLT解决方案
- 作者：YI-DONG SHEN;LI-YAN YUAN;JIA-HUAI YOU
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第1期
- well-founded semantics;
- procedural semantics;
- linear tabling;
10.Single Elementary Associative-Commutative Matching

机译：单一基本的联想-交换式匹配
- 作者：STEVEN EKER
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第1期
- congruence class rewriting;
- diophantine equations;
- poset searching;
11.Evaluating Optimized Decision Procedures for Propositional Modal K_(m) Satisfiability

机译：命题模态K_（m）可满足性的优化决策程序评估
- 作者：IAN HORROCKS;PETER F. PATEL-SCHNEIDER
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第2期
- satisfiability;
- optimization;
- tableaux;
12.An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation

机译：量化布尔公式的评估算法及其实验评估
- 作者：MARCO CADOLI;MARCO SCHAERF;ANDREA GIOVANARDI
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第2期
- quantified Boolean formulas;
- SAT algorithms;
13.Using Resolution for Testing Modal Satisfiability and Building Models

机译：使用分辨率测试模态可满足性和构建模型
- 作者：ULLRICH HUSTADT;RENATE A. SCHMIDT
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第2期
- modal logic;
- automated theorem proving;
- resolution decision procedures;
14.SAT-Based Decision Procedures for Classical Modal Logics

机译：基于SAT的经典模态逻辑决策程序
- 作者：ENRICO GIUNCHIGLIA;ARMANDO TACCHELLA
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第2期
- SAT-based decision procedure;
- modal logic;
15.Autarkic Computations in Formal Proofs

机译：形式证明中的自给计算
- 作者：HENK BARENDREGT;ERIK BARENDSEN
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第3期
- formal proof;
- computer algebra;
- proof development;
16.The IJCAR ATP System Competition

机译：IJCAR ATP系统竞赛
- 作者：G. SUTCLIFFE;C. B. SUTTNER;F. J. PELLETIER
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第3期
17.A Completion Procedure for Finitely Presented Groups That Is Based on Word Cycles

机译：基于单词周期的有限表示组的完成过程
- 作者：ROBERT CREMANNS;FRIEDRICH OTTO
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第3期
- Knuth-Bendix completion procedure;
- finitely presented groups;
- group diagrams;
18.A General Setting for Flexibly Combining and Augmenting Decision Procedures

机译：灵活组合和扩充决策程序的一般设置
- 作者：REDRAG JANICIC;ALAN BUNDY
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第3期
- theorem proving;
- decision procedures;
- combining decision procedures;
19.Partial Instantiation Methods for Inference in First-Order Logic

机译：一阶逻辑推理的局部实例化方法
- 作者：J. N. HOOKER;G. RAGO;V. CHANDRU
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第4期
- satisfiability algorithms;
- primal-dual strategy;
20.Proving Unsatisfiability of CNFs Locally

机译：本地证明CNF不满意
- 作者：EUGENE GOLDBERG
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第4期
- satisfiability;
- conjunctive normal form;
21.Checking Simple Properties of Transition Systems Defined by Thue Specifications

机译：检查Thue规范定义的过渡系统的简单属性
- 作者：TEODOR KNAPIK
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第4期
- infinite-state systems;
- automated deduction;
- string-rewriting;
22.Alternative Translation Techniques for Propositional and First-Order Modal Logics

机译：命题和一阶模态逻辑的替代翻译技术
- 作者：ANGELO MONTANARI;ALBERTO POLICRITI;MATTEO SLANINA
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第4期
- translation methods;
- (first-order) modal logics;
- computable set theories;
23.Mathematical Programming Embeddings of Logic

机译：逻辑数学编程嵌入
- 作者：VIVEK S. BORKAR;VIJAY CHANDRU;SANJOY K. MITTER
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第1期
- predicate logic;
- mathematical programming;
- CLP(R);
24.Short Single Axioms for Boolean Algebra

机译：布尔代数的短单公理
- 作者：WILLIAM McCUNE;ROBERT VEROFF;BRANDEN FITELSON;KENNETH HARRIS;ANDREW FEIST;LARRY WOS
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第1期
- boolean algebra;
- sheffer stroke;
- single axiom;
25.Hilbert's Twenty-Fourth Problem

机译：希尔伯特的第二十四题
- 作者：RUEDIGER THIELE;LARRY WOS
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第1期
- automated reasoning;
- proof refinement;
- hilbert 24th problem;
26.Ordered Semantic Hyper Tableaux

机译：有序语义超Tableaux
- 作者：ADNAN YAHYA;DAVID A. PLAISTED
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第1期
- tableaux;
- semantics;
- automated theorem proving;
- literal ordering;
27.More Proofs of an Axiom of Lukasiewicz

机译：Lukasiewicz公理的更多证明
- 作者：JOHN SLANEY
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第1期
- many-valued logic;
- substructural logic;
- axiomatics;
28.Unification Types of Completely Regular Semigroups

机译：完全规则半群的统一类型
- 作者：G. MASHEVITZKY
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第2期
- semigroup;
- unification types;
- semilattices;
29.Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus

机译：征服XCB问题：等价微积分最后最短单个公理的方法学发现
- 作者：LARRY WOS;DOLPH ULRICH;BRANDEN FITELSON
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第2期
- equivalence;
- equivalential calculus;
- single axioms;
- shortest single axioms;
- detachment;
- condensed detachment;
- XCB;
- OTTER;
- automated reasoning;
30.Inferring from Inconsistency in Preference-Based Argumentation Frameworks

机译：从基于首选项的论证框架中的不一致推断
- 作者：LEILA AMGOUD;CLAUDETTE CAYROL
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第2期
- handling inconsistency;
- argumentation;
- preference relations;
31.A Compendium of Continuous Lattices in MIZAR: Formalizing Recent Mathematics

机译：MIZAR中连续格的纲要：规范最近的数学
- 作者：GRZEGORZ BANCEREK;PIOTR RUDNICKI
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第4期
- MIZAR;
- QED project;
- formalization of mathematics;
- set theory;
- proof checking;
- theory of continuous lattices;
- mathematical knowledge management;
32.External Rewriting for Skeptical Proof Assistants

机译：怀疑证明助手的外部重写
- 作者：QUANG HUY NGUYEN;CLAUDE KIRCHNER;HELENE KIRCHNER
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第4期
- certification;
- term rewriting;
- ρ-calculus;
- proof assistant;
- type theory;
33.A Comparison of Mizar and Isar

机译：Mizar和Isar的比较
- 作者：MARKUS WENZEL;FREEK WIEDIJK
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第4期
- formalized mathematics;
- structured proof languages;
- proof sketches;
34.Algorithms and Proofs Inheritance in the FOC Language

机译：FOC语言中的算法和证明继承
- 作者：VIRGILE PREVOSTO;DAMIEN DOLIGEZ
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第4期
- FOC language;
- computer algebra;
35.A Proof of GMP Square Root

机译：GMP平方根的证明
- 作者：YVES BERTOT;NICOLAS MAGAUD;PAUL ZIMMERMANN INRIA
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第4期
- arbitrary large numbers;
- formal methods;
- GMP;
- Coq;
36.A New Implementation of Automath

机译：自动机的新实现
- 作者：FREEK WIEDIJK
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第4期
- automath;
- formalized mathematics;
- proof objects;
- type theory;
37.Proof Reflection in Coq

机译：Coq中的证明反射
- 作者：DMITRI HENDRIKS
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第4期
- coq;
- formalization of logical systems;
- reflection;
38.Automated Proof Construction in Type Theory Using Resolution

机译：使用解析的类型论中的自动证明构造
- 作者：MARC BEZEM;DMITRI HENDRIKS;HANS DE NIVELLE
- 期刊名称：《Journal of Automated Reasoning》 | 2002年第4期
- type theory;
- proof construction;
- resolution theorem proving;
39.Parallelization of a Hyper-Linking-Based Theorem Prover

机译：基于超链接定理证明的并行化
- 作者：CHIH-HUNG WU;SHIE--JUE LEE
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第1期
- first-order logic;
- theorem proving;
- hyper-linking strategy;
- logic deduction;
- parallel processing;
- parallel architecture;
40.More Church-Rosser Proofs

机译：更多Church-Rosser证明
- 作者：TOBIAS NIPKOW
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第1期
- λ-calculus;
- Church-Rosser proof;
- theorem Proving;
41.The Warshall Algorithm and Dickson's Lemma: Two Examples of Realistic Program Extraction

机译：Warshall算法和Dickson引理：现实程序提取的两个示例
- 作者：ULRICH BERGER;HELMUT SCHWICHTENBERG;MONIKA SEISENBERGER
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第2期
- A-translation;
- constructive proofs;
- Dickson's lemma;
- fealizability;
- program extraction;
- provably correct programs;
- Warshall algorithm;
42.Structured Theory Development for a Mechanized Logic

机译：机械化逻辑的结构化理论发展
- 作者：MATT KAUFMANN;J STROTHER MOORE
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第2期
- first--order logic;
- automated reasoning;
- ACL2;
- constraint;
- encapsu1ation;
- functional instantiation;
- soundness;
- Skolemization;
43.Computer-Aided Construction of Finite Geometric Spaces : Automated Verification of Geometric Constraints

机译：有限几何空间的计算机辅助构造：几何约束的自动验证
- 作者：WOLFGANG GEHRKE;JOCHEN PFALZGRAF
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第2期
- noncommutative geometric spaces;
- geometric constraints;
- computer applications;
44.A Machine-Checked Implementation of Buchberger's Algorithm

机译：Buchberger算法的机器检查实现
- 作者：LAURENT THERY
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第2期
- theorem proving;
- computer algebra;
- Grobner bases;
- program verification;
45.STMM: A Set Theory for Mechanized Mathematics

机译：STMM：机械化数学的一套理论
- 作者：WILLIAM M. FARMER
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第3期
- set theory;
- NBG;
- higher-order logic;
- mechanized mathematics;
- theorem-proving systems;
- partial functions;
- undefinedness;
- sorts;
46.Reasoning Theories

机译：推理理论
- 作者：E GIUNCHIGLIA;P. PECCHIARI;C. TALCOTT
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第3期
- open mechanized reasoning system (OMRS);
- reasoning theory;
- NQTHM;
- linear arithmetic;
47.General Algorithms for Permutations in Equational Inference

机译：方程推理中置换的通用算法
- 作者：JURGEN AVENHAUS;DAVID A. PLAISTED
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第3期
- equational inference;
- permutations;
- term rewriting;
48.Semi-Thue Systems with an Inhibitor

机译：带抑制剂的半透系统
- 作者：ROBERT McNAUGHTON
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第4期
- string rewriting;
- semi--Thue system;
- termination;
- uniform termination;
- well behaved derivation;
49.The Watson Theorem Prover

机译：沃森定理证明
- 作者：M. RANDALL HOLMES;JIM ALVES-FOSS
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第4期
- theorem prover description;
- equational reasoning;
- type theory;
- New Foundations;
- higherorder logic;
50.On the Computation of the Disjunctive Well-Founded Semantics

机译：论析取依据的语义学计算
- 作者：C. A. JOHNSON
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第4期
51.Studies of a Theory of Specifications with Built-in Program Extraction

机译：带有内置程序提取的规范理论的研究
- 作者：PAULA SEVERI;NORA SZASZ
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第1期
- type theory;
- program extraction;
- theory of Specifications;
52.An Implementation of LF with Coercive Subtyping & Universes

机译：具有强制性子类型化和Universe的LF实现
- 作者：PAUL CALLAGHAN;ZHAOHUI LUO
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第1期
- type theory;
- universes;
- logical framework;
- implementation;
53.A Calculus of Lambda Calculus Contexts

机译：Lambda演算上下文的演算
- 作者：MIRNA BOGNAR;ROEL DE VRIJER
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第1期
- lambda calculus;
- context calculus;
- pretyping;
54.Missing Proofs Found

机译：找到缺少的证据
- 作者：BRANDEN FITELSON;LARRY WOS
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第2期
- automated reasoning;
- missing proofs;
- term-avoidance proofs;
55.Solving Open Questions and Other Challenge Problems Using Proof Sketches

机译：使用证明草图解决未解决的问题和其他挑战问题
- 作者：ROBERT VEROFF
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第2期
- proof sketch;
- condensed detachment;
- hints;
- linked UR-resolution;
56.Distributivity in L0, and Other Sentential Logics

机译：L0中的分布性和其他句子逻辑
- 作者：KENNETH HARRIS;BRANDEN FITELSON
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第2期
- distributivity;
- sentential;
- logic;
- Lukasiewicz;
- detachment;
- substructu ral;
57.Finding Shortest Proofs f An Application of Linked Inference Rules

机译：通过链接推理规则的应用找到最短证明
- 作者：ROBERT VEROFF
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第2期
- shortest proofs;
- condensed detachment;
- linked UR-resolution;
58.Conquering the Meredith Single Axiom

机译：征服Meredith单一公理
- 作者：LARRY WOS
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第2期
- automated reasoning;
- double negation;
- Meredith single axiom;
- propositional calculus;
- two-valued sentential calculus;
59.A Milestone Reached and a Secret Revealed

机译：达到里程碑，揭示秘密
- 作者：LARny WOS
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第2期
- automated reasoning;
- elegant proofs;
- logic;
- proof finding;
60.A Legacy Recalled and a Tradition Continued

机译：传统的召回与传统的延续
- 作者：DOLPH ULRICH
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第2期
- logic;
- sentential calculi;
- formal proofs;
- detachment;
- condensed detachment;
- single axioms;
- automated reasoning;
- open problems;
61.The CADE-17 ATP System Competition

机译：CADE-17 ATP系统竞赛
- 作者：G. SUTCLIFFE
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第3期
- competition;
- automated theorem proving;
62.Stochastic Boolean Satisfiability

机译：随机布尔可满足性
- 作者：MICHAEL L. LITTMAN;STEPHEN M. MAJERCIK;TONIANN PITASSI
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第3期
- probability theory;
- satisfiability;
- artificial intelligence;
63.I-SATCHMO: An Improvement of SATCHMO

机译：I-SATCHMO：SATCHMO的改进
- 作者：LIFENG HE
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第3期
- model generation theorem proving;
- forward chaining;
- intelligent backtracking;
64.An O(n log n)-SPACE Decision Procedure for the Propositional Dummett Logic

机译：命题Dummett逻辑的O（n log n）-SPACE决策过程
- 作者：GUIDO FIORINO
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第3期
- Dummett logic;
- tableau calculus;
65.Resolution for Skeptical Stable Model Semantics

机译：怀疑稳定模型语义的解决方案
- 作者：P. A. BONATTI
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第4期
- stable semantics;
- skeptical derivations;
- resolution;
66.Nonstandard Analysis in ACL2

机译：ACL2中的非标准分析
- 作者：RUBEN A. GAMBOA;MATT KAUFMANN
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第4期
- nonstandard analysis;
- automated theorem proving with the reals;
67.An Algorithm for Dual Transformation in First-Order Logic

机译：一阶逻辑中的双重转换算法
- 作者：GUILHERME BITTENCOURT;ISABEL TONIN
- 期刊名称：《Journal of Automated Reasoning》 | 2001年第4期
- first-order logic;
- dual transformation;
- theorem proving;
68.A Hyperbase for Binary Lattice Hyperidentities

机译：二进制格超身份的超基础
- 作者：R. PADMANABHAN;P PENNER
- 期刊名称：《Journal of Automated Reasoning》 | 2000年第3期
- hyperidentity;
- hyperbase;
- lattice;
- quasilattice;
- Otter;
69.A Benchmark Method for the Propositional Modal Logics K, KT, S4

机译：命题模态逻辑K，KT，S4的基准方法
- 作者：PETER BALSIGER;ALAIN HEUERDlNG;STEFAN SCHWENDlMANN
- 期刊名称：《Journal of Automated Reasoning》 | 2000年第3期
- benchmark;
- formula;
- modal;
- logic;
- propositional;
- lwb;
- workbench;
70.Single Step Tableaux for Modal Logics Computational Properties, Complexity and Methodology

机译：模态逻辑计算特性，复杂性和方法论的一步式设计
- 作者：FABIO MASSACCI
- 期刊名称：《Journal of Automated Reasoning》 | 2000年第3期
- modal logics;
- prefixed tableaux;
- confluence;
- complexity;
- decision procedures;
- direct and translation methods;
71.The CADE- 16 ATP System Competition

机译：CADE-16 ATP系统竞赛
- 作者：GEOFF SUTCLIFFE
- 期刊名称：《Journal of Automated Reasoning》 | 2000年第3期
- competition;
- automated theorem proving;
72.New Worst--Case Upper Bounds for SAT

机译：SAT的新的最差情况上限
- 作者：EDWARD A. HIRSCH
- 期刊名称：《Journal of Automated Reasoning》 | 2000年第4期
- SAT worst-case upper bounds;
73.Local Search Algorithms for SAT : An Empirical Evaluation

机译：SAT的局部搜索算法：实证研究。
- 作者：HOLGER H. HOOS;THOMAS STUTZLE
- 期刊名称：《Journal of Automated Reasoning》 | 2000年第4期
- SAT stochastic search;
- empirical evaluation;
- run--time distributions;
- robustness;
74.Nonsystematic Search and No-Good Learning

机译：非系统搜索和不良学习
- 作者：E. THOMAS RICHARDS;BARRY RICHARDS
- 期刊名称：《Journal of Automated Reasoning》 | 2000年第4期
- completeness;
- nonsystematic search;
- 3-SAT;
- empirical studies;
75.Implementing the Davis-Putnam Method

机译：实施Davis-Putnam方法
- 作者：HANTAO ZHANG;MARK STICKEL
- 期刊名称：《Journal of Automated Reasoning》 | 2000年第2期
- propositional satisfiability;
- Davis--Putnam method;
- trie data structure;
76.Proving Consistency Assertions for Automotive Product Data Management

机译：汽车产品数据管理的证明一致性断言
- 作者：WOLFGANG KUCHLIN;CARSTEN SINZ
- 期刊名称：《Journal of Automated Reasoning》 | 2000年第2期
- formal specification;
- verification;
- product data management;
- product configuration;
- industrial application;
77.A SAT Solver Using Reconfigurable Hardware and Virtual Logic

机译：使用可重构硬件和虚拟逻辑的SAT解算器
- 作者：MIRON ABRAMOVICI;JOSE T. DE SOUSA
- 期刊名称：《Journal of Automated Reasoning》 | 2000年第2期
- satisfiability;
- reconfigurable logic;
- virtual logic;
- massive parallelism;
78.The Propositional Formula Checker HeerHugo

机译：命题公式检查器HeerHugo
- 作者：JAN FRISO GROOTE;JOOST P WARNERS
- 期刊名称：《Journal of Automated Reasoning》 | 2000年第2期
- satisfiability;
- propositional logic;
- theorem proving;
79.SAT Local Search Algorithms : Worst-Case Study

机译：SAT本地搜索算法：最坏情况研究
- 作者：EDWARD A. HIRSCH
- 期刊名称：《Journal of Automated Reasoning》 | 2000年第2期
- SAT;
- greedy local search;
- worst-case time bounds;
80.Guided Local Search for Solving SAT and Weighted MAX-SAT Problems

机译：引导性本地搜索以解决SAT和加权MAX-SAT问题
- 作者：PATRICK MILLS;EDWARD TSANG
- 期刊名称：《Journal of Automated Reasoning》 | 2000年第2期
- SAT problem;
- local search;
- meta-heuristics;
- optimization;
81.Logical Cryptanalysis as a SAT Problem Encoding and Analysis Of the US. Data Encryption Standard

机译：逻辑密码分析作为美国的SAT问题编码和分析。数据加密标准
- 作者：FABIO MASSACCI;LAURA MARRARO
- 期刊名称：《Journal of Automated Reasoning》 | 2000年第2期
82.Resolution versus Search : Two Strategies for SAT

机译：分辨率与搜索：SAT的两种策略
- 作者：IRINA RISH;RINA DECHTER
- 期刊名称：《Journal of Automated Reasoning》 | 2000年第2期
- propositional satisfiability;
- backtracking search;
- resolution;
- computational complexity;
- knowledge compilation;
- empirical studies;
83.Relaxations of the Satisfiability Problem Using Semidefinite Programming

机译：用半定规划放宽可满足性问题
- 作者：ETIENNE DE KLERK;HANS VAN MAAREN;JOOST R WARNERS
- 期刊名称：《Journal of Automated Reasoning》 | 2000年第2期
- satisfiability problem;
- relaxation;
- semidefinite programming;
84.Heavy--Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems

机译：满意度和约束满意度问题中的重尾现象
- 作者：CARLA P GOMES;BART SELMAN;NUNO CRATO
- 期刊名称：《Journal of Automated Reasoning》 | 2000年第2期
- satisfiability;
- constraint satisfaction;
- heavy tails;
- backtracking;
85.Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation

机译：正单位超高分辨率Tableaux及其在最小模型生成中的应用
- 作者：FRANCOIS BRY;ADNAN YAHYA
- 期刊名称：《Journal of Automated Reasoning》 | 2000年第1期
- minimal model;
- model generation;
- tableau;
- proof theory;
86.Efficient Algorithms to Detect and Restore Minimality, an Extension of the Regular Restriction of Resolution

机译：有效的算法来检测和还原最小值，这是对分辨率常规限制的扩展
- 作者：BRUCE SPENCER;J. D. HORTON
- 期刊名称：《Journal of Automated Reasoning》 | 2000年第1期
- resolution;
- regularity;
- theorem proving;
- binary tree;
- clause tree;
87.Vectorial Equations Solving for Mechanical Geometry Theorem Proving

机译：机械几何定理证明的矢量方程解
- 作者：HONGBO LI
- 期刊名称：《Journal of Automated Reasoning》 | 2000年第2期
- mechanical theorem proving;
- Wu's method;
- Clifford algebra;
- vectorial equations solving;
- the area method;
88.Managing Structural Information by Higher-Order Colored Unification

机译：通过高阶有色统一管理结构信息
- 作者：DIETER HUTTER;MICHAEL KOHLHASE
- 期刊名称：《Journal of Automated Reasoning》 | 2000年第2期
- inductive theorem proving;
- rippling;
- annotations;
89.Ordered Semantic Hyper-Linking

机译：有序语义超链接
- 作者：DAVID A. PLAISTED;YUNSHAN ZHU
- 期刊名称：《Journal of Automated Reasoning》 | 2000年第3期
- hyper-linking;
- semantics;
- automated theorem proving;
90.A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering

机译：自动几何定理证明和发现的演绎数据库方法
- 作者：SHANG--CHING CHOU;XIAO-SHAN GAO;JING-ZHONG ZHANG
- 期刊名称：《Journal of Automated Reasoning》 | 2000年第3期
91.Reasoning about Qualitative Spatial Relationships

机译：定性空间关系的推理
- 作者：A. PRASAD SISTLA;CLEMENT YU
- 期刊名称：《Journal of Automated Reasoning》 | 2000年第4期
- spatial relationships;
- deductive system;
- soundness;
- completeness;
- deduction;
- reduction;
92.Evaluation of Queries under Closed-World Assumption. Part II: The Hierarchical Case

机译：封闭世界假设下的查询评估。第二部分：分层案例
- 作者：MAREK A. SUCHENEK
- 期刊名称：《Journal of Automated Reasoning》 | 2000年第4期
93.Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA)

机译：走向SATS同时移动飞机（SATS-SMA）的概率形式分析
- 作者：Sardar Muhammad Usama;Afaq Nida;Hasan Osman;Hoque Khaza Anuarul
- 期刊名称：《Journal of Automated Reasoning》 | 2018年第1期
- Formal verification;
- Probabilistic analysis;
- Model checking;
- SATS concept of operations;
- Aircraft safety;
94.Verifying Relative Safety, Accuracy, and Termination for Program Approximations

机译：验证程序近似值的相对安全性，准确性和终止性
- 作者：He Shaobo;Lahiri Shuvendu K.;Rakamaric Zvonimir
- 期刊名称：《Journal of Automated Reasoning》 | 2018年第1期
- Approximate computing;
- Differential verification;
- SymDiff;
95.Formal Verification of an Executable LTL Model Checker with Partial Order Reduction

机译：带有部分订单减少的可执行LTL模型检查器的形式验证
- 作者：Brunner Julian;Lammich Peter
- 期刊名称：《Journal of Automated Reasoning》 | 2018年第1期
- Formal verification;
- Model checking;
- Partial order reduction;
96.Synthesis of Obfuscation Policies to Ensure Privacy and Utility

机译：综合模糊处理策略以确保隐私和实用性
- 作者：Wu Yi-Chin;Raman Vasumathi;Rawlings Blake C.;Lafortune Stephane;Seshia Sanjit A.
- 期刊名称：《Journal of Automated Reasoning》 | 2018年第1期
- Privacy;
- Formal synthesis;
- Supervisory control;
- Edit functions;
- Obfuscation;
97.Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application

机译：将IEC 61131-3功能框图转换为PVS，以便通过实时核应用进行形式验证
- 作者：Newell Josh;Pang Linna;Tremaine David;Wassyng Alan;Lawford Mark
- 期刊名称：《Journal of Automated Reasoning》 | 2018年第1期
- Safety critical systems;
- IEC 61131-3;
- Function block diagrams;
- Formal specification;
- PVS;
- Tabular expressions;
- Simulink;
98.Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic

机译：机会约束时间逻辑在感知不确定性下的安全自主
- 作者：Jha Susmit;Raman Vasumathi;Sadigh Dorsa;Seshia Sanjit A.
- 期刊名称：《Journal of Automated Reasoning》 | 2018年第1期
- Autonomy;
- Temporal logic;
- Safe Control;
99.Selected Extended Papers of NFM 2016: Preface

机译：NFM 2016精选扩展论文：前言
- 作者：Munoz Cesar A.;Rayadurgam Sanjai;Tkachuk Oksana
- 期刊名称：《Journal of Automated Reasoning》 | 2018年第1期
100.Many-Sorted Equivalence of Shiny and Strongly Polite Theories

机译：有光泽和有礼貌的理论的多排序对等
- 作者：Casal Filipe;Rasga Joao
- 期刊名称：《Journal of Automated Reasoning》 | 2018年第2期

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有出版物经营许可证

客服微信
服务号