FRINK Linked Data Fragments server

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

• W130404319 endingPage "527" @default.
• W130404319 startingPage "522" @default.
• W130404319 abstract "A basic reasoning problem in dynamic systems is the projection problem: determine if a formula holds after a sequence of actions has been performed. In this paper, we propose a tractable solution to the projection problem in the presence of incomplete first-order knowledge and contextdependent actions. Our solution is based on a type of progression, that is, we progress the initial knowledge base (KB) wrt the action sequence and answer the query against the resulting KB. The form of reasoning we propose is always logically sound and is also logically complete when the query is in a certain normal form and the agent has complete knowledge about the context of any context-dependent actions." @default.
• W130404319 created "2016-06-24" @default.
• W130404319 creator A5025681351 @default.
• W130404319 creator A5067387552 @default.
• W130404319 date "2005-07-30" @default.
• W130404319 modified "2023-09-26" @default.
• W130404319 title "Tractable reasoning with incomplete first-order knowledge in dynamic systems with context-dependent actions" @default.
• W130404319 cites W1479728228 @default.
• W130404319 cites W1549792078 @default.
• W130404319 cites W1597144780 @default.
• W130404319 cites W196063391 @default.
• W130404319 cites W1973391999 @default.
• W130404319 cites W2009810952 @default.
• W130404319 cites W2038809129 @default.
• W130404319 cites W2045474169 @default.
• W130404319 cites W205680633 @default.
• W130404319 cites W2138162238 @default.
• W130404319 cites W2913204878 @default.
• W130404319 cites W3202564911 @default.
• W130404319 cites W36235450 @default.
• W130404319 hasPublicationYear "2005" @default.
• W130404319 type Work @default.
• W130404319 sameAs 130404319 @default.
• W130404319 citedByCount "34" @default.
• W130404319 countsByYear W1304043192012 @default.
• W130404319 countsByYear W1304043192013 @default.
• W130404319 countsByYear W1304043192014 @default.
• W130404319 countsByYear W1304043192016 @default.
• W130404319 countsByYear W1304043192017 @default.
• W130404319 countsByYear W1304043192018 @default.
• W130404319 countsByYear W1304043192020 @default.
• W130404319 countsByYear W1304043192021 @default.
• W130404319 crossrefType "proceedings-article" @default.
• W130404319 hasAuthorship W130404319A5025681351 @default.
• W130404319 hasAuthorship W130404319A5067387552 @default.
• W130404319 hasConcept C10138342 @default.
• W130404319 hasConcept C11413529 @default.
• W130404319 hasConcept C115925183 @default.
• W130404319 hasConcept C121332964 @default.
• W130404319 hasConcept C134306372 @default.
• W130404319 hasConcept C151730666 @default.
• W130404319 hasConcept C154945302 @default.
• W130404319 hasConcept C162324750 @default.
• W130404319 hasConcept C182306322 @default.
• W130404319 hasConcept C2778112365 @default.
• W130404319 hasConcept C2779343474 @default.
• W130404319 hasConcept C2780791683 @default.
• W130404319 hasConcept C33923547 @default.
• W130404319 hasConcept C41008148 @default.
• W130404319 hasConcept C42058472 @default.
• W130404319 hasConcept C4554734 @default.
• W130404319 hasConcept C54355233 @default.
• W130404319 hasConcept C57493831 @default.
• W130404319 hasConcept C62520636 @default.
• W130404319 hasConcept C80444323 @default.
• W130404319 hasConcept C86803240 @default.
• W130404319 hasConceptScore W130404319C10138342 @default.
• W130404319 hasConceptScore W130404319C11413529 @default.
• W130404319 hasConceptScore W130404319C115925183 @default.
• W130404319 hasConceptScore W130404319C121332964 @default.
• W130404319 hasConceptScore W130404319C134306372 @default.
• W130404319 hasConceptScore W130404319C151730666 @default.
• W130404319 hasConceptScore W130404319C154945302 @default.
• W130404319 hasConceptScore W130404319C162324750 @default.
• W130404319 hasConceptScore W130404319C182306322 @default.
• W130404319 hasConceptScore W130404319C2778112365 @default.
• W130404319 hasConceptScore W130404319C2779343474 @default.
• W130404319 hasConceptScore W130404319C2780791683 @default.
• W130404319 hasConceptScore W130404319C33923547 @default.
• W130404319 hasConceptScore W130404319C41008148 @default.
• W130404319 hasConceptScore W130404319C42058472 @default.
• W130404319 hasConceptScore W130404319C4554734 @default.
• W130404319 hasConceptScore W130404319C54355233 @default.
• W130404319 hasConceptScore W130404319C57493831 @default.
• W130404319 hasConceptScore W130404319C62520636 @default.
• W130404319 hasConceptScore W130404319C80444323 @default.
• W130404319 hasConceptScore W130404319C86803240 @default.
• W130404319 hasLocation W1304043191 @default.
• W130404319 hasOpenAccess W130404319 @default.
• W130404319 hasPrimaryLocation W1304043191 @default.
• W130404319 hasRelatedWork W1218394713 @default.
• W130404319 hasRelatedWork W148570748 @default.
• W130404319 hasRelatedWork W1555093197 @default.
• W130404319 hasRelatedWork W1973391999 @default.
• W130404319 hasRelatedWork W1981542448 @default.
• W130404319 hasRelatedWork W2009810952 @default.
• W130404319 hasRelatedWork W2022716165 @default.
• W130404319 hasRelatedWork W2038809129 @default.
• W130404319 hasRelatedWork W2045474169 @default.
• W130404319 hasRelatedWork W2070368455 @default.
• W130404319 hasRelatedWork W2088979754 @default.
• W130404319 hasRelatedWork W2101757655 @default.
• W130404319 hasRelatedWork W2121375212 @default.
• W130404319 hasRelatedWork W2128888217 @default.
• W130404319 hasRelatedWork W2138162238 @default.
• W130404319 hasRelatedWork W2147520802 @default.
• W130404319 hasRelatedWork W2161931079 @default.
• W130404319 hasRelatedWork W224243095 @default.

• next