Matches in SemOpenAlex for { <https://semopenalex.org/work/W1597383628> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1597383628 endingPage "62" @default.
- W1597383628 startingPage "48" @default.
- W1597383628 abstract "This paper describes a comparative study of three formal methods for modeling and validating agent systems. The study is part of a joint project by researchers in MIT’s Theory of Distributed Systems research group and NTT’s Cooperative Computing research group. Our goal is to establish a mathematical and linguistic foundation for describing and reasoning about agent-style systems." @default.
- W1597383628 created "2016-06-24" @default.
- W1597383628 creator A5012520388 @default.
- W1597383628 creator A5020473667 @default.
- W1597383628 creator A5058960244 @default.
- W1597383628 creator A5059238786 @default.
- W1597383628 creator A5071944803 @default.
- W1597383628 creator A5073951909 @default.
- W1597383628 creator A5084248913 @default.
- W1597383628 date "2001-01-01" @default.
- W1597383628 modified "2023-10-03" @default.
- W1597383628 title "On Formal Modeling of Agent Computations" @default.
- W1597383628 cites W2117189826 @default.
- W1597383628 doi "https://doi.org/10.1007/3-540-45484-5_4" @default.
- W1597383628 hasPublicationYear "2001" @default.
- W1597383628 type Work @default.
- W1597383628 sameAs 1597383628 @default.
- W1597383628 citedByCount "14" @default.
- W1597383628 countsByYear W15973836282013 @default.
- W1597383628 crossrefType "book-chapter" @default.
- W1597383628 hasAuthorship W1597383628A5012520388 @default.
- W1597383628 hasAuthorship W1597383628A5020473667 @default.
- W1597383628 hasAuthorship W1597383628A5058960244 @default.
- W1597383628 hasAuthorship W1597383628A5059238786 @default.
- W1597383628 hasAuthorship W1597383628A5071944803 @default.
- W1597383628 hasAuthorship W1597383628A5073951909 @default.
- W1597383628 hasAuthorship W1597383628A5084248913 @default.
- W1597383628 hasConcept C115903868 @default.
- W1597383628 hasConcept C127413603 @default.
- W1597383628 hasConcept C154945302 @default.
- W1597383628 hasConcept C162324750 @default.
- W1597383628 hasConcept C170154142 @default.
- W1597383628 hasConcept C18555067 @default.
- W1597383628 hasConcept C199360897 @default.
- W1597383628 hasConcept C41008148 @default.
- W1597383628 hasConcept C41550386 @default.
- W1597383628 hasConcept C45374587 @default.
- W1597383628 hasConcept C539667460 @default.
- W1597383628 hasConcept C75606506 @default.
- W1597383628 hasConcept C80444323 @default.
- W1597383628 hasConceptScore W1597383628C115903868 @default.
- W1597383628 hasConceptScore W1597383628C127413603 @default.
- W1597383628 hasConceptScore W1597383628C154945302 @default.
- W1597383628 hasConceptScore W1597383628C162324750 @default.
- W1597383628 hasConceptScore W1597383628C170154142 @default.
- W1597383628 hasConceptScore W1597383628C18555067 @default.
- W1597383628 hasConceptScore W1597383628C199360897 @default.
- W1597383628 hasConceptScore W1597383628C41008148 @default.
- W1597383628 hasConceptScore W1597383628C41550386 @default.
- W1597383628 hasConceptScore W1597383628C45374587 @default.
- W1597383628 hasConceptScore W1597383628C539667460 @default.
- W1597383628 hasConceptScore W1597383628C75606506 @default.
- W1597383628 hasConceptScore W1597383628C80444323 @default.
- W1597383628 hasLocation W15973836281 @default.
- W1597383628 hasOpenAccess W1597383628 @default.
- W1597383628 hasPrimaryLocation W15973836281 @default.
- W1597383628 hasRelatedWork W2104078272 @default.
- W1597383628 hasRelatedWork W2112962394 @default.
- W1597383628 hasRelatedWork W2118300983 @default.
- W1597383628 hasRelatedWork W2166247150 @default.
- W1597383628 hasRelatedWork W2382501300 @default.
- W1597383628 hasRelatedWork W3137189469 @default.
- W1597383628 hasRelatedWork W3162240892 @default.
- W1597383628 hasRelatedWork W4235530921 @default.
- W1597383628 hasRelatedWork W4243252198 @default.
- W1597383628 hasRelatedWork W4245713008 @default.
- W1597383628 isParatext "false" @default.
- W1597383628 isRetracted "false" @default.
- W1597383628 magId "1597383628" @default.
- W1597383628 workType "book-chapter" @default.