ITA
ENG

Results: 1-25 | 26-40

Articles table of contents

Results : 1-25/40

Automated Discovery of New Axiomatizations of the Left Group and Right Group Calcouli

Authors: W.W.McCune

Journal: Journal of automated reasoning

Citation: W.w.mccune, Automated Discovery of New Axiomatizations of the Left Group and Right Group Calcouli, Journal of automated reasoning , 9(1), 1992, pp. 1-24

A Section is Born: Studies in Automated Reasoning

Authors: L.Wos

Journal: Journal of automated reasoning

Citation: L.wos, A Section is Born: Studies in Automated Reasoning, Journal of automated reasoning , 8(1), 1992, pp. 1-2

A Mechanical Proof of Quadratic Reciprocity

Authors: D.M.Russinoff

Journal: Journal of automated reasoning

Citation: D.m.russinoff, A Mechanical Proof of Quadratic Reciprocity, Journal of automated reasoning , 8(1), 1992, pp. 3-22

Exploitation of Parallel Processing for Implementing High-Performance Deduction Systems

Authors: A.Jindal,R.Overbeek,W.C.Kabat

Journal: Journal of automated reasoning

Citation: A.jindal,r.overbeek,w.c.kabat, Exploitation of Parallel Processing for Implementing High-Performance Deduction Systems, Journal of automated reasoning , 8(1), 1992, pp. 23-38

Eliminating Duplication with the Hyper-Linking Strategy

Authors: S.J.Lee,D.A.Plaisted

Journal: Journal of automated reasoning

Citation: S.j.lee,d.a.plaisted, Eliminating Duplication with the Hyper-Linking Strategy, Journal of automated reasoning , 9(1), 1992, pp. 25-42

A Tecnical Note on AC-Unification. The Number of Minimal Unifiers of Equation ax1+...+axp = acby1+...+byq

Authors: E.Domenjoud

Journal: Journal of automated reasoning

Citation: E.domenjoud, A Tecnical Note on AC-Unification. The Number of Minimal Unifiers of Equation ax1+...+axp = acby1+...+byq, Journal of automated reasoning , 8(1), 1992, pp. 39-44

Recognizing Unnecessary Clauses in Resolution Based Systems

Authors: D.Benanav

Journal: Journal of automated reasoning

Citation: D.benanav, Recognizing Unnecessary Clauses in Resolution Based Systems, Journal of automated reasoning , 9(1), 1992, pp. 43-76

Completenes of a Prover for Dense Linear Orders

Authors: L.M.Hines

Journal: Journal of automated reasoning

Citation: L.m.hines, Completenes of a Prover for Dense Linear Orders, Journal of automated reasoning , 8(1), 1992, pp. 45-76

How to Avoid the Derivation of Redundant Clauses in Reasoning Systems

Authors: R.Socher-Ambrosius

Journal: Journal of automated reasoning

Citation: R.socher-ambrosius, How to Avoid the Derivation of Redundant Clauses in Reasoning Systems, Journal of automated reasoning , 9(1), 1992, pp. 77-98

An Inexact Reasoning Algorithm Based Fuzzy Rule Matrix Trasformations

Authors: S.M.Chen,J.S.Ke,J.F.Chang

Journal: Journal of automated reasoning

Citation: S.m.chen,j.s.ke,j.f.chang, An Inexact Reasoning Algorithm Based Fuzzy Rule Matrix Trasformations, Journal of automated reasoning , 8(1), 1992, pp. 77-90

Automated Deduction in von Neumann-Bernays-Godel Set Theory Addresses of Editorial Board

Authors: A.Quaife

Journal: Journal of automated reasoning

Citation: A.quaife, Automated Deduction in von Neumann-Bernays-Godel Set Theory Addresses of Editorial Board, Journal of automated reasoning , 8(1), 1992, pp. 91-148

Tableaux and Sequent Calculus for Minimal Entailment

Authors: N.Olivetti

Journal: Journal of automated reasoning

Citation: N.olivetti, Tableaux and Sequent Calculus for Minimal Entailment, Journal of automated reasoning , 9(1), 1992, pp. 99-140

