789 search results - page 1 / 158 » On Theory Revision with Queries |
COLT
1999
Springer
14 years 3 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
14 years 3 months ago
2000
Springer
AI
2004
Springer
13 years 11 months ago
2004
Springer
DAGSTUHL
2007
14 years 19 days 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 9 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...