string(237) "select * FROM articoli_opac WHERE fonte <> 'ISI' AND fonte='ACNP' AND fasc_anno_pubbl='1995' 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-27    

Articles table of contents

Results : 1-25/27
Commonsense and Nonmonotonic Reasoning: Default Reasoning by Deductive Planning
Authors: M.Thielscher,T.Schaub
Journal: Journal of automated reasoning
Citation: M.thielscher,t.schaub, Commonsense and Nonmonotonic Reasoning: Default Reasoning by Deductive Planning, Journal of automated reasoning , 15(1), 1995, pp. 1-40
Commonsense and Nonmonotonic Reasoning: Preface to the special Issue on Commonsense and Nonmonotonic Reasoning
Authors: I.Niemela
Journal: Journal of automated reasoning
Citation: I.niemela, Commonsense and Nonmonotonic Reasoning: Preface to the special Issue on Commonsense and Nonmonotonic Reasoning, Journal of automated reasoning , 14(1), 1995, pp. 1-2
Commonsense and Nonmonotonic Reasoning: A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning
Authors: M.L.Ginsberg
Journal: Journal of automated reasoning
Citation: M.l.ginsberg, Commonsense and Nonmonotonic Reasoning: A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning, Journal of automated reasoning , 14(1), 1995, pp. 3-42
Commonsense and Nonmonotonic Reasoning: Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic
Authors: F.Baader,B.Hollunder
Journal: Journal of automated reasoning
Citation: F.baader,b.hollunder, Commonsense and Nonmonotonic Reasoning: Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic, Journal of automated reasoning , 15(1), 1995, pp. 41-68
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
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
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
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
Implicit Induction in Conditional Theories
Authors: A.Bouhoula,M.Rusinowitch
Journal: Journal of automated reasoning
Citation: A.bouhoula,m.rusinowitch, Implicit Induction in Conditional Theories, Journal of automated reasoning , 14(2), 1995, pp. 189-235
A Ramsey Theorem in Boyer-Moore Logic
Authors: K.Kunen
Journal: Journal of automated reasoning
Citation: K.kunen, A Ramsey Theorem in Boyer-Moore Logic, Journal of automated reasoning , 15(2), 1995, pp. 217-235
The Anatomy of Vampire
Authors: A.Voronkov
Journal: Journal of automated reasoning
Citation: A.voronkov, The Anatomy of Vampire, Journal of automated reasoning , 15(2), 1995, pp. 237-265
Theorem Proving for Intensional Logic
Authors: A.Ramsay
Journal: Journal of automated reasoning
Citation: A.ramsay, Theorem Proving for Intensional Logic, Journal of automated reasoning , 14(2), 1995, pp. 237-255
Automated Production of Traditional Proofs in Solid Geometry
Authors: S.C.Chou,X.S.Gao,J.Z.Zhang
Journal: Journal of automated reasoning
Citation: S.c.chou,x.s.gao,j.z.zhang, Automated Production of Traditional Proofs in Solid Geometry, Journal of automated reasoning , 14(2), 1995, pp. 257-291
A Note on Assumptions about Skolem Functions
Authors: H.J.Ohlbach,C.Weidenbach
Journal: Journal of automated reasoning
Citation: H.j.ohlbach,c.weidenbach, A Note on Assumptions about Skolem Functions, Journal of automated reasoning , 15(2), 1995, pp. 267-275
Searching for Circles of Pure Proofs
Authors: L.Wos
Journal: Journal of automated reasoning
Citation: L.wos, Searching for Circles of Pure Proofs, Journal of automated reasoning , 15(3), 1995, pp. 279-315
A Path Ordering for Proving Termination of AC Rewrite Systems
Authors: D.Kapur,G.Sivakumar,H.Zhang
Journal: Journal of automated reasoning
Citation: D.kapur,g.sivakumar,h.zhang, A Path Ordering for Proving Termination of AC Rewrite Systems, Journal of automated reasoning , 14(2), 1995, pp. 293-316
On the Complexity of Nested-Object Matching
Authors: K.V.Vadaparty
Journal: Journal of automated reasoning
Citation: K.v.vadaparty, On the Complexity of Nested-Object Matching, Journal of automated reasoning , 14(2), 1995, pp. 317-323
A Set-Theoretic Translation Method for Polymodal Logics
Authors: G.D'Agostino,A.Montanari,A.Policriti
Journal: Journal of automated reasoning
Citation: G.d'Agostino,a.montanari,a.policriti, A Set-Theoretic Translation Method for Polymodal Logics, Journal of automated reasoning , 15(3), 1995, pp. 317-337
SATCHMORE:SATCHMO with REIevancy
Authors: D.W.Loveland,D.W.Reed,D.S.Wilson
Journal: Journal of automated reasoning
Citation: D.w.loveland,d.w.reed,d.s.wilson, SATCHMORE:SATCHMO with REIevancy, Journal of automated reasoning , 14(2), 1995, pp. 325-351
leanTAP: Lean Tableau-based Deduction
Authors: B.Beckert,J.Posegga
Journal: Journal of automated reasoning
Citation: B.beckert,j.posegga, leanTAP: Lean Tableau-based Deduction, Journal of automated reasoning , 15(3), 1995, pp. 339-358
Logic, Topology, and Integration
Authors: K.Schlechta
Journal: Journal of automated reasoning
Citation: K.schlechta, Logic, Topology, and Integration, Journal of automated reasoning , 14(3), 1995, pp. 352-381
Branching Rules for Satisfiability
Authors: J.N.Hooker,V.Vinay
Journal: Journal of automated reasoning
Citation: J.n.hooker,v.vinay, Branching Rules for Satisfiability, Journal of automated reasoning , 15(3), 1995, pp. 359-383
Single Axioms for Odd Exponent Groups
Authors: J.Hart,K.Kunen
Journal: Journal of automated reasoning
Citation: J.hart,k.kunen, Single Axioms for Odd Exponent Groups, Journal of automated reasoning , 14(3), 1995, pp. 383-412
OTTER Experiments in a System of Combinatory Logic
Authors: T.Jech
Journal: Journal of automated reasoning
Citation: T.jech, OTTER Experiments in a System of Combinatory Logic, Journal of automated reasoning , 14(3), 1995, pp. 413-426
Results: 1-25 | 26-27