scientific article; zbMATH DE number 1149434

zbMATH Open0900.68298MaRDI QIDQ4386956FDOQ4386956

Authors:

Publication date: 10 May 1998

Title of this publication is not available (Why is that?)

Recommendations

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited In (6)

• Inductive Logic Programming
• On the use of stochastic local search techniques to revise first-order logic theories from examples
• Revising threshold functions
• Revising First-Order Logic Theories from Examples Through Stochastic Local Search
• Compressing probabilistic Prolog programs
• 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)