Sciweavers

4617 search results - page 23 / 924

» Automation of Diagrammatic Reasoning

161

CL
2000
Springer

111views Automated Reasoning» more CL 2000»

Computational Logic: Memories of the Past and Challenges for the Future

15 years 11 months ago

Computational Logic: Memories of the Past and Challenges for the Future

Download www.computational-logic.org

John Alan Robinson

claim paper

Read More »

149

CL
2000
Springer

98views Automated Reasoning» more CL 2000»

Linearly Bounded Reformulations of Conjunctive Databases

15 years 11 months ago

Linearly Bounded Reformulations of Conjunctive Databases

Download dbgroup.ncsu.edu

Rada Chirkova, Michael R. Genesereth

claim paper

Read More »

169

Voted

CL
2000
Springer

115views Automated Reasoning» more CL 2000»

Abstract Syntax for Variable Binders: An Overview

15 years 11 months ago

Abstract Syntax for Variable Binders: An Overview

Download www.lix.polytechnique.fr

Dale Miller

claim paper

Read More »

168

Voted

CL
2000
Springer

104views Automated Reasoning» more CL 2000»

Smallest Equivalent Sets for Finite Propositional Formula Circumscription

15 years 11 months ago

Smallest Equivalent Sets for Finite Propositional Formula Circumscription

Download pictor.math.uqam.ca

Yves Moinard, Raymond Rolland

claim paper

Read More »

146

CSL
2000
Springer

95views Automated Reasoning» more CSL 2000»

Elimination of Negation in a Logical Framework

15 years 11 months ago

Elimination of Negation in a Logical Framework

Download reports-archive.adm.cs.cmu.edu

Alberto Momigliano

claim paper

Read More »

« Prev « First page 23 / 924 Last » Next »