Basic Research Problems: The Problem of Demodulation during Inferance Rule Application

Authors: L.Wos

Journal: Journal of automated reasoning

Citation: L.wos, Basic Research Problems: The Problem of Demodulation during Inferance Rule Application, Journal of automated reasoning , 9(1), 1992, pp. 141-142

Note on McCune's Article on Discrimination Trees

Authors: L.Wos

Journal: Journal of automated reasoning

Citation: L.wos, Note on McCune's Article on Discrimination Trees, Journal of automated reasoning , 9(2), 1992, pp. 145-146

Experiments with Discrimination-Tree Indexing and Path Indexing for Term Retrieval

Authors: W.McCune

Journal: Journal of automated reasoning

Citation: W.mccune, Experiments with Discrimination-Tree Indexing and Path Indexing for Term Retrieval, Journal of automated reasoning , 9(2), 1992, pp. 147-168

PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses

Authors: S.Bose,E.M.Clarke,D.E.Long,S.Michaylov

Journal: Journal of automated reasoning

Citation: S.bose,e.m.clarke,d.e.long,s.michaylov, PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses, Journal of automated reasoning , 8(2), 1992, pp. 153-182

Hilbert's Tenth Problem is of Unification Type Zero

Authors: M.Franzen

Journal: Journal of automated reasoning

Citation: M.franzen, Hilbert's Tenth Problem is of Unification Type Zero, Journal of automated reasoning , 9(2), 1992, pp. 169-178

A Logic for Reasoning with Inconsistency

Authors: M.Kifer,E.L.Lozinskii

Journal: Journal of automated reasoning

Citation: M.kifer,e.l.lozinskii, A Logic for Reasoning with Inconsistency, Journal of automated reasoning , 9(2), 1992, pp. 179-216

SETHEO: A High-Performance Theorem Prover

Authors: R.Lentz,J.Schumann,S.Bayerl,W.Bibel

Journal: Journal of automated reasoning

Citation: R.lentz,j.schumann,s.bayerl,w.bibel, SETHEO: A High-Performance Theorem Prover, Journal of automated reasoning , 8(2), 1992, pp. 183-212

The Linked Inference Principle. I: The Formal Treatment

Authors: R.Veroff,L.Wos

Journal: Journal of automated reasoning

Citation: R.veroff,l.wos, The Linked Inference Principle. I: The Formal Treatment, Journal of automated reasoning , 8(2), 1992, pp. 213-274

Uncertainty Management with Imprecise Knowledge with Application to Design

Authors: D.E.Brown,W.J.Markert

Journal: Journal of automated reasoning

Citation: D.e.brown,w.j.markert, Uncertainty Management with Imprecise Knowledge with Application to Design, Journal of automated reasoning , 9(2), 1992, pp. 217-230

CLP(R) and Some Electrical Engineering Problems

Authors: N.Heintze,S.Michaylov,P.Stuckey

Journal: Journal of automated reasoning

Citation: N.heintze,s.michaylov,p.stuckey, CLP(R) and Some Electrical Engineering Problems, Journal of automated reasoning , 9(2), 1992, pp. 231-260

Complexity of Unification Problems with Associative-Communicative Operators

Authors: D.Kapur,P.Narendran

Journal: Journal of automated reasoning

Citation: D.kapur,p.narendran, Complexity of Unification Problems with Associative-Communicative Operators, Journal of automated reasoning , 9(2), 1992, pp. 261-288

An Integral Theorem Prover and the Role of Proof Planning

Authors: J.D.Baker,S.Zand-Biglari

Journal: Journal of automated reasoning

Citation: J.d.baker,s.zand-biglari, An Integral Theorem Prover and the Role of Proof Planning, Journal of automated reasoning , 8(2), 1992, pp. 275-296

Basic Research Problems: The Problem of Demodulator Adjunction

Authors: L.Wos

Journal: Journal of automated reasoning

Citation: L.wos, Basic Research Problems: The Problem of Demodulator Adjunction, Journal of automated reasoning , 9(2), 1992, pp. 289-290

Results: 1-25 | 26-40