On Theory Revision with Queries

Abstract. A brief overview is given of recent results on theory revision with queries for propositional formulas, such as monotone and unate DNF, Horn formulas, read-once formulas, and threshold functions. Several open problems are formulated for revision in propositional and predicate logic, and finite automata.

• Type: Conference
• Year: 1999
• Where: COLT
• Authors: Robert H. Sloan, György Turán
• Keywords: COLT 1999, Horn Formulas, Machine Learning, Propositional Formulas, Several Open Problems