789 search results - page 1 / 158 » On Theory Revision with Queries |
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,...
COLT
2000
Springer
13 years 9 months ago
2000
Springer
AI
2004
Springer
13 years 4 months ago
2004
Springer
DAGSTUHL
2007
13 years 6 months ago
2007
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...
ICTAI
2010
IEEE
13 years 2 months ago
2010
IEEE
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...