Subsumer: a Prolog \(\theta\)-subsumption engine
type: Item
instance of: scholarly article
zbMATH Open document ID: 1237.68180
author: Jose Santos
author: Stephen Muggleton
publication date: 2012-05-11T00:00:00Z
full work available at URL: frontdoor 9857.html
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 6033343
zbMATH Keywords: \(\theta\)-subsumption
zbMATH Keywords: Prolog
zbMATH Keywords: inductive logic programming
describes a project that uses: Subsumer
describes a project that uses: Aleph
MaRDI profile type: Publication
OpenAlex ID: W1573121164
DOI: 10.4230/LIPICS.ICLP.2010.172
title: Subsumer: a Prolog \(\theta\)-subsumption engine
description: scientific article; zbMATH DE number 6033343