1153 search results - page 7 / 231 » The Complexity of Revision, Revised |
AAAI
1998
13 years 8 months ago
1998
Research in belief revision has been dominated by work that lies firmly within the classic AGM paradigm, characterized by a well-known set of postulates governing the behavior of ...
IGPL
2000
13 years 7 months ago
2000
In recent papers [10, 11] Krister Segerberg introduced Irrevocable Belief Revision, as closely related to AGM revision [2]. In this paper we present irrevocable belief revision in...
SCAM
2008
IEEE
14 years 1 months ago
2008
IEEE
In a previous study, we showed that indentation was regular across multiple languages and the variance in the level of indentation of a block of revised code is correlated with me...
WIKIS
2009
ACM
14 years 1 months ago
2009
ACM
Wiki systems typically display article history as a linear sequence of revisions in chronological order. This representation hides deeper relationships among the revisions, such a...
KR
1994
Springer
13 years 11 months ago
1994
Springer
In this paper we describe REVISE, an extended logic programming system for revising knowledge bases. REVISE is based on logic programming with explicit negation, plus a two-valued...