More theory revision with queries (extended abstract)

DOI10.1145/335305.335356zbMATH Open1296.68166OpenAlexW1985395918MaRDI QIDQ3192012FDOQ3192012

Authors J. Goldsmith, R. H. Sloan

Publication date 26 September 2014

Published in Proceedings of the thirty-second annual ACM symposium on Theory of computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/335305.335356

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• Theory revision with queries: DNF formulas
• Theory revision with queries: Horn, read-once, and parity formulas
• New Horn revision algorithms
• Algorithmic Learning Theory
• The complexity of theory revision

Cited in

(6)

• New Horn revision algorithms
• Algorithmic Learning Theory
• The complexity of theory revision
• Theory revision with queries: DNF formulas
• Theory revision with queries: Horn, read-once, and parity formulas
• Revising threshold functions

This page was built for publication: More theory revision with queries (extended abstract)

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