The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause
type: Item
instance of: scholarly article
title: The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause
zbMATH Open document ID: 1470.68186
author: Alireza Tamaddoni-Nezhad
author: Stephen Muggleton
published in: Machine Learning
publication date: 2010-10-07T00:00:00Z
Mathematics Subject Classification ID: 68T05
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 5796818
zbMATH Keywords: subsumption lattice
zbMATH Keywords: refinement operators
zbMATH Keywords: ordered clauses
zbMATH Keywords: sequential subsumption
zbMATH Keywords: subsumption relative to a bottom clause
zbMATH Keywords: inductive logic programming
describes a project that uses: GOLEM
describes a project that uses: SeqLog
describes a project that uses: Aleph
MaRDI profile type: Publication
full work available at URL: s10994-009-5117-7
OpenAlex ID: W1966961673
cites work: Q4530231
cites work: Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples
cites work: Q4198056
cites work: On Generalization and Subsumption for Ordered Clauses
cites work: Q4040311
cites work: Database Support for Data Mining Applications
cites work: ProGolem: A System Based on Relative Minimal Generalisation
cites work: Foundations of inductive logic programming
cites work: Q5677085
cites work: Q5624680
cites work: Q4537977
cites work: Q4413499
cites work: A Note on Refinement Operators for IE-Based ILP Systems
cites work: Q4338854
cites work: Q4942610
cites work: Q4413504
DOI: 10.1007/S10994-009-5117-7
Recommended article: Q4782921
Recommended article: Lattice of generalized closure operators
Recommended article: Lattice implication homomorphism in implication filter spaces
Recommended article: The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey
Recommended article: Structure of lattices characterized by validity of lattice-valued topological propositions
Recommended article: Q3754790
Recommended article: The expressibility problem in a lattice with closure operation
Recommended article: Q5427872
Recommended article: Lattice embeddings for abstract bounded reducibilities
description: scientific article; zbMATH DE number 5796818