ITA
ENG

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

Articles table of contents

Results : 26-50/290

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

The Inevitability of Inconsistent Abstract Spaces

Authors: F.Giunchiglia,T.Walsh

Journal: Journal of automated reasoning

Citation: F.giunchiglia,t.walsh, The Inevitability of Inconsistent Abstract Spaces, Journal of automated reasoning , 11(1), 1993, pp. 23-42

Testing Positiveness of Polynomials

Authors: H.Hong,D.Jakus

Journal: Journal of automated reasoning

Citation: H.hong,d.jakus, Testing Positiveness of Polynomials, Journal of automated reasoning , 21(1), 1998, pp. 23-38

A Correct Logic Programming Computation of Default Logic Extensions

Authors: G.Antoniou,E.Langetepe

Journal: Journal of automated reasoning

Citation: G.antoniou,e.langetepe, A Correct Logic Programming Computation of Default Logic Extensions, Journal of automated reasoning , 18(1), 1997, pp. 25-46

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

Completion for Multiple Reduction Orderings

Authors: M.Kurihara

Journal: Journal of automated reasoning

Citation: M.kurihara, Completion for Multiple Reduction Orderings, Journal of automated reasoning , 23(1), 1999, pp. 25-42

Logic for Artificial Intelligence: Semantic Generalizations for Proving and Disproving Conjectures by Analogy

Authors: G.Defourneaux,C.Bourely,N.Peltier

Journal: Journal of automated reasoning

Citation: G.defourneaux,c.bourely,n.peltier, Logic for Artificial Intelligence: Semantic Generalizations for Proving and Disproving Conjectures by Analogy, Journal of automated reasoning , 20(1/2), 1998, pp. 27-45

Deduction Trees and the View Update Problem in Indefinite Deductive Databases

Authors: C.A.Johnson

Journal: Journal of automated reasoning

Citation: C.a.johnson, Deduction Trees and the View Update Problem in Indefinite Deductive Databases, Journal of automated reasoning , 19(1), 1997, pp. 31-85

Introduction to the OBDD Algorithm for the ATP Community

Authors: J.S.Moore

Journal: Journal of automated reasoning

Citation: J.s.moore, Introduction to the OBDD Algorithm for the ATP Community, Journal of automated reasoning , 12(1), 1994, pp. 33-46

Autoepistemic Logic Programming

Authors: P.A.Bonatti

Journal: Journal of automated reasoning

Citation: P.a.bonatti, Autoepistemic Logic Programming, Journal of automated reasoning , 13(1), 1994, pp. 35-68

Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation

Authors: F.Bry,A.Yahya

Journal: Journal of automated reasoning

Citation: F.bry,a.yahya, Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation, Journal of automated reasoning , 25(1), 2000, pp. 35-82

Relaxations of the Satisfiability Problem Using Semidefinite Programming

Authors: E.De Klerk",H.V.Maaren,J.P.Warners

Journal: Journal of automated reasoning

Citation: E.de Klerk",h.v.maaren,j.p.warners, Relaxations of the Satisfiability Problem Using Semidefinite Programming, Journal of automated reasoning , 24(1/2), 2000, pp. 37-65

A Framework for Automated Reasoning in Multiple-Valued Logics

Authors: J.J.Lu,N.V.Murray,E.Rosenthal

Journal: Journal of automated reasoning

Citation: J.j.lu,n.v.murray,e.rosenthal, A Framework for Automated Reasoning in Multiple-Valued Logics, Journal of automated reasoning , 21(1), 1998, pp. 39-67

New Uses of Linear Arithmetic in Automated Theorem Proving by Induction

Authors: D.Kapur,M.Subramaniam

Journal: Journal of automated reasoning

Citation: D.kapur,m.subramaniam, New Uses of Linear Arithmetic in Automated Theorem Proving by Induction, Journal of automated reasoning , 16(1;2), 1996, pp. 39-78

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

Commonsense and Nonmonotonic Reasoning: Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic

Authors: F.Baader,B.Hollunder

Journal: Journal of automated reasoning

Citation: F.baader,b.hollunder, Commonsense and Nonmonotonic Reasoning: Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic, Journal of automated reasoning , 15(1), 1995, pp. 41-68

The Tail-Recursive SECD Maachine

Authors: J.D.Ramsdell

Journal: Journal of automated reasoning

Citation: J.d.ramsdell, The Tail-Recursive SECD Maachine, Journal of automated reasoning , 23(1), 1999, pp. 43-62

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

Implementing Tactics and Tacticals in a Higher-Order Logic Programming Language

Authors: A.Felty

Journal: Journal of automated reasoning

Citation: A.felty, Implementing Tactics and Tacticals in a Higher-Order Logic Programming Language, Journal of automated reasoning , 11(1), 1993, pp. 43-82

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

An Algorithm for General Set Unification and Its Complexity

Authors: F.Stolzenburg

Journal: Journal of automated reasoning

Citation: F.stolzenburg, An Algorithm for General Set Unification and Its Complexity, Journal of automated reasoning , 22(1), 1999, pp. 45-63

Fast Subsumption Checks Using Anti-Links

Authors: A.Ramesh,B.Beckert,R.Hahnle,N.V.Murray

Journal: Journal of automated reasoning

Citation: A.ramesh,b.beckert,r.hahnle,n.v.murray, Fast Subsumption Checks Using Anti-Links, Journal of automated reasoning , 18(1), 1997, pp. 47-83

A Tree-Structured Modified Problem Reduction Proof Procedure and Its Extension to Three-Valued Logic

Authors: T.Mellouli

Journal: Journal of automated reasoning

Citation: T.mellouli, A Tree-Structured Modified Problem Reduction Proof Procedure and Its Extension to Three-Valued Logic, Journal of automated reasoning , 12(1), 1994, pp. 47-88

Logic for Artificial Intelligence: What You Always Wanted to Know about Rigid E-Unification

Authors: A.Degtyarev,A.Voronkov

Journal: Journal of automated reasoning

Citation: A.degtyarev,a.voronkov, Logic for Artificial Intelligence: What You Always Wanted to Know about Rigid E-Unification, Journal of automated reasoning , 20(1/2), 1998, pp. 47-80

Fuzzy Operator Logic and Fuzzy Resolution

Authors: T.J.Weigert,J.P.Tsai,X.Liu

Journal: Journal of automated reasoning

Citation: T.j.weigert,j.p.tsai,x.liu, Fuzzy Operator Logic and Fuzzy Resolution, Journal of automated reasoning , 10(1), 1993, pp. 59-78

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