ITA
ENG

Results: 1-25 | 26-50 | 51-75 | 76-100 | >>

Articles table of contents

Results : 1-25/290

The Hot List Strategy

Authors: L.Wos,G.W.Pieper

Journal: Journal of automated reasoning

Citation: L.wos,g.w.pieper, The Hot List Strategy, Journal of automated reasoning , 22(1), 1999, pp. 1-44

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

Logic for Artificial Intelligence: Preface

Authors: J.J.Alferes,L.M.Pereira

Journal: Journal of automated reasoning

Citation: J.j.alferes,l.m.pereira, Logic for Artificial Intelligence: Preface, Journal of automated reasoning , 20(1/2), 1998, pp. 1-3

Satisfability in the Year 2000

Authors: I.P.Gent,T.Walsh

Journal: Journal of automated reasoning

Citation: I.p.gent,t.walsh, Satisfability in the Year 2000, Journal of automated reasoning , 24(1/2), 2000, pp. 1-3

Resolving Cantradictions: A Plausible Semantics for Inconsistent Systems

Authors: E.L.Lozinskii

Journal: Journal of automated reasoning

Citation: E.l.lozinskii, Resolving Cantradictions: A Plausible Semantics for Inconsistent Systems, Journal of automated reasoning , 12(1), 1994, pp. 1-32

Efficient Algorithms to Detect and Restore Minimality, an Extension of Regular Restriction of Resolution

Authors: B.Spencer,J.D.Horton

Journal: Journal of automated reasoning

Citation: B.spencer,j.d.horton, Efficient Algorithms to Detect and Restore Minimality, an Extension of Regular Restriction of Resolution, Journal of automated reasoning , 25(1), 2000, pp. 1-34

Commonsense and Nonmonotonic Reasoning: Default Reasoning by Deductive Planning

Authors: M.Thielscher,T.Schaub

Journal: Journal of automated reasoning

Citation: M.thielscher,t.schaub, Commonsense and Nonmonotonic Reasoning: Default Reasoning by Deductive Planning, Journal of automated reasoning , 15(1), 1995, pp. 1-40

Termination of Nested and Mutually Recursive Algorithms

Authors: J.Giesl

Journal: Journal of automated reasoning

Citation: J.giesl, Termination of Nested and Mutually Recursive Algorithms, Journal of automated reasoning , 19(1), 1997, pp. 1-29

Clifford Algebraic Reduction method for Automated Theorem Proving in Differential Geometry

Authors: L.Hongbo,C.Minteh

Journal: Journal of automated reasoning

Citation: L.hongbo,c.minteh, Clifford Algebraic Reduction method for Automated Theorem Proving in Differential Geometry, Journal of automated reasoning , 21(1), 1998, pp. 1-21

The CADE-15 ATP System Competition

Authors: G.Sutcliffe,C.B.Suttner

Journal: Journal of automated reasoning

Citation: G.sutcliffe,c.b.suttner, The CADE-15 ATP System Competition, Journal of automated reasoning , 23(1), 1999, pp. 1-23

A Tribute to Woody Bledsoe

Authors: L.Hines

Journal: Journal of automated reasoning

Citation: L.hines, A Tribute to Woody Bledsoe, Journal of automated reasoning , 18(1), 1997, pp. 1-4

Commonsense and Nonmonotonic Reasoning: Preface to the special Issue on Commonsense and Nonmonotonic Reasoning

Authors: I.Niemela

Journal: Journal of automated reasoning

Citation: I.niemela, Commonsense and Nonmonotonic Reasoning: Preface to the special Issue on Commonsense and Nonmonotonic Reasoning, Journal of automated reasoning , 14(1), 1995, pp. 1-2

Constructing Finite Algebras with FALCON

Authors: J.Zhang

Journal: Journal of automated reasoning

Citation: J.zhang, Constructing Finite Algebras with FALCON, Journal of automated reasoning , 17(1), 1996, pp. 1-22

Studies in Automated Reasoning: Single Axioms for Groups and Abelian Groups with Various Operations

Authors: W.W.McCune

Journal: Journal of automated reasoning

Citation: W.w.mccune, Studies in Automated Reasoning: Single Axioms for Groups and Abelian Groups with Various Operations, Journal of automated reasoning , 10(1), 1993, pp. 1-14

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

Parallelization of Deduction Strategies: An Analytical Study

Authors: M.P.Bonacina,J.Hsiang

Journal: Journal of automated reasoning

Citation: M.p.bonacina,j.hsiang, Parallelization of Deduction Strategies: An Analytical Study, Journal of automated reasoning , 13(1), 1994, pp. 1-34

Backchain Interation: Towards a Practical Inference Method That Is Simple Enough to Be Proved Terminating, Sound, and Complete

Authors: A.Walker

Journal: Journal of automated reasoning

Citation: A.walker, Backchain Interation: Towards a Practical Inference Method That Is Simple Enough to Be Proved Terminating, Sound, and Complete, Journal of automated reasoning , 11(1), 1993, pp. 1-22

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

Commonsense and Nonmonotonic Reasoning: A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning

Authors: M.L.Ginsberg

Journal: Journal of automated reasoning

Citation: M.l.ginsberg, Commonsense and Nonmonotonic Reasoning: A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning, Journal of automated reasoning , 14(1), 1995, pp. 3-42

Induction Using Term Orders

Authors: F.Bronsard,U.S.Reddy

Journal: Journal of automated reasoning

Citation: F.bronsard,u.s.reddy, Induction Using Term Orders, Journal of automated reasoning , 16(1;2), 1996, pp. 3-37

Logic for Artificial Intelligence: An Algorithm for the Retrieval of Unifiers from Discrimination Trees

Authors: H.De Nivelle

Journal: Journal of automated reasoning

Citation: H.de Nivelle, Logic for Artificial Intelligence: An Algorithm for the Retrieval of Unifiers from Discrimination Trees, Journal of automated reasoning , 20(1/2), 1998, pp. 5-25

A New Probabilistic Induction Method

Authors: R.H.Hou,T.P.Hong,S.S.Tseng,S.Y.Kou

Journal: Journal of automated reasoning

Citation: R.h.hou,t.p.hong,s.s.tseng,s.y.kou, A New Probabilistic Induction Method, Journal of automated reasoning , 18(1), 1997, pp. 5-24

A SAT Solver Using Reconfigurable Hardware and Virtual Logic

Authors: M.Abramovici,"J.T.De Sousa

Journal: Journal of automated reasoning

Citation: M.abramovici,"j.t.de Sousa, A SAT Solver Using Reconfigurable Hardware and Virtual Logic, Journal of automated reasoning , 24(1/2), 2000, pp. 5-36

Experimenting with Isabelle in ZF Set Theory

Authors: P.A.J.Noel

Journal: Journal of automated reasoning

Citation: P.a.j.noel, Experimenting with Isabelle in ZF Set Theory, Journal of automated reasoning , 10(1), 1993, pp. 15-58

the Power of Combining Resonance with Heat

Authors: L.Wos

Journal: Journal of automated reasoning

Citation: L.wos, the Power of Combining Resonance with Heat, Journal of automated reasoning , 17(1), 1996, pp. 23-81

Results: 1-25 | 26-50 | 51-75 | 76-100 | >>