Revising First-Order Logic Theories from Examples Through Stochastic Local Search
From MaRDI portal
Publication:5452092
DOI10.1007/978-3-540-78469-2_21zbMath1136.68500MaRDI QIDQ5452092
Vitor Costa, Aline Paes, Gerson Zaverucha
Publication date: 28 March 2008
Published in: Inductive Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-78469-2_21
68T05: Learning and adaptive systems in artificial intelligence
68T27: Logic in artificial intelligence
Related Items
Revising First-Order Logic Theories from Examples Through Stochastic Local Search, Bandit-based Monte-Carlo structure learning of probabilistic logic programs, Using the bottom clause and mode declarations in FOL theory revision from examples, On the use of stochastic local search techniques to revise first-order logic theories from examples, Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples
Uses Software
Cites Work