scientific article; zbMATH DE number 1149434

MaRDI QIDQ4386956zbMATH OpenFDO

Authors

Publication date 10 May 1998

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1149452
• The complexity of theory revision
• Maximizing theory accuracy through selective reinterpretation
• scientific article; zbMATH DE number 1149411

Cited in

(8)

• Compressing probabilistic Prolog programs
• On the use of stochastic local search techniques to revise first-order logic theories from examples
• Revising threshold functions
• scientific article; zbMATH DE number 1149411 (Why is no real title available?)
• scientific article; zbMATH DE number 1149452 (Why is no real title available?)
• Inductive Logic Programming
• Revising First-Order Logic Theories from Examples Through Stochastic Local Search
• Theory revision with queries: Horn, read-once, and parity formulas

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4386956)