Revising First-Order Logic Theories from Examples Through Stochastic Local Search

DOI10.1007/978-3-540-78469-2_21zbMath1136.68500OpenAlexW1584655495MaRDI 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

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic in artificial intelligence (68T27)

Related Items (5)

On the use of stochastic local search techniques to revise first-order logic theories from examples ⋮ Bandit-based Monte-Carlo structure learning of probabilistic logic programs ⋮ Using the bottom clause and mode declarations in FOL theory revision from examples ⋮ Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples ⋮ Revising First-Order Logic Theories from Examples Through Stochastic Local Search

Uses Software

• Walksat

Cites Work

• Randomised restarted search in ILP
• ILP Through Propositionalization and Stochastic k-Term DNF Learning
• Revising First-Order Logic Theories from Examples Through Stochastic Local Search
• Unnamed Item

This page was built for publication: Revising First-Order Logic Theories from Examples Through Stochastic Local Search