Matches in SemOpenAlex for { <https://semopenalex.org/work/W61683764> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W61683764 abstract "This chapter formalizes the commonsense knowledge represented in Chapter 4. Formulae have the form of Z notion, Woodcock and Davies (1996), “( ∀ x |p ∙ q)” (it is read as “for all x satisfying p, q holds”), “( ∀ x ∙ q)” (it is read as “for all x, q holds”), “( ∃ x |p ∙ q)” (it is read as “there is x satisfying p such that q”), “( ∃ x ∙ q)” (it is read as “there is x such that q”), and ‘ιx(q)’ (it is read as “the x that q’s”). x is the bound variable, p is the constraint of x, and q is the predicate. ‘true’ stands for T and ‘false’ stands for F. The proofs of the theorems in this chapter are listed in the appendix." @default.
- W61683764 created "2016-06-24" @default.
- W61683764 creator A5039275344 @default.
- W61683764 date "2012-01-01" @default.
- W61683764 modified "2023-09-27" @default.
- W61683764 title "The Formalism: A Region-Based Representation and Reasoning of Spatial Environments" @default.
- W61683764 doi "https://doi.org/10.1007/978-3-642-24058-4_5" @default.
- W61683764 hasPublicationYear "2012" @default.
- W61683764 type Work @default.
- W61683764 sameAs 61683764 @default.
- W61683764 citedByCount "0" @default.
- W61683764 crossrefType "book-chapter" @default.
- W61683764 hasAuthorship W61683764A5039275344 @default.
- W61683764 hasConcept C108710211 @default.
- W61683764 hasConcept C114614502 @default.
- W61683764 hasConcept C118615104 @default.
- W61683764 hasConcept C140146324 @default.
- W61683764 hasConcept C142362112 @default.
- W61683764 hasConcept C153349607 @default.
- W61683764 hasConcept C199360897 @default.
- W61683764 hasConcept C2524010 @default.
- W61683764 hasConcept C33923547 @default.
- W61683764 hasConcept C41008148 @default.
- W61683764 hasConcept C558565934 @default.
- W61683764 hasConcept C73301696 @default.
- W61683764 hasConceptScore W61683764C108710211 @default.
- W61683764 hasConceptScore W61683764C114614502 @default.
- W61683764 hasConceptScore W61683764C118615104 @default.
- W61683764 hasConceptScore W61683764C140146324 @default.
- W61683764 hasConceptScore W61683764C142362112 @default.
- W61683764 hasConceptScore W61683764C153349607 @default.
- W61683764 hasConceptScore W61683764C199360897 @default.
- W61683764 hasConceptScore W61683764C2524010 @default.
- W61683764 hasConceptScore W61683764C33923547 @default.
- W61683764 hasConceptScore W61683764C41008148 @default.
- W61683764 hasConceptScore W61683764C558565934 @default.
- W61683764 hasConceptScore W61683764C73301696 @default.
- W61683764 hasLocation W616837641 @default.
- W61683764 hasOpenAccess W61683764 @default.
- W61683764 hasPrimaryLocation W616837641 @default.
- W61683764 hasRelatedWork W1794809807 @default.
- W61683764 hasRelatedWork W1810443935 @default.
- W61683764 hasRelatedWork W2014459135 @default.
- W61683764 hasRelatedWork W2015507170 @default.
- W61683764 hasRelatedWork W2030054554 @default.
- W61683764 hasRelatedWork W2038294104 @default.
- W61683764 hasRelatedWork W2038607644 @default.
- W61683764 hasRelatedWork W2098563247 @default.
- W61683764 hasRelatedWork W2186482911 @default.
- W61683764 hasRelatedWork W2324181225 @default.
- W61683764 hasRelatedWork W2358735544 @default.
- W61683764 hasRelatedWork W2399659697 @default.
- W61683764 hasRelatedWork W2491101579 @default.
- W61683764 hasRelatedWork W2530337305 @default.
- W61683764 hasRelatedWork W2901326050 @default.
- W61683764 hasRelatedWork W2955118467 @default.
- W61683764 hasRelatedWork W2968197169 @default.
- W61683764 hasRelatedWork W182858927 @default.
- W61683764 hasRelatedWork W2161750308 @default.
- W61683764 hasRelatedWork W2430458483 @default.
- W61683764 isParatext "false" @default.
- W61683764 isRetracted "false" @default.
- W61683764 magId "61683764" @default.
- W61683764 workType "book-chapter" @default.