Sciweavers

4573 search results - page 12 / 915

» Automated Reasoning

138

ICCBR
2001
Springer

114views Automated Reasoning» more ICCBR 2001»

When Two Case Bases Are Better than One: Exploiting Multiple Case Bases

15 years 8 months ago

When Two Case Bases Are Better than One: Exploiting Multiple Case Bases

Download www.cs.indiana.edu

David B. Leake, Raja Sooriamurthi

claim paper

Read More »

97

Voted

ICLP
2001
Springer

104views Automated Reasoning» more ICLP 2001»

Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations

15 years 8 months ago

Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

115

ICLP
2001
Springer

87views Automated Reasoning» more ICLP 2001»

Solving the Multiplication Constraint in Several Approximation Spaces

15 years 8 months ago

Solving the Multiplication Constraint in Several Approximation Spaces

Download alain.colmerauer.free.fr

Alain Colmerauer

claim paper

Read More »

92

Voted

ICLP
2001
Springer

97views Automated Reasoning» more ICLP 2001»

Is Logic Really Dead or Only Just Sleeping?

15 years 8 months ago

Is Logic Really Dead or Only Just Sleeping?

Download www.doc.ic.ac.uk

Robert A. Kowalski

claim paper

Read More »

114

Voted

ICLP
2001
Springer

112views Automated Reasoning» more ICLP 2001»

A Close Look at Constraint-Based Concurrency

15 years 8 months ago

A Close Look at Constraint-Based Concurrency

Download www.ueda.info.waseda.ac.jp

Kazunori Ueda

claim paper

Read More »

« Prev « First page 12 / 915 Last » Next »