string(237) "select * FROM articoli_opac WHERE fonte <> 'ISI' AND fonte='ACNP' AND fasc_anno_pubbl='1994' AND fasc_issn='01687433' order by level desc, fasc_key desc, NULLIF(regexp_replace(pagina_ini, E'\\D', '', 'g'), '')::int asc offset 0 limit 25" ACNP - Italian Periodicals Catalogue
Results: 1-25 | 26-39    

Articles table of contents

Results : 1-25/39
Resolving Cantradictions: A Plausible Semantics for Inconsistent Systems
Authors: E.L.Lozinskii
Journal: Journal of automated reasoning
Citation: E.l.lozinskii, Resolving Cantradictions: A Plausible Semantics for Inconsistent Systems, Journal of automated reasoning , 12(1), 1994, pp. 1-32
Parallelization of Deduction Strategies: An Analytical Study
Authors: M.P.Bonacina,J.Hsiang
Journal: Journal of automated reasoning
Citation: M.p.bonacina,j.hsiang, Parallelization of Deduction Strategies: An Analytical Study, Journal of automated reasoning , 13(1), 1994, pp. 1-34
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
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
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
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
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
Resolution Theorem Proving in Reified Modal Logics
Authors: J.S.Aitken,H.Reichgelt,N.Shadbolt
Journal: Journal of automated reasoning
Citation: J.s.aitken,h.reichgelt,n.shadbolt, Resolution Theorem Proving in Reified Modal Logics, Journal of automated reasoning , 12(1), 1994, pp. 103-130
Ordered Model Trees: A Normal Form for Disjunctive Deductive Databases
Authors: A.Yahya,"J.Alberto fernandez",J.Minker
Journal: Journal of automated reasoning
Citation: A.yahya,"j.alberto Fernandez",j.minker, Ordered Model Trees: A Normal Form for Disjunctive Deductive Databases, Journal of automated reasoning , 13(1), 1994, pp. 117-144
Book Review: Bayes or Bust? A Critical Examination of Baysian Confirmation Theory (Simon Parson)
Authors: J.Earman
Journal: Journal of automated reasoning
Citation: J.earman, Book Review: Bayes or Bust? A Critical Examination of Baysian Confirmation Theory (Simon Parson), Journal of automated reasoning , 12(1), 1994, pp. 131-132
Basic Research Problems: The Problem of Strategy and Hyperresolution
Authors: L.Wos
Journal: Journal of automated reasoning
Citation: L.wos, Basic Research Problems: The Problem of Strategy and Hyperresolution, Journal of automated reasoning , 12(1), 1994, pp. 133-134
Formula Databases for High-Performance Resolution/Paramodulation Systems
Authors: R.M.Butler,R.A.Overbeek
Journal: Journal of automated reasoning
Citation: R.m.butler,r.a.overbeek, Formula Databases for High-Performance Resolution/Paramodulation Systems, Journal of automated reasoning , 12(2), 1994, pp. 139-156
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
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 With Analytic Tableaux: Preface to the Special Issue on Tableaux
Authors: G.Wrightson
Journal: Journal of automated reasoning
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
Automated Reasoning With Analytic Tableaux: Tableaux for Logic Programming
Authors: M.Fitting
Journal: Journal of automated reasoning
Citation: M.fitting, Automated Reasoning With Analytic Tableaux: Tableaux for Logic Programming, Journal of automated reasoning , 13(2), 1994, pp. 175-188
Automated Reasoning With Analytic Tableaux: Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction
Authors: M.E.Stickel
Journal: Journal of automated reasoning
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
Unification in Partially Commutative Semigroups
Authors: E.K.Burke
Journal: Journal of automated reasoning
Citation: E.k.burke, Unification in Partially Commutative Semigroups, Journal of automated reasoning , 12(2), 1994, pp. 209-224
Automated Reasoning With Analytic Tableaux: The Liberalized delta-Rule in Free Variable Semantic Tableaux
Authors: R.Hahnle
Journal: Journal of automated reasoning
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
Automated Reasoning With Analytic Tableaux: Tableau-Based Characterization and Theorem Proving for Default Logic
Authors: V.Risch,C.B.Schwind
Journal: Journal of automated reasoning
Citation: V.risch,c.b.schwind, Automated Reasoning With Analytic Tableaux: Tableau-Based Characterization and Theorem Proving for Default Logic, Journal of automated reasoning , 13(2), 1994, pp. 223-242
On Subsumption in Distributed Derivations
Authors: M.P.Bonacina,J.Hsiang
Journal: Journal of automated reasoning
Citation: M.p.bonacina,j.hsiang, On Subsumption in Distributed Derivations, Journal of automated reasoning , 12(2), 1994, pp. 225-240
The Rue Theorem-Proving System: The Complete Ste of LIM+Challenge Problems
Authors: V.J.Digricoli
Journal: Journal of automated reasoning
Citation: V.j.digricoli, The Rue Theorem-Proving System: The Complete Ste of LIM+Challenge Problems, Journal of automated reasoning , 12(2), 1994, pp. 240-264
Automated Reasoning With Analytic Tableaux: A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics
Authors: M.D'Agostino,D.M.Gabbay
Journal: Journal of automated reasoning
Citation: M.d'Agostino,d.m.gabbay, Automated Reasoning With Analytic Tableaux: A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics, Journal of automated reasoning , 13(2), 1994, pp. 243-279
Basic Research Problems: The Problem of Hyperparamodulation
Authors: L.Wos
Journal: Journal of automated reasoning
Citation: L.wos, Basic Research Problems: The Problem of Hyperparamodulation, Journal of automated reasoning , 12(2), 1994, pp. 265-270
Results: 1-25 | 26-39