AAAAAA
Results: 126-150/290
Authors:
G.Wrightson
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
Authors:
K.Horwein
Citation: K.horwein, Structuring Resolution Proffs by Introducing New Lemmata, Journal of automated reasoning , 19(2), 1997, pp. 173-203
Authors:
S-C.Chou,X-S.Gao
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
Authors:
M.Fitting
Citation: M.fitting, Automated Reasoning With Analytic Tableaux: Tableaux for Logic Programming, Journal of automated reasoning , 13(2), 1994, pp. 175-188
Authors:
G.D.Alexander
Citation: G.d.alexander, CLIN-E.Smallest Instance First Hyper-Linking, Journal of automated reasoning , 18(2), 1997, pp. 177-182
Authors:
G.Sutcliffe,C.Suttner
Citation: G.sutcliffe,c.suttner, The TPTP Problem Library-CNF Realease v1.2.1, Journal of automated reasoning , 21(2), 1998, pp. 177-203
Authors:
M.Kifer,E.L.Lozinskii
Citation: M.kifer,e.l.lozinskii, A Logic for Reasoning with Inconsistency, Journal of automated reasoning , 9(2), 1992, pp. 179-216
Authors:
M.Kaufmann,P.Pecchiari
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
Authors:
R.Lentz,J.Schumann,S.Bayerl,W.Bibel
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
Authors:
H.Chu,D.A.Plaisted
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
Authors:
A.Boudet
Citation: A.boudet, Competing for the AC-Unification Race, Journal of automated reasoning , 11(2), 1993, pp. 185-212
Authors:
A.Bouhoula,M.Rusinowitch
Citation: A.bouhoula,m.rusinowitch, Implicit Induction in Conditional Theories, Journal of automated reasoning , 14(2), 1995, pp. 189-235
Authors:
J.Denzinger,M.Kronenburg,S.Schulz
Citation: J.denzinger,m.kronenburg,s.schulz, DISCOUNT.A Distribuited and Learning Equational Prover, Journal of automated reasoning , 18(2), 1997, pp. 189-198
Authors:
M.E.Stickel
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
Authors:
PH.Besnard,T.Schaub
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
Authors:
R.NG,V.S.Subrahmanian
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
Authors:
P.Rudnicki
Citation: P.rudnicki, On Equivalents of Well-Foundedness, Journal of automated reasoning , 23(3/4), 1999, pp. 197-234
Authors:
M.Thielscher
Citation: M.thielscher, On The Completeness of SLDENF-Resolution, Journal of automated reasoning , 17(2), 1996, pp. 199-214
Authors:
T.Tammel
Citation: T.tammel, Gandalf, Journal of automated reasoning , 18(2), 1997, pp. 199-204
Authors:
P.Baumgartner,S.Bruning
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
Authors:
A.Voronkov
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
Authors:
P.Mills,E.Tsang
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
Authors:
R.Lentz
Citation: R.lentz, Linus.A Link Instantiation Prover with Unit Support, Journal of automated reasoning , 18(2), 1997, pp. 205-210
Authors:
E.K.Burke
Citation: E.k.burke, Unification in Partially Commutative Semigroups, Journal of automated reasoning , 12(2), 1994, pp. 209-224
Authors:
R.Hahnle
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