Sciweavers

789 search results - page 1 / 158
» On Theory Revision with Queries
Sort
View
COLT
1999
Springer
15 years 10 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,...
Robert H. Sloan, György Turán
123
Voted
COLT
2000
Springer
15 years 10 months ago
Improved Algorithms for Theory Revision with Queries
Judy Goldsmith, Robert H. Sloan, Balázs Sz&...
AI
2004
Springer
15 years 5 months ago
Theory revision with queries: Horn, read-once, and parity formulas
Judy Goldsmith, Robert H. Sloan, Balázs Sz&...
147
Voted
DAGSTUHL
2007
15 years 7 months ago
Semantic structures for one-stage and iterated belief revision
Semantic structures for belief revision are proposed. We start with one-stage revision structures that generalize the notion of choice function from rational choice theory. A corr...
Giacomo Bonanno
ICTAI
2010
IEEE
15 years 3 months ago
Revision Rules in the Theory of Evidence
Abstract--Combination rules proposed so far in the DempsterShafer theory of evidence, especially Dempster rule, rely on a basic assumption, that is, pieces of evidence being combin...
Jianbing Ma, Weiru Liu, Didier Dubois, Henri Prade