The complexity of revising logic programs

DOI10.1016/S0743-1066(99)00021-7zbMath0937.68024MaRDI QIDQ4262832

Russell Greiner

Publication date: 24 February 2000

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

inductive logic programmingrule-based program

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic programming (68N17)

Related Items (2)

The complexity of theory revision ⋮ Theory revision with queries: Horn, read-once, and parity formulas

This page was built for publication: The complexity of revising logic programs