Subsumer: A Prolog theta-subsumption engine

DOI10.4230/LIPIcs.ICLP.2010.172zbMath1237.68180OpenAlexW1573121164MaRDI QIDQ2883090

Stephen H. Muggleton, José Santos

Publication date: 11 May 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_9857.html

zbMATH Keywords

inductive logic programmingProlog\(\theta\)-subsumption

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Incremental learning of event definitions with inductive logic programming

Uses Software

• Aleph
• Subsumer

This page was built for publication: Subsumer: A Prolog theta-subsumption engine