Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014613778> ?p ?o ?g. }
- W2014613778 endingPage "512" @default.
- W2014613778 startingPage "497" @default.
- W2014613778 abstract "We consider the computational complexity of evaluating nested counterfactuals over a propositional knowledge base. A counterfactualp>qis a conditional query with the meaning “Ifpwould be true in the knowledge base, would it then hold that alsoqis true,” which is different from material implicationp⇒q. A nested counterfactual is a counterfactual statement where the premisepor the conclusionqis a counterfactual. Statements of the formp1>(p2…(pn>q)…) intuitively correspond to conditional queries involving a sequence of revisions. We show that evaluating such statements isΠP2-complete and that this task becomes PSPACE-complete if negation is allowed in a nesting of this form. We also consider nesting a counterfactual in the premise, i.e., (p>q)>r, and show that evaluating such statements isΠP4-complete, thus most likely much harder than evaluatingp>(q>r). Finally, we also address iterated nestings in the premise and the mix of nestings in the premise and the conclusion." @default.
- W2014613778 created "2016-06-24" @default.
- W2014613778 creator A5050151740 @default.
- W2014613778 creator A5082178480 @default.
- W2014613778 date "1996-12-01" @default.
- W2014613778 modified "2023-09-23" @default.
- W2014613778 title "The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions" @default.
- W2014613778 cites W1543451444 @default.
- W2014613778 cites W1555877973 @default.
- W2014613778 cites W1605190939 @default.
- W2014613778 cites W1667614912 @default.
- W2014613778 cites W1684304711 @default.
- W2014613778 cites W175258934 @default.
- W2014613778 cites W193281473 @default.
- W2014613778 cites W1980856512 @default.
- W2014613778 cites W1991034379 @default.
- W2014613778 cites W1991670662 @default.
- W2014613778 cites W1997714358 @default.
- W2014613778 cites W2002476082 @default.
- W2014613778 cites W2007457223 @default.
- W2014613778 cites W2011039300 @default.
- W2014613778 cites W2016515719 @default.
- W2014613778 cites W2050171146 @default.
- W2014613778 cites W2054801208 @default.
- W2014613778 cites W2058277150 @default.
- W2014613778 cites W2072393481 @default.
- W2014613778 cites W2101017866 @default.
- W2014613778 cites W2108309071 @default.
- W2014613778 cites W2121827343 @default.
- W2014613778 cites W2124299249 @default.
- W2014613778 cites W2124301168 @default.
- W2014613778 cites W2126897484 @default.
- W2014613778 cites W2148718809 @default.
- W2014613778 cites W2290441168 @default.
- W2014613778 cites W2335386552 @default.
- W2014613778 cites W3436040 @default.
- W2014613778 cites W56211936 @default.
- W2014613778 cites W72953418 @default.
- W2014613778 doi "https://doi.org/10.1006/jcss.1996.0083" @default.
- W2014613778 hasPublicationYear "1996" @default.
- W2014613778 type Work @default.
- W2014613778 sameAs 2014613778 @default.
- W2014613778 citedByCount "20" @default.
- W2014613778 countsByYear W20146137782012 @default.
- W2014613778 countsByYear W20146137782014 @default.
- W2014613778 countsByYear W20146137782015 @default.
- W2014613778 countsByYear W20146137782021 @default.
- W2014613778 countsByYear W20146137782022 @default.
- W2014613778 countsByYear W20146137782023 @default.
- W2014613778 crossrefType "journal-article" @default.
- W2014613778 hasAuthorship W2014613778A5050151740 @default.
- W2014613778 hasAuthorship W2014613778A5082178480 @default.
- W2014613778 hasBestOaLocation W20146137781 @default.
- W2014613778 hasConcept C108650721 @default.
- W2014613778 hasConcept C111472728 @default.
- W2014613778 hasConcept C118615104 @default.
- W2014613778 hasConcept C134306372 @default.
- W2014613778 hasConcept C138885662 @default.
- W2014613778 hasConcept C140479938 @default.
- W2014613778 hasConcept C144237770 @default.
- W2014613778 hasConcept C154945302 @default.
- W2014613778 hasConcept C15744967 @default.
- W2014613778 hasConcept C191897082 @default.
- W2014613778 hasConcept C192562407 @default.
- W2014613778 hasConcept C199360897 @default.
- W2014613778 hasConcept C2185349 @default.
- W2014613778 hasConcept C2776937656 @default.
- W2014613778 hasConcept C2778023277 @default.
- W2014613778 hasConcept C33923547 @default.
- W2014613778 hasConcept C41008148 @default.
- W2014613778 hasConcept C42058472 @default.
- W2014613778 hasConcept C4554734 @default.
- W2014613778 hasConcept C71889745 @default.
- W2014613778 hasConcept C77805123 @default.
- W2014613778 hasConcept C80444323 @default.
- W2014613778 hasConceptScore W2014613778C108650721 @default.
- W2014613778 hasConceptScore W2014613778C111472728 @default.
- W2014613778 hasConceptScore W2014613778C118615104 @default.
- W2014613778 hasConceptScore W2014613778C134306372 @default.
- W2014613778 hasConceptScore W2014613778C138885662 @default.
- W2014613778 hasConceptScore W2014613778C140479938 @default.
- W2014613778 hasConceptScore W2014613778C144237770 @default.
- W2014613778 hasConceptScore W2014613778C154945302 @default.
- W2014613778 hasConceptScore W2014613778C15744967 @default.
- W2014613778 hasConceptScore W2014613778C191897082 @default.
- W2014613778 hasConceptScore W2014613778C192562407 @default.
- W2014613778 hasConceptScore W2014613778C199360897 @default.
- W2014613778 hasConceptScore W2014613778C2185349 @default.
- W2014613778 hasConceptScore W2014613778C2776937656 @default.
- W2014613778 hasConceptScore W2014613778C2778023277 @default.
- W2014613778 hasConceptScore W2014613778C33923547 @default.
- W2014613778 hasConceptScore W2014613778C41008148 @default.
- W2014613778 hasConceptScore W2014613778C42058472 @default.
- W2014613778 hasConceptScore W2014613778C4554734 @default.
- W2014613778 hasConceptScore W2014613778C71889745 @default.
- W2014613778 hasConceptScore W2014613778C77805123 @default.
- W2014613778 hasConceptScore W2014613778C80444323 @default.
- W2014613778 hasIssue "3" @default.