Matches in SemOpenAlex for { <https://semopenalex.org/work/W2109406307> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2109406307 endingPage "57" @default.
- W2109406307 startingPage "52" @default.
- W2109406307 abstract "In recent years, a number of attempts have been made to develop standardized agent communication languages. A key issue in such languages is that of conformance testing. That is, given a program which claims to semantically conform to some agent communication standard, how can we determine whether or not it does indeed conform to it? In this article, we present an expressive agent communication language, and give a semantics for this language in such a way that verifying semantic conformance becomes a realistic possibility. The techniques we develop draw upon those used to give a semantics to reactive systems in theoretical computer science. To illustrate the approach, we give an example of a simple agent system, and show that it does indeed respect the semantics." @default.
- W2109406307 created "2016-06-24" @default.
- W2109406307 creator A5065393757 @default.
- W2109406307 date "1999-07-18" @default.
- W2109406307 modified "2023-09-24" @default.
- W2109406307 title "Verifying that agents implement a communication language" @default.
- W2109406307 cites W1506588809 @default.
- W2109406307 cites W1540180001 @default.
- W2109406307 cites W1542813492 @default.
- W2109406307 cites W1563913561 @default.
- W2109406307 cites W1696393724 @default.
- W2109406307 cites W2010508644 @default.
- W2109406307 cites W2055092188 @default.
- W2109406307 cites W2109878893 @default.
- W2109406307 cites W2129264276 @default.
- W2109406307 cites W2146564481 @default.
- W2109406307 cites W2146819619 @default.
- W2109406307 cites W2167297314 @default.
- W2109406307 hasPublicationYear "1999" @default.
- W2109406307 type Work @default.
- W2109406307 sameAs 2109406307 @default.
- W2109406307 citedByCount "9" @default.
- W2109406307 countsByYear W21094063072012 @default.
- W2109406307 countsByYear W21094063072015 @default.
- W2109406307 crossrefType "proceedings-article" @default.
- W2109406307 hasAuthorship W2109406307A5065393757 @default.
- W2109406307 hasConcept C111472728 @default.
- W2109406307 hasConcept C111919701 @default.
- W2109406307 hasConcept C119263510 @default.
- W2109406307 hasConcept C138885662 @default.
- W2109406307 hasConcept C15077461 @default.
- W2109406307 hasConcept C156325763 @default.
- W2109406307 hasConcept C184337299 @default.
- W2109406307 hasConcept C188087704 @default.
- W2109406307 hasConcept C199360897 @default.
- W2109406307 hasConcept C26517878 @default.
- W2109406307 hasConcept C2780586882 @default.
- W2109406307 hasConcept C34165917 @default.
- W2109406307 hasConcept C38652104 @default.
- W2109406307 hasConcept C41008148 @default.
- W2109406307 hasConcept C50033165 @default.
- W2109406307 hasConcept C76844732 @default.
- W2109406307 hasConceptScore W2109406307C111472728 @default.
- W2109406307 hasConceptScore W2109406307C111919701 @default.
- W2109406307 hasConceptScore W2109406307C119263510 @default.
- W2109406307 hasConceptScore W2109406307C138885662 @default.
- W2109406307 hasConceptScore W2109406307C15077461 @default.
- W2109406307 hasConceptScore W2109406307C156325763 @default.
- W2109406307 hasConceptScore W2109406307C184337299 @default.
- W2109406307 hasConceptScore W2109406307C188087704 @default.
- W2109406307 hasConceptScore W2109406307C199360897 @default.
- W2109406307 hasConceptScore W2109406307C26517878 @default.
- W2109406307 hasConceptScore W2109406307C2780586882 @default.
- W2109406307 hasConceptScore W2109406307C34165917 @default.
- W2109406307 hasConceptScore W2109406307C38652104 @default.
- W2109406307 hasConceptScore W2109406307C41008148 @default.
- W2109406307 hasConceptScore W2109406307C50033165 @default.
- W2109406307 hasConceptScore W2109406307C76844732 @default.
- W2109406307 hasLocation W21094063071 @default.
- W2109406307 hasOpenAccess W2109406307 @default.
- W2109406307 hasPrimaryLocation W21094063071 @default.
- W2109406307 hasRelatedWork W109675643 @default.
- W2109406307 hasRelatedWork W1411482791 @default.
- W2109406307 hasRelatedWork W1542813492 @default.
- W2109406307 hasRelatedWork W1565083865 @default.
- W2109406307 hasRelatedWork W1576632330 @default.
- W2109406307 hasRelatedWork W162427744 @default.
- W2109406307 hasRelatedWork W1681875177 @default.
- W2109406307 hasRelatedWork W1801944252 @default.
- W2109406307 hasRelatedWork W1997177761 @default.
- W2109406307 hasRelatedWork W2046135868 @default.
- W2109406307 hasRelatedWork W2133956684 @default.
- W2109406307 hasRelatedWork W2146819619 @default.
- W2109406307 hasRelatedWork W2151284191 @default.
- W2109406307 hasRelatedWork W2160851181 @default.
- W2109406307 hasRelatedWork W2166034200 @default.
- W2109406307 hasRelatedWork W2473425968 @default.
- W2109406307 hasRelatedWork W2523130885 @default.
- W2109406307 hasRelatedWork W2791960754 @default.
- W2109406307 hasRelatedWork W3102279041 @default.
- W2109406307 hasRelatedWork W3102785609 @default.
- W2109406307 isParatext "false" @default.
- W2109406307 isRetracted "false" @default.
- W2109406307 magId "2109406307" @default.
- W2109406307 workType "article" @default.