ITA
ENG

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

Articles table of contents

Results : 101-125/290

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

Toupie: The u-calculus over Finite Domains as Constaint Language

Authors: M.M.Corsini,A.Rauzy

Journal: Journal of automated reasoning

Citation: M.m.corsini,a.rauzy, Toupie: The u-calculus over Finite Domains as Constaint Language, Journal of automated reasoning , 19(2), 1997, pp. 143-171

Autoepistemic Circumscription and Logic Programming

Authors: L.Y.Yuan,J-H.You

Journal: Journal of automated reasoning

Citation: L.y.yuan,j-h.you, Autoepistemic Circumscription and Logic Programming, Journal of automated reasoning , 10(2), 1993, pp. 143-160

An Alternative Approach to the Semantics of Disjunctive Logic Programs and Deductive Databases

Authors: C.Sakama,K.Inoue

Journal: Journal of automated reasoning

Citation: C.sakama,k.inoue, An Alternative Approach to the Semantics of Disjunctive Logic Programs and Deductive Databases, Journal of automated reasoning , 13(1), 1994, pp. 145-170

Proving Consistency Assertions for Automotive Product Data Management

Authors: W.Kuchlin,C.Sinz

Journal: Journal of automated reasoning

Citation: W.kuchlin,c.sinz, Proving Consistency Assertions for Automotive Product Data Management, Journal of automated reasoning , 24(1/2), 2000, pp. 145-163

Some Group Theoretic Examples with Completion theorem Provers

Authors: S.Linton,D.Shand

Journal: Journal of automated reasoning

Citation: S.linton,d.shand, Some Group Theoretic Examples with Completion theorem Provers, Journal of automated reasoning , 17(2), 1996, pp. 145-169

Note on McCune's Article on Discrimination Trees

Authors: L.Wos

Journal: Journal of automated reasoning

Citation: L.wos, Note on McCune's Article on Discrimination Trees, Journal of automated reasoning , 9(2), 1992, pp. 145-146

Experiments with Discrimination-Tree Indexing and Path Indexing for Term Retrieval

Authors: W.McCune

Journal: Journal of automated reasoning

Citation: W.mccune, Experiments with Discrimination-Tree Indexing and Path Indexing for Term Retrieval, Journal of automated reasoning , 9(2), 1992, pp. 147-168

A Calculus For and Termination of Rippling

Authors: D.A.Basin,T.Walsh

Journal: Journal of automated reasoning

Citation: D.a.basin,t.walsh, A Calculus For and Termination of Rippling, Journal of automated reasoning , 16(1;2), 1996, pp. 147-180

Basic Research Problems: The Problem of Naming and Function Replacement

Authors: L.Wos

Journal: Journal of automated reasoning

Citation: L.wos, Basic Research Problems: The Problem of Naming and Function Replacement, Journal of automated reasoning , 11(1), 1993, pp. 147-148

Commonsense and Nonmonotonic Reasoning: Embedding Defaults into Terminological Knowledge Representation Formalism

Authors: F.Baader,B.Hollunder

Journal: Journal of automated reasoning

Citation: F.baader,b.hollunder, Commonsense and Nonmonotonic Reasoning: Embedding Defaults into Terminological Knowledge Representation Formalism, Journal of automated reasoning , 14(1), 1995, pp. 149-180

An Efficient Algorithm to Generate Prime Implicants

Authors: A.K.Shiny,A.K.Pujari

Journal: Journal of automated reasoning

Citation: A.k.shiny,a.k.pujari, An Efficient Algorithm to Generate Prime Implicants, Journal of automated reasoning , 22(2), 1999, pp. 149-170

Word Unification and Trasformation of Generalized Equations

Authors: K.U.Schulz

Journal: Journal of automated reasoning

Citation: K.u.schulz, Word Unification and Trasformation of Generalized Equations, Journal of automated reasoning , 11(2), 1993, pp. 149-184

PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses

Authors: S.Bose,E.M.Clarke,D.E.Long,S.Michaylov

Journal: Journal of automated reasoning

Citation: S.bose,e.m.clarke,d.e.long,s.michaylov, PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses, Journal of automated reasoning , 8(2), 1992, pp. 153-182

A Model-Based Belief Revision System

Authors: T.S.C.Chou,M.Winslett

Journal: Journal of automated reasoning

Citation: T.s.c.chou,m.winslett, A Model-Based Belief Revision System, Journal of automated reasoning , 12(2), 1994, pp. 157-208

Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method: Part I.An Improved Version of Ritt-Wu's Decomposition Algorithm

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 I.An Improved Version of Ritt-Wu's Decomposition Algorithm, Journal of automated reasoning , 10(2), 1993, pp. 161-172

The Procedures of The CADE-13 ATP System Competition

Authors: G.Sutcliffe,C.Suttner

Journal: Journal of automated reasoning

Citation: G.sutcliffe,c.suttner, The Procedures of The CADE-13 ATP System Competition, Journal of automated reasoning , 18(2), 1997, pp. 163-169

Logical Cryptanalisys as a SAT Problem

Authors: F.Massacci,L.Marraro

Journal: Journal of automated reasoning

Citation: F.massacci,l.marraro, Logical Cryptanalisys as a SAT Problem, Journal of automated reasoning , 24(1/2), 2000, pp. 165-203

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

Set Theory for Verification.II:Induction and Recursion

Authors: L.C.Paulson

Journal: Journal of automated reasoning

Citation: L.c.paulson, Set Theory for Verification.II:Induction and Recursion, Journal of automated reasoning , 15(2), 1995, pp. 167-215

Ordered Semantic Hyper-Linking

Authors: D.A.Plaisted,Y.Zhu

Journal: Journal of automated reasoning

Citation: D.a.plaisted,y.zhu, Ordered Semantic Hyper-Linking, Journal of automated reasoning , 25(3), 2000, pp. 167-217

Hilbert's Tenth Problem is of Unification Type Zero

Authors: M.Franzen

Journal: Journal of automated reasoning

Citation: M.franzen, Hilbert's Tenth Problem is of Unification Type Zero, Journal of automated reasoning , 9(2), 1992, pp. 169-178

Model Theoretic Approach to View Updates in deductive Databases

Authors: J.A.Fernandez,J.Grant,J.Minker

Journal: Journal of automated reasoning

Citation: J.a.fernandez,j.grant,j.minker, Model Theoretic Approach to View Updates in deductive Databases, Journal of automated reasoning , 17(2), 1996, pp. 171-197

Barcelona

Authors: R.Nieuwenhuis,J.M.Rivero,M.A.Vallejo

Journal: Journal of automated reasoning

Citation: R.nieuwenhuis,j.m.rivero,m.a.vallejo, Barcelona, Journal of automated reasoning , 18(2), 1997, pp. 171-176

Metalogical Frameworks II: Developing a Reflected Decision Procedure

Authors: W.E.Aitken,R.L.Constable,J.L.Underwood

Journal: Journal of automated reasoning

Citation: W.e.aitken,r.l.constable,j.l.underwood, Metalogical Frameworks II: Developing a Reflected Decision Procedure, Journal of automated reasoning , 22(2), 1999, pp. 171-221

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