Work

An Interactive System to Learn Functional Logic Programs.

Year: 1993

Type: conference-paper

Abstract: The problem of learning functional logic pro- grams from positive examples is addressed.We describe a system, called FILP, which asks ex- istential queries to the user, and is able to learn multiple predicates and recursive clauses. We prove that the learned descriptions are correct in the sense that they are consistent with the given examples. Moreover, a correct solution is always found if it exists.

Source: Institutional Research Information System University of Turin (University of Turin)

Authors: Francesco Bergadano, Daniele Gunetti

Institution: University of Turin

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W81828477

FWCI: 13.31

Cites: 12

Cited by: 47

Related to: 10