Matches in SemOpenAlex for { <https://semopenalex.org/work/W2395489311> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2395489311 abstract "A fundamental task in reasoning about action and change is projection, which refers to determining what holds after a number of actions have occurred. A powerful method for solving the projection problem is regression, which reduces reasoning about the future to reasoning about the initial state. In particular, regression has played an important role in the situation calculus and its epistemic extensions. Recently, a modal variant of the situation calculus was proposed, which allows an agent to revise its beliefs based on so-called belief conditionals as part of its knowledge base. In this paper, we show how regression can be extended to reduce beliefs about the future to initial beliefs in the presence of belief conditionals. Moreover, we show how any remaining belief operators can be eliminated as well, thus reducing the belief projection problem to ordinary first-order entailments." @default.
- W2395489311 created "2016-06-24" @default.
- W2395489311 creator A5005730180 @default.
- W2395489311 creator A5051193060 @default.
- W2395489311 date "2015-02-18" @default.
- W2395489311 modified "2023-10-16" @default.
- W2395489311 title "Projection in the Epistemic Situation Calculus with Belief Conditionals" @default.
- W2395489311 cites W1474839513 @default.
- W2395489311 cites W1536722889 @default.
- W2395489311 cites W1537435730 @default.
- W2395489311 cites W1683212044 @default.
- W2395489311 cites W1917445891 @default.
- W2395489311 cites W1931779745 @default.
- W2395489311 cites W1973391999 @default.
- W2395489311 cites W1993512664 @default.
- W2395489311 cites W2025270539 @default.
- W2395489311 cites W2038809129 @default.
- W2395489311 cites W2070368455 @default.
- W2395489311 cites W2088979754 @default.
- W2395489311 cites W2109185302 @default.
- W2395489311 cites W2111398557 @default.
- W2395489311 cites W2114462967 @default.
- W2395489311 cites W2134275439 @default.
- W2395489311 cites W2143336154 @default.
- W2395489311 cites W2149420462 @default.
- W2395489311 cites W2408337621 @default.
- W2395489311 cites W2177576448 @default.
- W2395489311 doi "https://doi.org/10.1609/aaai.v29i1.9407" @default.
- W2395489311 hasPublicationYear "2015" @default.
- W2395489311 type Work @default.
- W2395489311 sameAs 2395489311 @default.
- W2395489311 citedByCount "7" @default.
- W2395489311 countsByYear W23954893112015 @default.
- W2395489311 countsByYear W23954893112019 @default.
- W2395489311 countsByYear W23954893112020 @default.
- W2395489311 countsByYear W23954893112021 @default.
- W2395489311 countsByYear W23954893112023 @default.
- W2395489311 crossrefType "journal-article" @default.
- W2395489311 hasAuthorship W2395489311A5005730180 @default.
- W2395489311 hasAuthorship W2395489311A5051193060 @default.
- W2395489311 hasBestOaLocation W23954893111 @default.
- W2395489311 hasConcept C111472728 @default.
- W2395489311 hasConcept C11413529 @default.
- W2395489311 hasConcept C121332964 @default.
- W2395489311 hasConcept C138885662 @default.
- W2395489311 hasConcept C154945302 @default.
- W2395489311 hasConcept C162324750 @default.
- W2395489311 hasConcept C185592680 @default.
- W2395489311 hasConcept C187736073 @default.
- W2395489311 hasConcept C188027245 @default.
- W2395489311 hasConcept C199343813 @default.
- W2395489311 hasConcept C22497172 @default.
- W2395489311 hasConcept C2777686260 @default.
- W2395489311 hasConcept C2780451532 @default.
- W2395489311 hasConcept C2780791683 @default.
- W2395489311 hasConcept C33923547 @default.
- W2395489311 hasConcept C41008148 @default.
- W2395489311 hasConcept C57493831 @default.
- W2395489311 hasConcept C62520636 @default.
- W2395489311 hasConcept C71139939 @default.
- W2395489311 hasConcept C71924100 @default.
- W2395489311 hasConceptScore W2395489311C111472728 @default.
- W2395489311 hasConceptScore W2395489311C11413529 @default.
- W2395489311 hasConceptScore W2395489311C121332964 @default.
- W2395489311 hasConceptScore W2395489311C138885662 @default.
- W2395489311 hasConceptScore W2395489311C154945302 @default.
- W2395489311 hasConceptScore W2395489311C162324750 @default.
- W2395489311 hasConceptScore W2395489311C185592680 @default.
- W2395489311 hasConceptScore W2395489311C187736073 @default.
- W2395489311 hasConceptScore W2395489311C188027245 @default.
- W2395489311 hasConceptScore W2395489311C199343813 @default.
- W2395489311 hasConceptScore W2395489311C22497172 @default.
- W2395489311 hasConceptScore W2395489311C2777686260 @default.
- W2395489311 hasConceptScore W2395489311C2780451532 @default.
- W2395489311 hasConceptScore W2395489311C2780791683 @default.
- W2395489311 hasConceptScore W2395489311C33923547 @default.
- W2395489311 hasConceptScore W2395489311C41008148 @default.
- W2395489311 hasConceptScore W2395489311C57493831 @default.
- W2395489311 hasConceptScore W2395489311C62520636 @default.
- W2395489311 hasConceptScore W2395489311C71139939 @default.
- W2395489311 hasConceptScore W2395489311C71924100 @default.
- W2395489311 hasIssue "1" @default.
- W2395489311 hasLocation W23954893111 @default.
- W2395489311 hasOpenAccess W2395489311 @default.
- W2395489311 hasPrimaryLocation W23954893111 @default.
- W2395489311 hasRelatedWork W1607472309 @default.
- W2395489311 hasRelatedWork W2077500377 @default.
- W2395489311 hasRelatedWork W2081647779 @default.
- W2395489311 hasRelatedWork W2108237372 @default.
- W2395489311 hasRelatedWork W2370597599 @default.
- W2395489311 hasRelatedWork W2912415823 @default.
- W2395489311 hasRelatedWork W3107474891 @default.
- W2395489311 hasRelatedWork W3128051602 @default.
- W2395489311 hasRelatedWork W3217387898 @default.
- W2395489311 hasRelatedWork W4237750775 @default.
- W2395489311 hasVolume "29" @default.
- W2395489311 isParatext "false" @default.
- W2395489311 isRetracted "false" @default.
- W2395489311 magId "2395489311" @default.
- W2395489311 workType "article" @default.