2 search results - page 1 / 1 » Theory revision with queries: Horn, read-once, and parity fo... |
AI
2004
Springer
13 years 5 months ago
2004
Springer
COLT
1999
Springer
13 years 9 months ago
1999
Springer
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,...