ITA
ENG

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

Articles table of contents

Results : 51-75/290

Automatic Discovery of Theorems in Elementary Geometry

Authors: T.Recio,M.P.Velez

Journal: Journal of automated reasoning

Citation: T.recio,m.p.velez, Automatic Discovery of Theorems in Elementary Geometry, Journal of automated reasoning , 23(1), 1999, pp. 63-82

Recursive Program Optimization through Inductive Synthesis Proof Transformation

Authors: P.Madden,A.Bundy,A.Smaill

Journal: Journal of automated reasoning

Citation: P.madden,a.bundy,a.smaill, Recursive Program Optimization through Inductive Synthesis Proof Transformation, Journal of automated reasoning , 22(1), 1999, pp. 65-115

Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems

Authors: C.P.Gomes,B.Selman,N.Crato,H.Kautz

Journal: Journal of automated reasoning

Citation: C.p.gomes,b.selman,n.crato,h.kautz, Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems, Journal of automated reasoning , 24(1/2), 2000, pp. 67-100

Autoepistemic Logic of First Order and Its Expressive Power

Authors: L.Y.Yuan

Journal: Journal of automated reasoning

Citation: L.y.yuan, Autoepistemic Logic of First Order and Its Expressive Power, Journal of automated reasoning , 13(1), 1994, pp. 69-82

Commonsense and Nonmonotonic Reasoning: Mechanical Verification of Strategies

Authors: S.Subramanian

Journal: Journal of automated reasoning

Citation: S.subramanian, Commonsense and Nonmonotonic Reasoning: Mechanical Verification of Strategies, Journal of automated reasoning , 15(1), 1995, pp. 69-93

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

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

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

What Holds in a Context?

Authors: F.Corella

Journal: Journal of automated reasoning

Citation: F.corella, What Holds in a Context?, Journal of automated reasoning , 10(1), 1993, pp. 79-94

Productive Use of Failure in Inductive Proof

Authors: A.Ireland,A.Bundy

Journal: Journal of automated reasoning

Citation: A.ireland,a.bundy, Productive Use of Failure in Inductive Proof, Journal of automated reasoning , 16(1;2), 1996, pp. 79-111

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

On the Termination of Clause Graph Resolution

Authors: C.A.Johnson

Journal: Journal of automated reasoning

Citation: C.a.johnson, On the Termination of Clause Graph Resolution, Journal of automated reasoning , 13(1), 1994, pp. 83-116

The Semantics of Answer Literals

Authors: K.Kunen

Journal: Journal of automated reasoning

Citation: K.kunen, The Semantics of Answer Literals, Journal of automated reasoning , 17(1), 1996, pp. 83-96

Separability of Polihedra for Optimal Filtering of Spatial and Contraint Data

Authors: A.Brodsky,C.Lassez,J-L.Lassez,M.J.Maher

Journal: Journal of automated reasoning

Citation: A.brodsky,c.lassez,j-l.lassez,m.j.maher, Separability of Polihedra for Optimal Filtering of Spatial and Contraint Data, Journal of automated reasoning , 23(1), 1999, pp. 83-104

Vectorial Equations Solving for Mechanical Geometry Theorem Proving

Authors: H.Li

Journal: Journal of automated reasoning

Citation: H.li, Vectorial Equations Solving for Mechanical Geometry Theorem Proving, Journal of automated reasoning , 25(2), 2000, pp. 83-121

Bounded-Overhead Caching for Definite-Clause Theorem Proving

Authors: A.Segre,D.Scharstein

Journal: Journal of automated reasoning

Citation: A.segre,d.scharstein, Bounded-Overhead Caching for Definite-Clause Theorem Proving, Journal of automated reasoning , 11(1), 1993, pp. 83-114

Partial Functions in a Total setting

Authors: S.Finn,M.P.fourman,J.Longley

Journal: Journal of automated reasoning

Citation: S.finn,m.p.fourman,j.longley, Partial Functions in a Total setting, Journal of automated reasoning , 18(1), 1997, pp. 85-104

Single Versus Simultaneous Equational Unification and Equational unification for Variable-Permuting Theories

Authors: P.Narendran,F.Otto

Journal: Journal of automated reasoning

Citation: P.narendran,f.otto, Single Versus Simultaneous Equational Unification and Equational unification for Variable-Permuting Theories, Journal of automated reasoning , 19(1), 1997, pp. 87-115

Tractability Through Symmetries in Propositional Calculus

Authors: B.Benhamou,L.Sais

Journal: Journal of automated reasoning

Citation: B.benhamou,l.sais, Tractability Through Symmetries in Propositional Calculus, Journal of automated reasoning , 12(1), 1994, pp. 89-102

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

Commonsense and Nonmonotonic Reasoning: A Logic Programming System for Nonmonotonic Reasoning

Authors: J.J.Alferes,C.V.Damasio,L.M.Pereira

Journal: Journal of automated reasoning

Citation: J.j.alferes,c.v.damasio,l.m.pereira, Commonsense and Nonmonotonic Reasoning: A Logic Programming System for Nonmonotonic Reasoning, Journal of automated reasoning , 14(1), 1995, pp. 93-147

Commonsense and Nonmonotonic Reasoning: A New Methodology for Query Answering in Default Logics via Structure-Oriented Theorem Proving

Authors: T.I.Schaub

Journal: Journal of automated reasoning

Citation: T.i.schaub, Commonsense and Nonmonotonic Reasoning: A New Methodology for Query Answering in Default Logics via Structure-Oriented Theorem Proving, Journal of automated reasoning , 15(1), 1995, pp. 95-165

Flatterms, Discrimination Nets, and Fast Term Rewriting

Authors: J.Christian

Journal: Journal of automated reasoning

Citation: J.christian, Flatterms, Discrimination Nets, and Fast Term Rewriting, Journal of automated reasoning , 10(1), 1993, pp. 95-114

A Simple and Efficient Boolean Solver for Constraint Logic Programming

Authors: P.codognet,D.Diaz

Journal: Journal of automated reasoning

Citation: P.codognet,d.diaz, A Simple and Efficient Boolean Solver for Constraint Logic Programming, Journal of automated reasoning , 17(1), 1996, pp. 97-129

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

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