Results 271 to 280 of about 4,200 (297)
Some of the next articles are maybe not open access.

Nonmonotomic Inductive Logic Programming

2001
Nonmonotonic logic programming (NMLP) and inductive logic programming (ILP) are two important extensions of logic programming. The former aims at representing incomplete knowledge and reasoning with commonsense, while the latter targets the problem of inductive construction of a general theory from examples and background knowledge.
openaire   +1 more source

Approaches to inductive logic programming

1992
Inductive Logic Programming (ILP) is concerned with construction of logic programs from examples. It shares many concerns of Machine Learning (ML), but is committed to logic. As logic can help to provide a basis for elaborating such a methodology for learning, the area of ILP has attracted a wide attention of many researchers.
openaire   +1 more source

Challenges for Inductive Logic Programming

1999
Inductive logic programming (ILP) is a research area that has its roots in inductive machine learning and logic programming. Computational logic has significantly influenced machine learning through the field of inductive logic programming (ILP) which is concerned with the induction of logic programs from examples and background knowledge.
openaire   +1 more source

Logic Programming and Co-inductive Definitions

2000
This paper aims to define a complete semantics for a class of non-terminating logic programs. Standard approaches to deal with this problem consist in concentrating on programs where infinite derivations can be seen as computing, in the limit, some ”infinite object”. This is usually done by extending the domain of computation with infinite elements and
openaire   +1 more source

Inductive Logic Programming

Lecture Notes in Computer Science
exaly   +1 more source

A Review of Inductive Logic Programming Applications for Robotic Systems

Lecture Notes in Computer Science, 2023
Martin E Müller
exaly  

An extended transformation approach to inductive logic programming

ACM Transactions on Computational Logic, 2001
Nada Lavrač, Peter Flach
exaly  

Characterization of bio-chemical signals by inductive logic programming

Knowledge-Based Systems, 2002
Andrei Doncescu   +2 more
exaly  

Home - About - Disclaimer - Privacy