ITA
ENG

Results: 1-25 | 26-30

Articles table of contents

Results : 1-25/30

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

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

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

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

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

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

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

Nonconstructive Computational Mathematics

Authors: K.Kunen

Journal: Journal of automated reasoning

Citation: K.kunen, Nonconstructive Computational Mathematics, Journal of automated reasoning , 21(1), 1998, pp. 69-97

Logic for Artificial Intelligence: Strategies in Model-Based Diagnosis

Authors: P.Frohlich,W.Nejdl,M.Schroeder

Journal: Journal of automated reasoning

Citation: P.frohlich,w.nejdl,m.schroeder, Logic for Artificial Intelligence: Strategies in Model-Based Diagnosis, Journal of automated reasoning , 20(1/2), 1998, pp. 81-105

The CADE-14 ATP System Competition

Authors: C.Suttner,G.Sutcliffe

Journal: Journal of automated reasoning

Citation: C.suttner,g.sutcliffe, The CADE-14 ATP System Competition, Journal of automated reasoning , 21(1), 1998, pp. 99-134

Logic for Artificial Intelligence: 'Classical' Negation in Nonmonotonic Reasoning and Logic Programming

Authors: J.J.Alferes,L.M.Pereira,T.C.Przymusinski

Journal: Journal of automated reasoning

Citation: J.j.alferes,l.m.pereira,t.c.przymusinski, Logic for Artificial Intelligence: 'Classical' Negation in Nonmonotonic Reasoning and Logic Programming, Journal of automated reasoning , 20(1/2), 1998, pp. 107-142

Automating the Search for Elegant Proofs

Authors: L.Wos

Journal: Journal of automated reasoning

Citation: L.wos, Automating the Search for Elegant Proofs, Journal of automated reasoning , 21(2), 1998, pp. 135-175

Logic for Artificial Intelligence: Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA

Authors: S.Brass,J.Dix

Journal: Journal of automated reasoning

Citation: S.brass,j.dix, Logic for Artificial Intelligence: Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA, Journal of automated reasoning , 20(1/2), 1998, pp. 143-165

Logic for Artificial Intelligence: Informational Logic as Tool for Automated Reasoning

Authors: P.Forcheri,P.Gentilini,M.T.Molfino

Journal: Journal of automated reasoning

Citation: P.forcheri,p.gentilini,m.t.molfino, Logic for Artificial Intelligence: Informational Logic as Tool for Automated Reasoning, Journal of automated reasoning , 20(1/2), 1998, pp. 167-190

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

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

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

Studies in Automated Reasoning: Subgoal Strategies for Solving Board Puzzles

Authors: G.Huang,D.Myers

Journal: Journal of automated reasoning

Citation: G.huang,d.myers, Studies in Automated Reasoning: Subgoal Strategies for Solving Board Puzzles, Journal of automated reasoning , 20(3), 1998, pp. 215-253

Automated Synthesis of Recursive Programs from a V-) Logical Specification

Authors: J.Chazarain,S.Muller

Journal: Journal of automated reasoning

Citation: J.chazarain,s.muller, Automated Synthesis of Recursive Programs from a V-) Logical Specification, Journal of automated reasoning , 21(2), 1998, pp. 233-275

The Heine-Borel Challenge Problem. In Honor of Woody Bledsoe

Authors: E.Melis

Journal: Journal of automated reasoning

Citation: E.melis, The Heine-Borel Challenge Problem. In Honor of Woody Bledsoe, Journal of automated reasoning , 20(3), 1998, pp. 255-282

Preface

Authors: D.Kapur,D.Wang

Journal: Journal of automated reasoning

Citation: D.kapur,d.wang, Preface, Journal of automated reasoning , 21(3), 1998, pp. 277-278

A Skeptic's Approach to Combining HOL and Maple

Authors: J.Harrison,L.Thery

Journal: Journal of automated reasoning

Citation: J.harrison,l.thery, A Skeptic's Approach to Combining HOL and Maple, Journal of automated reasoning , 21(3), 1998, pp. 279-294

Shortest Single Axioms for the equivalential Calculus with CD and RCD

Authors: K.Hodgson

Journal: Journal of automated reasoning

Citation: K.hodgson, Shortest Single Axioms for the equivalential Calculus with CD and RCD, Journal of automated reasoning , 20(3), 1998, pp. 283-316

Analytica-An Experiment in Combining Theorem Proving and Symbolic Computation

Authors: A.Bauer,E.Clarke,X.Zhao

Journal: Journal of automated reasoning

Citation: A.bauer,e.clarke,x.zhao, Analytica-An Experiment in Combining Theorem Proving and Symbolic Computation, Journal of automated reasoning , 21(3), 1998, pp. 295-325

Elimination of Self-Resolving Clauses

Authors: H.J.Ohlbach

Journal: Journal of automated reasoning

Citation: H.j.ohlbach, Elimination of Self-Resolving Clauses, Journal of automated reasoning , 20(3), 1998, pp. 317-336

Results: 1-25 | 26-30