Search Sciweavers | Sciweavers

95 search results - page 2 / 19

» Reasoning with OWL-DL in Inductive Logic Programming

click to vote

LLL
1999
Springer

357views Automated Reasoning» more LLL 1999»

An Introduction to Inductive Logic Programming and Learning Language in Logic

13 years 8 months ago

Download www-users.cs.york.ac.uk

Saso Dzeroski, James Cussens, Suresh Manandhar

claim paper

Read More »

click to vote

ELP
1989

108views Logical Reasoning» more ELP 1989»

Logic Programming, Functional Programming, and Inductive Definitions

13 years 8 months ago

Download www.cl.cam.ac.uk

Lawrence C. Paulson, Andrew W. Smith

claim paper

Read More »

click to vote

ASP
2001
Springer

215views Automated Reasoning» more ASP 2001»

Learning by Answer Sets

13 years 8 months ago

Download www.aaai.org

This paper presents a novel application of answer set programming to concept learning in nonmonotonic logic programs. Given an extended logic program as a background theory, we in...

Chiaki Sakama

claim paper

Read More »

click to vote

OWLED
2007

159views Natural Language Processing» more OWLED 2007»

Reasoning with OWL-DL in Inductive Logic Programming

13 years 6 months ago

Download webont.org

The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Prog...

Francesca A. Lisi

claim paper

Read More »

click to vote

ILP
1997
Springer

116views Automated Reasoning» more ILP 1997»

Normal Forms for Inductive Logic Programming

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers