ITA
ENG

Results: << | 101-125 | 126-150 | 151-175 | 176-200 | >>

Articles table of contents

Results : 126-150/290

Automated Reasoning With Analytic Tableaux: Preface to the Special Issue on Tableaux

Authors: G.Wrightson

Journal: Journal of automated reasoning

Citation: G.wrightson, Automated Reasoning With Analytic Tableaux: Preface to the Special Issue on Tableaux, Journal of automated reasoning , 13(2), 1994, pp. 173-174

Structuring Resolution Proffs by Introducing New Lemmata

Authors: K.Horwein

Journal: Journal of automated reasoning

Citation: K.horwein, Structuring Resolution Proffs by Introducing New Lemmata, Journal of automated reasoning , 19(2), 1997, pp. 173-203

Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method: Part II.Mechanical Theorem Proving

Authors: S-C.Chou,X-S.Gao

Journal: Journal of automated reasoning

Citation: S-c.chou,x-s.gao, Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method: Part II.Mechanical Theorem Proving, Journal of automated reasoning , 10(2), 1993, pp. 173-190

Automated Reasoning With Analytic Tableaux: Tableaux for Logic Programming

Authors: M.Fitting

Journal: Journal of automated reasoning

Citation: M.fitting, Automated Reasoning With Analytic Tableaux: Tableaux for Logic Programming, Journal of automated reasoning , 13(2), 1994, pp. 175-188

CLIN-E.Smallest Instance First Hyper-Linking

Authors: G.D.Alexander

Journal: Journal of automated reasoning

Citation: G.d.alexander, CLIN-E.Smallest Instance First Hyper-Linking, Journal of automated reasoning , 18(2), 1997, pp. 177-182

The TPTP Problem Library-CNF Realease v1.2.1

Authors: G.Sutcliffe,C.Suttner

Journal: Journal of automated reasoning

Citation: G.sutcliffe,c.suttner, The TPTP Problem Library-CNF Realease v1.2.1, Journal of automated reasoning , 21(2), 1998, pp. 177-203

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

Interaction with the Boyer-Moore Theorem Prover: A Tutorial Study Using the Arithmetic-Geometric mean Theorem

Authors: M.Kaufmann,P.Pecchiari

Journal: Journal of automated reasoning

Citation: M.kaufmann,p.pecchiari, Interaction with the Boyer-Moore Theorem Prover: A Tutorial Study Using the Arithmetic-Geometric mean Theorem, Journal of automated reasoning , 16(1;2), 1996, pp. 181-222

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

CLIN-S.A Semantically Guided First-Order Theorem Prover

Authors: H.Chu,D.A.Plaisted

Journal: Journal of automated reasoning

Citation: H.chu,d.a.plaisted, CLIN-S.A Semantically Guided First-Order Theorem Prover, Journal of automated reasoning , 18(2), 1997, pp. 183-188

Competing for the AC-Unification Race

Authors: A.Boudet

Journal: Journal of automated reasoning

Citation: A.boudet, Competing for the AC-Unification Race, Journal of automated reasoning , 11(2), 1993, pp. 185-212

Implicit Induction in Conditional Theories

Authors: A.Bouhoula,M.Rusinowitch

Journal: Journal of automated reasoning

Citation: A.bouhoula,m.rusinowitch, Implicit Induction in Conditional Theories, Journal of automated reasoning , 14(2), 1995, pp. 189-235

DISCOUNT.A Distribuited and Learning Equational Prover

Authors: J.Denzinger,M.Kronenburg,S.Schulz

Journal: Journal of automated reasoning

Citation: J.denzinger,m.kronenburg,s.schulz, DISCOUNT.A Distribuited and Learning Equational Prover, Journal of automated reasoning , 18(2), 1997, pp. 189-198

Automated Reasoning With Analytic Tableaux: Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction

Authors: M.E.Stickel

Journal: Journal of automated reasoning

Citation: M.e.stickel, Automated Reasoning With Analytic Tableaux: Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction, Journal of automated reasoning , 13(2), 1994, pp. 189-210

Logic for Artificial Intelligence: Signed Systems for Paraconsistent Reasoning

Authors: PH.Besnard,T.Schaub

Journal: Journal of automated reasoning

Citation: Ph.besnard,t.schaub, Logic for Artificial Intelligence: Signed Systems for Paraconsistent Reasoning, Journal of automated reasoning , 20(1/2), 1998, pp. 191-213

A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases

Authors: R.NG,V.S.Subrahmanian

Journal: Journal of automated reasoning

Citation: R.ng,v.s.subrahmanian, A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases, Journal of automated reasoning , 10(2), 1993, pp. 191-236

On Equivalents of Well-Foundedness

Authors: P.Rudnicki

Journal: Journal of automated reasoning

Citation: P.rudnicki, On Equivalents of Well-Foundedness, Journal of automated reasoning , 23(3/4), 1999, pp. 197-234

On The Completeness of SLDENF-Resolution

Authors: M.Thielscher

Journal: Journal of automated reasoning

Citation: M.thielscher, On The Completeness of SLDENF-Resolution, Journal of automated reasoning , 17(2), 1996, pp. 199-214

Gandalf

Authors: T.Tammel

Journal: Journal of automated reasoning

Citation: T.tammel, Gandalf, Journal of automated reasoning , 18(2), 1997, pp. 199-204

A Disjunctive Positive Refinement of Model Elimination and Its Application to Subsumption Deletion

Authors: P.Baumgartner,S.Bruning

Journal: Journal of automated reasoning

Citation: P.baumgartner,s.bruning, A Disjunctive Positive Refinement of Model Elimination and Its Application to Subsumption Deletion, Journal of automated reasoning , 19(2), 1997, pp. 205-262

Proof Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification

Authors: A.Voronkov

Journal: Journal of automated reasoning

Citation: A.voronkov, Proof Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification, Journal of automated reasoning , 21(2), 1998, pp. 205-231

Guided Local Search for Solving SAT and Weighted MAX-SAT Problems

Authors: P.Mills,E.Tsang

Journal: Journal of automated reasoning

Citation: P.mills,e.tsang, Guided Local Search for Solving SAT and Weighted MAX-SAT Problems, Journal of automated reasoning , 24(1/2), 2000, pp. 205-223

Linus.A Link Instantiation Prover with Unit Support

Authors: R.Lentz

Journal: Journal of automated reasoning

Citation: R.lentz, Linus.A Link Instantiation Prover with Unit Support, Journal of automated reasoning , 18(2), 1997, pp. 205-210

Unification in Partially Commutative Semigroups

Authors: E.K.Burke

Journal: Journal of automated reasoning

Citation: E.k.burke, Unification in Partially Commutative Semigroups, Journal of automated reasoning , 12(2), 1994, pp. 209-224

Automated Reasoning With Analytic Tableaux: The Liberalized delta-Rule in Free Variable Semantic Tableaux

Authors: R.Hahnle

Journal: Journal of automated reasoning

Citation: R.hahnle, Automated Reasoning With Analytic Tableaux: The Liberalized delta-Rule in Free Variable Semantic Tableaux, Journal of automated reasoning , 13(2), 1994, pp. 211-222

Results: << | 101-125 | 126-150 | 151-175 | 176-200 | >>