Sciweavers

4573 search results - page 13 / 915

» Automated Reasoning

107

Voted

ILP
2001
Springer

95views Automated Reasoning» more ILP 2001»

Discovering Associations between Spatial Objects: An ILP Application

15 years 8 months ago

Discovering Associations between Spatial Objects: An ILP Application

Download staff.science.uva.nl

Donato Malerba, Francesca A. Lisi

claim paper

Read More »

125

ILP
2001
Springer

87views Automated Reasoning» more ILP 2001»

Efficient Cross-Validation in ILP

15 years 8 months ago

Efficient Cross-Validation in ILP

Download people.cs.kuleuven.be

Jan Struyf, Hendrik Blockeel

claim paper

Read More »

115

LACL
2001
Springer

138views Automated Reasoning» more LACL 2001»

An Algebraic Approach to French Sentence Structure

15 years 8 months ago

An Algebraic Approach to French Sentence Structure

Download www.unice.fr

Daniele Bargelli, Joachim Lambek

claim paper

Read More »

109

LACL
2001
Springer

97views Automated Reasoning» more LACL 2001»

Transforming Linear Context-Free Rewriting Systems into Minimalist Grammars

15 years 8 months ago

Transforming Linear Context-Free Rewriting Systems into Minimalist Grammars

Download esslli2009.labri.fr

Jens Michaelis

claim paper

Read More »

117

Voted

LOPSTR
2001
Springer

116views Automated Reasoning» more LOPSTR 2001»

Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking

15 years 8 months ago

Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking

Download eprints.ecs.soton.ac.uk

Michael Leuschel, Stefan Gruner

claim paper

Read More »

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