Search Sciweavers | Sciweavers

3738 search results - page 184 / 748

» Parametrized Logic Programming

click to vote

ESWS
2007
Springer

106views Internet Technology» more ESWS 2007»

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web

14 years 2 months ago

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

click to vote

ILP
2007
Springer

206views Automated Reasoning» more ILP 2007»

Using Bayesian Networks to Direct Stochastic Search in Inductive Logic Programming

14 years 2 months ago

Download ftp.cs.wisc.edu

Stochastically searching the space of candidate clauses is an appealing way to scale up ILP to large datasets. We address an approach that uses a Bayesian network model to adaptive...

Louis Oliphant, Jude W. Shavlik

claim paper

Read More »

click to vote

LOPSTR
2007
Springer

103views Automated Reasoning» more LOPSTR 2007»

Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs

14 years 2 months ago

Download clip.dia.fi.upm.es

Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo

claim paper

Read More »

click to vote

LPAR
2007
Springer

112views Automated Reasoning» more LPAR 2007»

From Hilbert's Program to a Logic Toolbox

14 years 2 months ago

Download isaim2008.unl.edu

Johann A. Makowsky

claim paper

Read More »

click to vote

SUM
2007
Springer

108views Information Technology» more SUM 2007»

Top-k Retrieval in Description Logic Programs Under Vagueness for the Semantic Web

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers