On the formal characterization of the FORTE_MBC theory revision operators

DOI10.1093/logcom/exx015zbMath1402.68166OpenAlexW2786628422MaRDI QIDQ4555456

Aline Paes, Gerson Zaverucha, Ana Luísa Duboc

Publication date: 20 November 2018

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exx015

zbMATH Keywords

theory revisionrefinement operatorsinductive logic programming (ILP)bottom clausegenerality orders

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items (1)

Online probabilistic theory revision from examples with ProPPR

This page was built for publication: On the formal characterization of the FORTE_MBC theory revision operators