Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples
From MaRDI portal
Publication:3543271
DOI10.1007/978-3-540-85928-4_11zbMath1156.68526OpenAlexW1492019259MaRDI QIDQ3543271
Ana Luísa Duboc, Aline Paes, Gerson Zaverucha
Publication date: 2 December 2008
Published in: Inductive Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-85928-4_11
Related Items (4)
On the use of stochastic local search techniques to revise first-order logic theories from examples ⋮ Online probabilistic theory revision from examples with ProPPR ⋮ The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause ⋮ Using the bottom clause and mode declarations in FOL theory revision from examples
Cites Work
This page was built for publication: Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples