Search Sciweavers | Sciweavers

4617 search results - page 176 / 924

» Automation of Diagrammatic Reasoning

183

click to vote

ILP
2007
Springer

237views Automated Reasoning» more ILP 2007»

Empirical Comparison of "Hard" and "Soft" Label Propagation for Relational Classification

16 years 1 months ago

Download www.isi.edu

Aram Galstyan, Paul R. Cohen

claim paper

Read More »

195

click to vote

ILP
2007
Springer

220views Automated Reasoning» more ILP 2007»

Seeing the Forest Through the Trees

16 years 1 months ago

Download pfeiffernaturecenter.org

Anneleen Van Assche, Hendrik Blockeel

claim paper

Read More »

161

click to vote

LOPSTR
2007
Springer

103views Automated Reasoning» more LOPSTR 2007»

Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs

16 years 1 months ago

Download clip.dia.fi.upm.es

Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo

claim paper

Read More »

132

click to vote

LPAR
2007
Springer

114views Automated Reasoning» more LPAR 2007»

One-Pass Tableaux for Computation Tree Logic

16 years 1 months ago

Download twb.rsise.anu.edu.au

Pietro Abate, Rajeev Goré, Florian Widmann

claim paper

Read More »

145

click to vote

LPAR
2007
Springer

112views Automated Reasoning» more LPAR 2007»

From Hilbert's Program to a Logic Toolbox

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers