Sciweavers

COLT
1999
Springer

On Theory Revision with Queries

13 years 8 months ago
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.
Robert H. Sloan, György Turán
Added 03 Aug 2010
Updated 03 Aug 2010
Type Conference
Year 1999
Where COLT
Authors Robert H. Sloan, György Turán
Comments (0)