Matches in SemOpenAlex for { <https://semopenalex.org/work/W2024971746> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2024971746 abstract "In this paper we address a specific computational aspect of belief revision: the size of the propositional formula obtained by means of the revision of a formula with a new one. In particular, we focus on the size of the smallest formula which is logically equivalent to the revised knowledge base. The main result of this paper is that not all formalizations of belief revision are equal from this point of view. For some of them we show that the revised knowledge base can be represented by a polynomial-size formula (we call these results “compactability” results). On the other hand, for other ones the revised knowledge base does not always admit a polynomial-space representation, unless the polynomial hierarchy collapses at a sufficiently low level (“non-compactability” results). We also show that the time complexity of query answering for the revised knowledge base has definitely an impact on being able to represent the result of the revision compactly. Nevertheless, formalisms with the same complexity may have different compactability properties. We also study compactability properties for a weaker form of equivalence, called query equivalence, which allows to introduce new propositional symbols. Moreover, we extend our analysis to the special case in which the new formula has constant size and to the case of sequences of revisions (i.e., iterated belief revision). A complete analysis along these four coordinates is shown. ∗An extended abstract of this paper appeared as [5]. †Current address: Politecnico di Bari, Dipartimento di Elettrotecnica ed Elettronica, Via E. Orabona 4, I-70125 Bari, Italy." @default.
- W2024971746 created "2016-06-24" @default.
- W2024971746 creator A5008581096 @default.
- W2024971746 creator A5027115201 @default.
- W2024971746 creator A5029757626 @default.
- W2024971746 creator A5040566508 @default.
- W2024971746 date "1995-01-01" @default.
- W2024971746 modified "2023-10-18" @default.
- W2024971746 title "The size of a revised knowledge base" @default.
- W2024971746 cites W15217643 @default.
- W2024971746 cites W1540422960 @default.
- W2024971746 cites W1543451444 @default.
- W2024971746 cites W1555877973 @default.
- W2024971746 cites W155996553 @default.
- W2024971746 cites W1594099509 @default.
- W2024971746 cites W1595990156 @default.
- W2024971746 cites W1883191840 @default.
- W2024971746 cites W1970089350 @default.
- W2024971746 cites W1982345710 @default.
- W2024971746 cites W1986602165 @default.
- W2024971746 cites W2011039300 @default.
- W2024971746 cites W2014613778 @default.
- W2024971746 cites W2035382654 @default.
- W2024971746 cites W2067590843 @default.
- W2024971746 cites W2085022454 @default.
- W2024971746 cites W2113582770 @default.
- W2024971746 cites W2124299249 @default.
- W2024971746 cites W2138359650 @default.
- W2024971746 cites W2149420462 @default.
- W2024971746 cites W2160579271 @default.
- W2024971746 cites W2398918824 @default.
- W2024971746 cites W2400283444 @default.
- W2024971746 cites W2912435539 @default.
- W2024971746 cites W2915031347 @default.
- W2024971746 cites W68974267 @default.
- W2024971746 doi "https://doi.org/10.1145/212433.220205" @default.
- W2024971746 hasPublicationYear "1995" @default.
- W2024971746 type Work @default.
- W2024971746 sameAs 2024971746 @default.
- W2024971746 citedByCount "25" @default.
- W2024971746 crossrefType "proceedings-article" @default.
- W2024971746 hasAuthorship W2024971746A5008581096 @default.
- W2024971746 hasAuthorship W2024971746A5027115201 @default.
- W2024971746 hasAuthorship W2024971746A5029757626 @default.
- W2024971746 hasAuthorship W2024971746A5040566508 @default.
- W2024971746 hasConcept C134306372 @default.
- W2024971746 hasConcept C154945302 @default.
- W2024971746 hasConcept C23123220 @default.
- W2024971746 hasConcept C33923547 @default.
- W2024971746 hasConcept C41008148 @default.
- W2024971746 hasConcept C42058472 @default.
- W2024971746 hasConcept C4554734 @default.
- W2024971746 hasConceptScore W2024971746C134306372 @default.
- W2024971746 hasConceptScore W2024971746C154945302 @default.
- W2024971746 hasConceptScore W2024971746C23123220 @default.
- W2024971746 hasConceptScore W2024971746C33923547 @default.
- W2024971746 hasConceptScore W2024971746C41008148 @default.
- W2024971746 hasConceptScore W2024971746C42058472 @default.
- W2024971746 hasConceptScore W2024971746C4554734 @default.
- W2024971746 hasLocation W20249717461 @default.
- W2024971746 hasOpenAccess W2024971746 @default.
- W2024971746 hasPrimaryLocation W20249717461 @default.
- W2024971746 hasRelatedWork W2115485936 @default.
- W2024971746 hasRelatedWork W2119214692 @default.
- W2024971746 hasRelatedWork W2120460904 @default.
- W2024971746 hasRelatedWork W2144190808 @default.
- W2024971746 hasRelatedWork W2357241418 @default.
- W2024971746 hasRelatedWork W2366644548 @default.
- W2024971746 hasRelatedWork W2376314740 @default.
- W2024971746 hasRelatedWork W2384888906 @default.
- W2024971746 hasRelatedWork W2469626427 @default.
- W2024971746 hasRelatedWork W2472885054 @default.
- W2024971746 isParatext "false" @default.
- W2024971746 isRetracted "false" @default.
- W2024971746 magId "2024971746" @default.
- W2024971746 workType "article" @default.