Matches in SemOpenAlex for { <https://semopenalex.org/work/W1679935212> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W1679935212 abstract "The aim of this paper is to develop a semantics for the multi-agent programming language Concurrent MetateM, by using the tools of knowledge theory. We begin by presenting an informal overview of the Concurrent MetateM language, and then formally define the notion of a Concurrent MetateM agent program, the possible states of a Concurrent MetateM agent and system, and finally, what constitutes an acceptable run of a Concurrent MetateM system. The various semantic constructs developed during this process are then used as the foundation upon which to construct a temporal logic of knowledge; we show that certain formulae of this logic correspond to properties of Concurrent MetateM systems. This correspondence can be used to systematically derive the theory of a Concurrent MetateM system. Reasoning about a Concurrent MetateM system then reduces to proving properties of the corresponding logical theory. We give some simple examples, to illustrate the process, and finally, speculate about future research directions. Comments on related work are also included." @default.
- W1679935212 created "2016-06-24" @default.
- W1679935212 creator A5065393757 @default.
- W1679935212 date "1997-01-01" @default.
- W1679935212 modified "2023-09-23" @default.
- W1679935212 title "A knowledge-theoretic semantics for concurrent MetateM" @default.
- W1679935212 cites W2055092188 @default.
- W1679935212 cites W2102791476 @default.
- W1679935212 cites W2106172458 @default.
- W1679935212 cites W2124344619 @default.
- W1679935212 cites W2144501579 @default.
- W1679935212 cites W2178771565 @default.
- W1679935212 cites W4242309855 @default.
- W1679935212 cites W4256363426 @default.
- W1679935212 doi "https://doi.org/10.1007/bfb0013597" @default.
- W1679935212 hasPublicationYear "1997" @default.
- W1679935212 type Work @default.
- W1679935212 sameAs 1679935212 @default.
- W1679935212 citedByCount "14" @default.
- W1679935212 crossrefType "book-chapter" @default.
- W1679935212 hasAuthorship W1679935212A5065393757 @default.
- W1679935212 hasConcept C128838566 @default.
- W1679935212 hasConcept C184337299 @default.
- W1679935212 hasConcept C193702766 @default.
- W1679935212 hasConcept C199360897 @default.
- W1679935212 hasConcept C2780801425 @default.
- W1679935212 hasConcept C41008148 @default.
- W1679935212 hasConcept C80444323 @default.
- W1679935212 hasConcept C98045186 @default.
- W1679935212 hasConceptScore W1679935212C128838566 @default.
- W1679935212 hasConceptScore W1679935212C184337299 @default.
- W1679935212 hasConceptScore W1679935212C193702766 @default.
- W1679935212 hasConceptScore W1679935212C199360897 @default.
- W1679935212 hasConceptScore W1679935212C2780801425 @default.
- W1679935212 hasConceptScore W1679935212C41008148 @default.
- W1679935212 hasConceptScore W1679935212C80444323 @default.
- W1679935212 hasConceptScore W1679935212C98045186 @default.
- W1679935212 hasLocation W16799352121 @default.
- W1679935212 hasOpenAccess W1679935212 @default.
- W1679935212 hasPrimaryLocation W16799352121 @default.
- W1679935212 hasRelatedWork W1486788857 @default.
- W1679935212 hasRelatedWork W1499848720 @default.
- W1679935212 hasRelatedWork W1500823198 @default.
- W1679935212 hasRelatedWork W1527971709 @default.
- W1679935212 hasRelatedWork W1559223878 @default.
- W1679935212 hasRelatedWork W1588821885 @default.
- W1679935212 hasRelatedWork W1594352183 @default.
- W1679935212 hasRelatedWork W1819142276 @default.
- W1679935212 hasRelatedWork W1895259775 @default.
- W1679935212 hasRelatedWork W2096178388 @default.
- W1679935212 hasRelatedWork W2104866898 @default.
- W1679935212 hasRelatedWork W2106172458 @default.
- W1679935212 hasRelatedWork W2111427732 @default.
- W1679935212 hasRelatedWork W2124344619 @default.
- W1679935212 hasRelatedWork W2125814724 @default.
- W1679935212 hasRelatedWork W2126342987 @default.
- W1679935212 hasRelatedWork W2146243959 @default.
- W1679935212 hasRelatedWork W2178771565 @default.
- W1679935212 hasRelatedWork W2431139695 @default.
- W1679935212 hasRelatedWork W47470957 @default.
- W1679935212 isParatext "false" @default.
- W1679935212 isRetracted "false" @default.
- W1679935212 magId "1679935212" @default.
- W1679935212 workType "book-chapter" @default.