FRINK Linked Data Fragments server

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

• W123417488 endingPage "161" @default.
• W123417488 startingPage "144" @default.
• W123417488 abstract "We consider a modified version of the situation calculus built using a two-variable fragment of the first-order logic extended with counting quantifiers. We mention several additional groups of axioms that need to be introduced to capture taxonomic reasoning. We show that the regression operator in this framework can be defined similarly to regression in the Reiter's version of the situation calculus. Using this new regression operator, we show that the projection problem (that is the main reasoning task in the situation calculus) is decidable in the modified version. We mention possible applications of this result to formalization of Semantic Web services." @default.
• W123417488 created "2016-06-24" @default.
• W123417488 creator A5016326843 @default.
• W123417488 creator A5074290110 @default.
• W123417488 date "2006-05-23" @default.
• W123417488 modified "2023-09-23" @default.
• W123417488 title "The Two-Variable Situation Calculus" @default.
• W123417488 cites W130404319 @default.
• W123417488 cites W1527044402 @default.
• W123417488 cites W1555563750 @default.
• W123417488 cites W1559146946 @default.
• W123417488 cites W1601102605 @default.
• W123417488 cites W1691564963 @default.
• W123417488 cites W1782556680 @default.
• W123417488 cites W1793807384 @default.
• W123417488 cites W1963833910 @default.
• W123417488 cites W1990890881 @default.
• W123417488 cites W1998044200 @default.
• W123417488 cites W2022716165 @default.
• W123417488 cites W2038809129 @default.
• W123417488 cites W2045474169 @default.
• W123417488 cites W2099081288 @default.
• W123417488 cites W2104020532 @default.
• W123417488 cites W2106319433 @default.
• W123417488 cites W2123064168 @default.
• W123417488 cites W2128204593 @default.
• W123417488 cites W2166047453 @default.
• W123417488 cites W2166108892 @default.
• W123417488 cites W2167840796 @default.
• W123417488 cites W68830518 @default.
• W123417488 cites W69757652 @default.
• W123417488 hasPublicationYear "2006" @default.
• W123417488 type Work @default.
• W123417488 sameAs 123417488 @default.
• W123417488 citedByCount "1" @default.
• W123417488 crossrefType "proceedings-article" @default.
• W123417488 hasAuthorship W123417488A5016326843 @default.
• W123417488 hasAuthorship W123417488A5074290110 @default.
• W123417488 hasConcept C104317684 @default.
• W123417488 hasConcept C108710211 @default.
• W123417488 hasConcept C11413529 @default.
• W123417488 hasConcept C134306372 @default.
• W123417488 hasConcept C136119220 @default.
• W123417488 hasConcept C153269930 @default.
• W123417488 hasConcept C154945302 @default.
• W123417488 hasConcept C158448853 @default.
• W123417488 hasConcept C167729594 @default.
• W123417488 hasConcept C17020691 @default.
• W123417488 hasConcept C182365436 @default.
• W123417488 hasConcept C185592680 @default.
• W123417488 hasConcept C199343813 @default.
• W123417488 hasConcept C199360897 @default.
• W123417488 hasConcept C202444582 @default.
• W123417488 hasConcept C22497172 @default.
• W123417488 hasConcept C2524010 @default.
• W123417488 hasConcept C2776235265 @default.
• W123417488 hasConcept C2777686260 @default.
• W123417488 hasConcept C33923547 @default.
• W123417488 hasConcept C41008148 @default.
• W123417488 hasConcept C55493867 @default.
• W123417488 hasConcept C57493831 @default.
• W123417488 hasConcept C62073222 @default.
• W123417488 hasConcept C6489637 @default.
• W123417488 hasConcept C65880906 @default.
• W123417488 hasConcept C71924100 @default.
• W123417488 hasConcept C80444323 @default.
• W123417488 hasConcept C86339819 @default.
• W123417488 hasConceptScore W123417488C104317684 @default.
• W123417488 hasConceptScore W123417488C108710211 @default.
• W123417488 hasConceptScore W123417488C11413529 @default.
• W123417488 hasConceptScore W123417488C134306372 @default.
• W123417488 hasConceptScore W123417488C136119220 @default.
• W123417488 hasConceptScore W123417488C153269930 @default.
• W123417488 hasConceptScore W123417488C154945302 @default.
• W123417488 hasConceptScore W123417488C158448853 @default.
• W123417488 hasConceptScore W123417488C167729594 @default.
• W123417488 hasConceptScore W123417488C17020691 @default.
• W123417488 hasConceptScore W123417488C182365436 @default.
• W123417488 hasConceptScore W123417488C185592680 @default.
• W123417488 hasConceptScore W123417488C199343813 @default.
• W123417488 hasConceptScore W123417488C199360897 @default.
• W123417488 hasConceptScore W123417488C202444582 @default.
• W123417488 hasConceptScore W123417488C22497172 @default.
• W123417488 hasConceptScore W123417488C2524010 @default.
• W123417488 hasConceptScore W123417488C2776235265 @default.
• W123417488 hasConceptScore W123417488C2777686260 @default.
• W123417488 hasConceptScore W123417488C33923547 @default.
• W123417488 hasConceptScore W123417488C41008148 @default.
• W123417488 hasConceptScore W123417488C55493867 @default.
• W123417488 hasConceptScore W123417488C57493831 @default.
• W123417488 hasConceptScore W123417488C62073222 @default.
• W123417488 hasConceptScore W123417488C6489637 @default.
• W123417488 hasConceptScore W123417488C65880906 @default.
• W123417488 hasConceptScore W123417488C71924100 @default.
• W123417488 hasConceptScore W123417488C80444323 @default.
• W123417488 hasConceptScore W123417488C86339819 @default.
• W123417488 hasLocation W1234174881 @default.
• W123417488 hasOpenAccess W123417488 @default.

• next