FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1763963671> ?p ?o ?g. }

• W1763963671 endingPage "739" @default.
• W1763963671 startingPage "705" @default.
• W1763963671 abstract "We investigate agents that have incomplete information and make decisions based on their beliefs expressed as situation calculus bounded action theories. Such theories have an infinite object domain, but the number of objects that belong to fluents at each time point is bounded by a given constant. Recently, it has been shown that verifying temporal properties over such theories is decidable. We take a first-person view and use the theory to capture what the agent believes about the domain of interest and the actions affecting it. In this paper, we study verification of temporal properties over online executions. These are executions resulting from agents performing only actions that are feasible according to their beliefs. To do so, we first examine progression, which captures belief state update resulting from actions in the situation calculus. We show that, for bounded action theories, progression, and hence belief states, can always be represented as a bounded first-order logic theory. Then, based on this result, we prove decidability of temporal verification over online executions for bounded action theories." @default.
• W1763963671 created "2016-06-24" @default.
• W1763963671 creator A5013290512 @default.
• W1763963671 creator A5057746643 @default.
• W1763963671 creator A5060460434 @default.
• W1763963671 creator A5084667235 @default.
• W1763963671 date "2015-09-05" @default.
• W1763963671 modified "2023-10-18" @default.
• W1763963671 title "Progression and Verification of Situation Calculus Agents with Bounded Beliefs" @default.
• W1763963671 cites W126715600 @default.
• W1763963671 cites W1502812478 @default.
• W1763963671 cites W1511214424 @default.
• W1763963671 cites W1512310098 @default.
• W1763963671 cites W1559328976 @default.
• W1763963671 cites W1573078772 @default.
• W1763963671 cites W1587782590 @default.
• W1763963671 cites W1587932713 @default.
• W1763963671 cites W1587990038 @default.
• W1763963671 cites W1607820520 @default.
• W1763963671 cites W1674929318 @default.
• W1763963671 cites W1763963671 @default.
• W1763963671 cites W1973391999 @default.
• W1763963671 cites W1976097854 @default.
• W1763963671 cites W2012751511 @default.
• W1763963671 cites W2020787985 @default.
• W1763963671 cites W2022716165 @default.
• W1763963671 cites W2045474169 @default.
• W1763963671 cites W2045716498 @default.
• W1763963671 cites W2062569786 @default.
• W1763963671 cites W2064201814 @default.
• W1763963671 cites W2070368455 @default.
• W1763963671 cites W2109973265 @default.
• W1763963671 cites W2119477031 @default.
• W1763963671 cites W2126740902 @default.
• W1763963671 cites W2128924604 @default.
• W1763963671 cites W2139630036 @default.
• W1763963671 cites W2154702004 @default.
• W1763963671 cites W2163133050 @default.
• W1763963671 cites W4251654175 @default.
• W1763963671 cites W4252785764 @default.
• W1763963671 cites W4297899613 @default.
• W1763963671 doi "https://doi.org/10.1007/s11225-015-9626-z" @default.
• W1763963671 hasPublicationYear "2015" @default.
• W1763963671 type Work @default.
• W1763963671 sameAs 1763963671 @default.
• W1763963671 citedByCount "5" @default.
• W1763963671 countsByYear W17639636712014 @default.
• W1763963671 countsByYear W17639636712015 @default.
• W1763963671 countsByYear W17639636712016 @default.
• W1763963671 countsByYear W17639636712019 @default.
• W1763963671 countsByYear W17639636712020 @default.
• W1763963671 crossrefType "journal-article" @default.
• W1763963671 hasAuthorship W1763963671A5013290512 @default.
• W1763963671 hasAuthorship W1763963671A5057746643 @default.
• W1763963671 hasAuthorship W1763963671A5060460434 @default.
• W1763963671 hasAuthorship W1763963671A5084667235 @default.
• W1763963671 hasBestOaLocation W17639636711 @default.
• W1763963671 hasConcept C111472728 @default.
• W1763963671 hasConcept C121332964 @default.
• W1763963671 hasConcept C134306372 @default.
• W1763963671 hasConcept C138885662 @default.
• W1763963671 hasConcept C153269930 @default.
• W1763963671 hasConcept C154945302 @default.
• W1763963671 hasConcept C199343813 @default.
• W1763963671 hasConcept C206987240 @default.
• W1763963671 hasConcept C22497172 @default.
• W1763963671 hasConcept C2777686260 @default.
• W1763963671 hasConcept C2780791683 @default.
• W1763963671 hasConcept C33923547 @default.
• W1763963671 hasConcept C34388435 @default.
• W1763963671 hasConcept C36503486 @default.
• W1763963671 hasConcept C41008148 @default.
• W1763963671 hasConcept C62520636 @default.
• W1763963671 hasConcept C71924100 @default.
• W1763963671 hasConcept C80444323 @default.
• W1763963671 hasConceptScore W1763963671C111472728 @default.
• W1763963671 hasConceptScore W1763963671C121332964 @default.
• W1763963671 hasConceptScore W1763963671C134306372 @default.
• W1763963671 hasConceptScore W1763963671C138885662 @default.
• W1763963671 hasConceptScore W1763963671C153269930 @default.
• W1763963671 hasConceptScore W1763963671C154945302 @default.
• W1763963671 hasConceptScore W1763963671C199343813 @default.
• W1763963671 hasConceptScore W1763963671C206987240 @default.
• W1763963671 hasConceptScore W1763963671C22497172 @default.
• W1763963671 hasConceptScore W1763963671C2777686260 @default.
• W1763963671 hasConceptScore W1763963671C2780791683 @default.
• W1763963671 hasConceptScore W1763963671C33923547 @default.
• W1763963671 hasConceptScore W1763963671C34388435 @default.
• W1763963671 hasConceptScore W1763963671C36503486 @default.
• W1763963671 hasConceptScore W1763963671C41008148 @default.
• W1763963671 hasConceptScore W1763963671C62520636 @default.
• W1763963671 hasConceptScore W1763963671C71924100 @default.
• W1763963671 hasConceptScore W1763963671C80444323 @default.
• W1763963671 hasFunder F4320320300 @default.
• W1763963671 hasIssue "4" @default.
• W1763963671 hasLocation W17639636711 @default.
• W1763963671 hasLocation W17639636712 @default.
• W1763963671 hasLocation W17639636713 @default.

• next