More theory revision with queries (extended abstract)

DOI10.1145/335305.335356zbMATH Open1296.68166OpenAlexW1985395918MaRDI QIDQ3192012FDOQ3192012

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)

Cited In (1)

• Theory revision with queries: Horn, read-once, and parity formulas

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)