Matches in SemOpenAlex for { <https://semopenalex.org/work/W1973990821> ?p ?o ?g. }
- W1973990821 endingPage "157" @default.
- W1973990821 startingPage "133" @default.
- W1973990821 abstract "In open societies of agents, where agents are autonomous and heterogeneous, it is not realistic to assume that agents will always act so as to comply with interaction protocols. Thus, the need arises for a formalism to specify constraints on agent interaction, and for a tool able to observe and check for agent compliance with interaction protocols. In this paper we present a JAVA-PROLOG software component built on logic programming technology, which can be used to verify compliance of agent interaction to protocols, and that has been integrated with the PROSOCS platform." @default.
- W1973990821 created "2016-06-24" @default.
- W1973990821 creator A5028993591 @default.
- W1973990821 creator A5040978920 @default.
- W1973990821 creator A5056655834 @default.
- W1973990821 creator A5079194919 @default.
- W1973990821 creator A5080634543 @default.
- W1973990821 creator A5088751356 @default.
- W1973990821 date "2006-02-01" @default.
- W1973990821 modified "2023-10-18" @default.
- W1973990821 title "COMPLIANCE VERIFICATION OF AGENT INTERACTION: A LOGIC-BASED SOFTWARE TOOL" @default.
- W1973990821 cites W1481403881 @default.
- W1973990821 cites W1520831977 @default.
- W1973990821 cites W1527374863 @default.
- W1973990821 cites W1541615208 @default.
- W1973990821 cites W1550354486 @default.
- W1973990821 cites W1582577665 @default.
- W1973990821 cites W1804764059 @default.
- W1973990821 cites W1981994545 @default.
- W1973990821 cites W1987005090 @default.
- W1973990821 cites W2013669054 @default.
- W1973990821 cites W2063727779 @default.
- W1973990821 cites W2071787143 @default.
- W1973990821 cites W2079333278 @default.
- W1973990821 cites W2100517735 @default.
- W1973990821 cites W2102973317 @default.
- W1973990821 cites W2111877087 @default.
- W1973990821 cites W2140308918 @default.
- W1973990821 cites W2165729418 @default.
- W1973990821 cites W2899987233 @default.
- W1973990821 cites W4232857464 @default.
- W1973990821 cites W4243602907 @default.
- W1973990821 cites W4248195964 @default.
- W1973990821 cites W4250509852 @default.
- W1973990821 cites W4255474331 @default.
- W1973990821 doi "https://doi.org/10.1080/08839510500479546" @default.
- W1973990821 hasPublicationYear "2006" @default.
- W1973990821 type Work @default.
- W1973990821 sameAs 1973990821 @default.
- W1973990821 citedByCount "59" @default.
- W1973990821 countsByYear W19739908212012 @default.
- W1973990821 countsByYear W19739908212013 @default.
- W1973990821 countsByYear W19739908212014 @default.
- W1973990821 countsByYear W19739908212015 @default.
- W1973990821 countsByYear W19739908212016 @default.
- W1973990821 countsByYear W19739908212017 @default.
- W1973990821 countsByYear W19739908212018 @default.
- W1973990821 countsByYear W19739908212021 @default.
- W1973990821 countsByYear W19739908212022 @default.
- W1973990821 crossrefType "journal-article" @default.
- W1973990821 hasAuthorship W1973990821A5028993591 @default.
- W1973990821 hasAuthorship W1973990821A5040978920 @default.
- W1973990821 hasAuthorship W1973990821A5056655834 @default.
- W1973990821 hasAuthorship W1973990821A5079194919 @default.
- W1973990821 hasAuthorship W1973990821A5080634543 @default.
- W1973990821 hasAuthorship W1973990821A5088751356 @default.
- W1973990821 hasBestOaLocation W19739908211 @default.
- W1973990821 hasConcept C115903868 @default.
- W1973990821 hasConcept C120314980 @default.
- W1973990821 hasConcept C128838566 @default.
- W1973990821 hasConcept C142362112 @default.
- W1973990821 hasConcept C153349607 @default.
- W1973990821 hasConcept C154945302 @default.
- W1973990821 hasConcept C184337299 @default.
- W1973990821 hasConcept C199360897 @default.
- W1973990821 hasConcept C2775851571 @default.
- W1973990821 hasConcept C2777904410 @default.
- W1973990821 hasConcept C41008148 @default.
- W1973990821 hasConcept C548217200 @default.
- W1973990821 hasConcept C558565934 @default.
- W1973990821 hasConcept C5894958 @default.
- W1973990821 hasConcept C73301696 @default.
- W1973990821 hasConcept C81721847 @default.
- W1973990821 hasConceptScore W1973990821C115903868 @default.
- W1973990821 hasConceptScore W1973990821C120314980 @default.
- W1973990821 hasConceptScore W1973990821C128838566 @default.
- W1973990821 hasConceptScore W1973990821C142362112 @default.
- W1973990821 hasConceptScore W1973990821C153349607 @default.
- W1973990821 hasConceptScore W1973990821C154945302 @default.
- W1973990821 hasConceptScore W1973990821C184337299 @default.
- W1973990821 hasConceptScore W1973990821C199360897 @default.
- W1973990821 hasConceptScore W1973990821C2775851571 @default.
- W1973990821 hasConceptScore W1973990821C2777904410 @default.
- W1973990821 hasConceptScore W1973990821C41008148 @default.
- W1973990821 hasConceptScore W1973990821C548217200 @default.
- W1973990821 hasConceptScore W1973990821C558565934 @default.
- W1973990821 hasConceptScore W1973990821C5894958 @default.
- W1973990821 hasConceptScore W1973990821C73301696 @default.
- W1973990821 hasConceptScore W1973990821C81721847 @default.
- W1973990821 hasIssue "2-4" @default.
- W1973990821 hasLocation W19739908211 @default.
- W1973990821 hasOpenAccess W1973990821 @default.
- W1973990821 hasPrimaryLocation W19739908211 @default.
- W1973990821 hasRelatedWork W1481700938 @default.
- W1973990821 hasRelatedWork W1850723825 @default.
- W1973990821 hasRelatedWork W1953698629 @default.
- W1973990821 hasRelatedWork W1999702466 @default.
- W1973990821 hasRelatedWork W2140386967 @default.