Mach Learn: 33–63 DOIs10994Propositionalization-based relational subgroup discovery with RSD ˇ

First Page		Document Content
Date: 2013-03-25 05:42:51 Finite groups Data mining Detection theory Receiver operating characteristic Statistical classification Subgroup Rule induction CN2 algorithm Heuristic Abstract algebra Group theory Algebra		Mach Learn: 33–63 DOIs10994Propositionalization-based relational subgroup discovery with RSD ˇ Add to Reading List Source URL: www-ai.ijs.si Download Document from Source Website File Size: 2,40 MB Share Document on Facebook

	Theory Learning and Logical Rule Induction with Neural Theorem Proving Andres Campero 1 Aldo Pareja 2 Tim Klinger 2 Josh Tenenbaum 1 Sebastian Riedel 3 1. Introduction A hallmark of human cognition is the ability to con DocID: 1xTV7 - View Document
	UNIVERSIDADE DA BEIRA INTERIOR Engenharia Rule Induction for Sentence Reduction João Paulo da Costa Cordeiro DocID: 1rVj1 - View Document
	ABOUT MANUSCRIPTS FOR IJ ITA DocID: 1pHUA - View Document
	Logic and Proof Jeremy Avigad Robert Y. Lewis Floris van Doorn Version 891edf9, updated at:06: DocID: 1p9dx - View Document
	A note on the Π02–induction rule∗ Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe-Universit¨at, Robert-Mayer-Strasse 6–10, D–60054 Frankfurt, Germany Abstract It is well–known (due to C. Parsons) that th DocID: 1ofmD - View Document