Matches in SemOpenAlex for { <https://semopenalex.org/work/W2953930623> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2953930623 abstract "For theorem proving applications, the aspect calculus for reasoning about states and actions has some advantages over existing situation calculus formalisms, and also provides an application domain and a source of problems for first-order theorem provers. The aspect calculus provides a representation for reasoning about states and actions that is suited to modular domains. An aspect names a portion of a state, that is, a substate, such as a room in a building or a city in a country. Aspects may have aspects of their own. A state is assumed to be either a leaf state that cannot be further decomposed, or to be composed of substates, and actions associated with one substate do not influence other, disjoint substates. This feature can reduce the number of frame axioms that are needed if the domain has a modular structure. It can also permit planning problems on independent substates to be solved independently to some degree. However, interactions between independent substates are also permitted." @default.
- W2953930623 created "2019-07-12" @default.
- W2953930623 creator A5019821870 @default.
- W2953930623 date "2019-01-01" @default.
- W2953930623 modified "2023-09-28" @default.
- W2953930623 title "The Aspect Calculus" @default.
- W2953930623 cites W1484524474 @default.
- W2953930623 cites W1502646816 @default.
- W2953930623 cites W1582320142 @default.
- W2953930623 cites W1599735882 @default.
- W2953930623 cites W2005473008 @default.
- W2953930623 cites W2139771194 @default.
- W2953930623 cites W2172181603 @default.
- W2953930623 cites W81942528 @default.
- W2953930623 doi "https://doi.org/10.1007/978-3-030-29436-6_24" @default.
- W2953930623 hasPublicationYear "2019" @default.
- W2953930623 type Work @default.
- W2953930623 sameAs 2953930623 @default.
- W2953930623 citedByCount "0" @default.
- W2953930623 crossrefType "book-chapter" @default.
- W2953930623 hasAuthorship W2953930623A5019821870 @default.
- W2953930623 hasConcept C101468663 @default.
- W2953930623 hasConcept C11413529 @default.
- W2953930623 hasConcept C118615104 @default.
- W2953930623 hasConcept C134306372 @default.
- W2953930623 hasConcept C136119220 @default.
- W2953930623 hasConcept C167729594 @default.
- W2953930623 hasConcept C171018156 @default.
- W2953930623 hasConcept C17744445 @default.
- W2953930623 hasConcept C199343813 @default.
- W2953930623 hasConcept C199360897 @default.
- W2953930623 hasConcept C199539241 @default.
- W2953930623 hasConcept C202444582 @default.
- W2953930623 hasConcept C206880738 @default.
- W2953930623 hasConcept C22497172 @default.
- W2953930623 hasConcept C2524010 @default.
- W2953930623 hasConcept C2776359362 @default.
- W2953930623 hasConcept C2777686260 @default.
- W2953930623 hasConcept C33923547 @default.
- W2953930623 hasConcept C36503486 @default.
- W2953930623 hasConcept C41008148 @default.
- W2953930623 hasConcept C45340560 @default.
- W2953930623 hasConcept C48103436 @default.
- W2953930623 hasConcept C71924100 @default.
- W2953930623 hasConcept C80444323 @default.
- W2953930623 hasConcept C94625758 @default.
- W2953930623 hasConceptScore W2953930623C101468663 @default.
- W2953930623 hasConceptScore W2953930623C11413529 @default.
- W2953930623 hasConceptScore W2953930623C118615104 @default.
- W2953930623 hasConceptScore W2953930623C134306372 @default.
- W2953930623 hasConceptScore W2953930623C136119220 @default.
- W2953930623 hasConceptScore W2953930623C167729594 @default.
- W2953930623 hasConceptScore W2953930623C171018156 @default.
- W2953930623 hasConceptScore W2953930623C17744445 @default.
- W2953930623 hasConceptScore W2953930623C199343813 @default.
- W2953930623 hasConceptScore W2953930623C199360897 @default.
- W2953930623 hasConceptScore W2953930623C199539241 @default.
- W2953930623 hasConceptScore W2953930623C202444582 @default.
- W2953930623 hasConceptScore W2953930623C206880738 @default.
- W2953930623 hasConceptScore W2953930623C22497172 @default.
- W2953930623 hasConceptScore W2953930623C2524010 @default.
- W2953930623 hasConceptScore W2953930623C2776359362 @default.
- W2953930623 hasConceptScore W2953930623C2777686260 @default.
- W2953930623 hasConceptScore W2953930623C33923547 @default.
- W2953930623 hasConceptScore W2953930623C36503486 @default.
- W2953930623 hasConceptScore W2953930623C41008148 @default.
- W2953930623 hasConceptScore W2953930623C45340560 @default.
- W2953930623 hasConceptScore W2953930623C48103436 @default.
- W2953930623 hasConceptScore W2953930623C71924100 @default.
- W2953930623 hasConceptScore W2953930623C80444323 @default.
- W2953930623 hasConceptScore W2953930623C94625758 @default.
- W2953930623 hasLocation W29539306231 @default.
- W2953930623 hasOpenAccess W2953930623 @default.
- W2953930623 hasPrimaryLocation W29539306231 @default.
- W2953930623 hasRelatedWork W137408535 @default.
- W2953930623 hasRelatedWork W139967669 @default.
- W2953930623 hasRelatedWork W1514220716 @default.
- W2953930623 hasRelatedWork W1536407801 @default.
- W2953930623 hasRelatedWork W1780615115 @default.
- W2953930623 hasRelatedWork W1860168234 @default.
- W2953930623 hasRelatedWork W193007183 @default.
- W2953930623 hasRelatedWork W2045352000 @default.
- W2953930623 hasRelatedWork W2090258249 @default.
- W2953930623 hasRelatedWork W2101443478 @default.
- W2953930623 hasRelatedWork W2134022633 @default.
- W2953930623 hasRelatedWork W2139771194 @default.
- W2953930623 hasRelatedWork W2154900313 @default.
- W2953930623 hasRelatedWork W2216164161 @default.
- W2953930623 hasRelatedWork W2725917660 @default.
- W2953930623 hasRelatedWork W2885703688 @default.
- W2953930623 hasRelatedWork W2942487569 @default.
- W2953930623 hasRelatedWork W3144608739 @default.
- W2953930623 hasRelatedWork W627345477 @default.
- W2953930623 hasRelatedWork W3095687242 @default.
- W2953930623 isParatext "false" @default.
- W2953930623 isRetracted "false" @default.
- W2953930623 magId "2953930623" @default.
- W2953930623 workType "book-chapter" @default.