Sciweavers

4617 search results - page 52 / 924

» Automation of Diagrammatic Reasoning

131

KR
2000
Springer

102views Automated Reasoning» more KR 2000»

BReLS: A System for the Integration of Knowledge Bases

15 years 9 months ago

BReLS: A System for the Integration of Knowledge Bases

Download www.dis.uniroma1.it

Paolo Liberatore, Marco Schaerf

claim paper

Read More »

116

LOPSTR
2000
Springer

104views Automated Reasoning» more LOPSTR 2000»

Higher-order transformation of logic programs

15 years 9 months ago

Higher-order transformation of logic programs

Download www.cs.nott.ac.uk

Silvija Seres, J. Michael Spivey

claim paper

Read More »

255

ALP
1997
Springer

249views Automated Reasoning» more ALP 1997»

Parallelizing Functional Programs by Generalization

15 years 9 months ago

Parallelizing Functional Programs by Generalization

Download www.riec.tohoku.ac.jp

Alfons Geser, Sergei Gorlatch

claim paper

Read More »

123

CSL
1995
Springer

93views Automated Reasoning» more CSL 1995»

On the Modal Logic K Plus Theories

15 years 9 months ago

On the Modal Logic K Plus Theories

Download reference.kfupm.edu.sa

Alain Heuerding, Stefan Schwendimann

claim paper

Read More »

129

Voted

LACL
1997
Springer

94views Automated Reasoning» more LACL 1997»

Underspecification in Type-Logical Grammars

15 years 9 months ago

Underspecification in Type-Logical Grammars

Download wwwhome.cs.utwente.nl

Dirk Heylen

claim paper

Read More »

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