Matches in SemOpenAlex for { <https://semopenalex.org/work/W2062205093> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2062205093 endingPage "169" @default.
- W2062205093 startingPage "109" @default.
- W2062205093 abstract "As an alternative to planning, an approach to high-level agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a programming language is presented and illustrated with some examples. The language includes facilities for prioritizing the execution of concurrent processes, interrupting the execution when certain conditions become true, and dealing with exogenous actions. The language differs from other procedural formalisms for concurrency in that the initial state can be incompletely specified and the primitive actions can be user-defined by axioms in the situation calculus. Some mathematical properties of the language are proven, for instance, that the proposed semantics is equivalent to that given earlier for the portion of the language without concurrency." @default.
- W2062205093 created "2016-06-24" @default.
- W2062205093 creator A5013290512 @default.
- W2062205093 creator A5025681351 @default.
- W2062205093 creator A5060460434 @default.
- W2062205093 date "2000-08-01" @default.
- W2062205093 modified "2023-10-18" @default.
- W2062205093 title "ConGolog, a concurrent programming language based on the situation calculus" @default.
- W2062205093 cites W1971925101 @default.
- W2062205093 cites W1973391999 @default.
- W2062205093 cites W1993512664 @default.
- W2062205093 cites W2004550196 @default.
- W2062205093 cites W2005473008 @default.
- W2062205093 cites W2045474169 @default.
- W2062205093 cites W2046213250 @default.
- W2062205093 cites W2100448794 @default.
- W2062205093 cites W2105435765 @default.
- W2062205093 cites W2106172458 @default.
- W2062205093 cites W2163654786 @default.
- W2062205093 doi "https://doi.org/10.1016/s0004-3702(00)00031-x" @default.
- W2062205093 hasPublicationYear "2000" @default.
- W2062205093 type Work @default.
- W2062205093 sameAs 2062205093 @default.
- W2062205093 citedByCount "463" @default.
- W2062205093 countsByYear W20622050932012 @default.
- W2062205093 countsByYear W20622050932013 @default.
- W2062205093 countsByYear W20622050932014 @default.
- W2062205093 countsByYear W20622050932015 @default.
- W2062205093 countsByYear W20622050932016 @default.
- W2062205093 countsByYear W20622050932017 @default.
- W2062205093 countsByYear W20622050932018 @default.
- W2062205093 countsByYear W20622050932019 @default.
- W2062205093 countsByYear W20622050932020 @default.
- W2062205093 countsByYear W20622050932021 @default.
- W2062205093 countsByYear W20622050932022 @default.
- W2062205093 crossrefType "journal-article" @default.
- W2062205093 hasAuthorship W2062205093A5013290512 @default.
- W2062205093 hasAuthorship W2062205093A5025681351 @default.
- W2062205093 hasAuthorship W2062205093A5060460434 @default.
- W2062205093 hasBestOaLocation W20622050932 @default.
- W2062205093 hasConcept C156325763 @default.
- W2062205093 hasConcept C161771561 @default.
- W2062205093 hasConcept C167729594 @default.
- W2062205093 hasConcept C171018156 @default.
- W2062205093 hasConcept C184337299 @default.
- W2062205093 hasConcept C193702766 @default.
- W2062205093 hasConcept C199360897 @default.
- W2062205093 hasConcept C22497172 @default.
- W2062205093 hasConcept C2524010 @default.
- W2062205093 hasConcept C2984882572 @default.
- W2062205093 hasConcept C33923547 @default.
- W2062205093 hasConcept C41008148 @default.
- W2062205093 hasConcept C80444323 @default.
- W2062205093 hasConceptScore W2062205093C156325763 @default.
- W2062205093 hasConceptScore W2062205093C161771561 @default.
- W2062205093 hasConceptScore W2062205093C167729594 @default.
- W2062205093 hasConceptScore W2062205093C171018156 @default.
- W2062205093 hasConceptScore W2062205093C184337299 @default.
- W2062205093 hasConceptScore W2062205093C193702766 @default.
- W2062205093 hasConceptScore W2062205093C199360897 @default.
- W2062205093 hasConceptScore W2062205093C22497172 @default.
- W2062205093 hasConceptScore W2062205093C2524010 @default.
- W2062205093 hasConceptScore W2062205093C2984882572 @default.
- W2062205093 hasConceptScore W2062205093C33923547 @default.
- W2062205093 hasConceptScore W2062205093C41008148 @default.
- W2062205093 hasConceptScore W2062205093C80444323 @default.
- W2062205093 hasIssue "1-2" @default.
- W2062205093 hasLocation W20622050931 @default.
- W2062205093 hasLocation W20622050932 @default.
- W2062205093 hasOpenAccess W2062205093 @default.
- W2062205093 hasPrimaryLocation W20622050931 @default.
- W2062205093 hasRelatedWork W104000688 @default.
- W2062205093 hasRelatedWork W1485181960 @default.
- W2062205093 hasRelatedWork W1548537923 @default.
- W2062205093 hasRelatedWork W1568032801 @default.
- W2062205093 hasRelatedWork W1573091213 @default.
- W2062205093 hasRelatedWork W2039219985 @default.
- W2062205093 hasRelatedWork W2056977125 @default.
- W2062205093 hasRelatedWork W2062205093 @default.
- W2062205093 hasRelatedWork W2087820881 @default.
- W2062205093 hasRelatedWork W2124931280 @default.
- W2062205093 hasVolume "121" @default.
- W2062205093 isParatext "false" @default.
- W2062205093 isRetracted "false" @default.
- W2062205093 magId "2062205093" @default.
- W2062205093 workType "article" @default.