Matches in SemOpenAlex for { <https://semopenalex.org/work/W1565660740> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1565660740 abstract "This paper presents a logical approach to the formalization of qualitative reasoning about processes in an incompletely known world. I take as a basis a variant of the situation calculus which allows representing of concurrent actions and reasoning by default about unspecified changes [1]. My work is founded also on the' paper [2] where a general method of (circumscriptive) minimization in theories describing changes has been proposed. The main contributions of this paper is as follows:" @default.
- W1565660740 created "2016-06-24" @default.
- W1565660740 creator A5046331705 @default.
- W1565660740 date "1994-01-01" @default.
- W1565660740 modified "2023-09-23" @default.
- W1565660740 title "Interval situation calculus" @default.
- W1565660740 cites W1608029391 @default.
- W1565660740 doi "https://doi.org/10.1007/3-540-58467-6_43" @default.
- W1565660740 hasPublicationYear "1994" @default.
- W1565660740 type Work @default.
- W1565660740 sameAs 1565660740 @default.
- W1565660740 citedByCount "7" @default.
- W1565660740 countsByYear W15656607402021 @default.
- W1565660740 crossrefType "book-chapter" @default.
- W1565660740 hasAuthorship W1565660740A5046331705 @default.
- W1565660740 hasConcept C11413529 @default.
- W1565660740 hasConcept C12426560 @default.
- W1565660740 hasConcept C147764199 @default.
- W1565660740 hasConcept C154945302 @default.
- W1565660740 hasConcept C199343813 @default.
- W1565660740 hasConcept C199360897 @default.
- W1565660740 hasConcept C22497172 @default.
- W1565660740 hasConcept C2524010 @default.
- W1565660740 hasConcept C2777686260 @default.
- W1565660740 hasConcept C33923547 @default.
- W1565660740 hasConcept C41008148 @default.
- W1565660740 hasConcept C69562738 @default.
- W1565660740 hasConcept C71924100 @default.
- W1565660740 hasConcept C80444323 @default.
- W1565660740 hasConceptScore W1565660740C11413529 @default.
- W1565660740 hasConceptScore W1565660740C12426560 @default.
- W1565660740 hasConceptScore W1565660740C147764199 @default.
- W1565660740 hasConceptScore W1565660740C154945302 @default.
- W1565660740 hasConceptScore W1565660740C199343813 @default.
- W1565660740 hasConceptScore W1565660740C199360897 @default.
- W1565660740 hasConceptScore W1565660740C22497172 @default.
- W1565660740 hasConceptScore W1565660740C2524010 @default.
- W1565660740 hasConceptScore W1565660740C2777686260 @default.
- W1565660740 hasConceptScore W1565660740C33923547 @default.
- W1565660740 hasConceptScore W1565660740C41008148 @default.
- W1565660740 hasConceptScore W1565660740C69562738 @default.
- W1565660740 hasConceptScore W1565660740C71924100 @default.
- W1565660740 hasConceptScore W1565660740C80444323 @default.
- W1565660740 hasLocation W15656607401 @default.
- W1565660740 hasOpenAccess W1565660740 @default.
- W1565660740 hasPrimaryLocation W15656607401 @default.
- W1565660740 hasRelatedWork W151663545 @default.
- W1565660740 hasRelatedWork W1557893839 @default.
- W1565660740 hasRelatedWork W180778080 @default.
- W1565660740 hasRelatedWork W195050859 @default.
- W1565660740 hasRelatedWork W1996038197 @default.
- W1565660740 hasRelatedWork W2008838944 @default.
- W1565660740 hasRelatedWork W2022079507 @default.
- W1565660740 hasRelatedWork W2138162238 @default.
- W1565660740 hasRelatedWork W2328025891 @default.
- W1565660740 hasRelatedWork W2555201959 @default.
- W1565660740 hasRelatedWork W2605953464 @default.
- W1565660740 hasRelatedWork W2739649343 @default.
- W1565660740 hasRelatedWork W3115308655 @default.
- W1565660740 hasRelatedWork W3126166616 @default.
- W1565660740 hasRelatedWork W3159799407 @default.
- W1565660740 hasRelatedWork W3193724324 @default.
- W1565660740 hasRelatedWork W42739542 @default.
- W1565660740 hasRelatedWork W76925580 @default.
- W1565660740 hasRelatedWork W2335988281 @default.
- W1565660740 hasRelatedWork W90792679 @default.
- W1565660740 isParatext "false" @default.
- W1565660740 isRetracted "false" @default.
- W1565660740 magId "1565660740" @default.
- W1565660740 workType "book-chapter" @default.