Sciweavers

4617 search results - page 20 / 924

» Automation of Diagrammatic Reasoning

65

ICLP
2001
Springer

97views Automated Reasoning» more ICLP 2001»

Is Logic Really Dead or Only Just Sleeping?

15 years 4 months ago

Is Logic Really Dead or Only Just Sleeping?

Download www.doc.ic.ac.uk

Robert A. Kowalski

claim paper

Read More »

77

Voted

ICLP
2001
Springer

112views Automated Reasoning» more ICLP 2001»

A Close Look at Constraint-Based Concurrency

15 years 4 months ago

A Close Look at Constraint-Based Concurrency

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

Kazunori Ueda

claim paper

Read More »

74

ILP
2001
Springer

95views Automated Reasoning» more ILP 2001»

Discovering Associations between Spatial Objects: An ILP Application

15 years 4 months ago

Discovering Associations between Spatial Objects: An ILP Application

Download staff.science.uva.nl

Donato Malerba, Francesca A. Lisi

claim paper

Read More »

99

ILP
2001
Springer

87views Automated Reasoning» more ILP 2001»

Efficient Cross-Validation in ILP

15 years 4 months ago

Efficient Cross-Validation in ILP

Download people.cs.kuleuven.be

Jan Struyf, Hendrik Blockeel

claim paper

Read More »

81

LACL
2001
Springer

138views Automated Reasoning» more LACL 2001»

An Algebraic Approach to French Sentence Structure

15 years 4 months ago

An Algebraic Approach to French Sentence Structure

Download www.unice.fr

Daniele Bargelli, Joachim Lambek

claim paper

Read More »

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