The DOI matches its Crossref record; 1 of the 1 references it cites were found in a registry or an index.
Semantic Web Technology for Agent Communication Protocols
Open accessOverview
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
The source backs part of the claim, not all of it — or backs it for a different population, condition or comparison.
In the citing paper
“Interoperability requirements necessitate semantic-level communication capabilities enabling crossplatform agent understanding without extensive pre-communication setup, addressing increasing heterogeneity through ontology-based protocol formalization and Semantic Web technologies, while incorporating security mechanisms against communication vulnerabilities [486, 66, 449, 487, 792, 1063].”
From A Survey of Context Engineering for Large Language Models (2025) · cites this paper as [66]
Experimental — accuracy not yet measured
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Citations
Cites
Austin, J. L. (1975) · doi:10.1093/acprof:oso/9780198245537.001.0001 · Cited by 21,496
Research works printed but not linked: 21
- Greenwood, D., Lyell, M., Mallya, A., Suguri, H.: The IEEE FIPA approach to integrating software agents and web services. In: International Conference on Autonomous Agents and Multiagent Systems AAMAS, Hawaii, USA, pp. 14–18 (2007) · DOI
- Bermúdez, J., Goñi, A., Illarramendi, A., Bagüés, M.I.: Interoperation among agent-based information systems through a communication acts ontology. Inf. Syst. 32(8), 1121–1144 (2007) · DOI
- Singh, M.P.: Agent Communication Languages: Rethinking the Principles. IEEE Computer 31(12), 40–47 (1998) · DOI
- Singh, M.P.: A social semantics for agent communication languages. In: Issues in Agent Communication, pp. 31–45. Springer, Heidelberg (2000) · DOI
- Wooldridge, M.: Semantic Issues in the Verification of Agent Comunication Languages. Journal of Autonomous Agents and Multi-Agent Systems 3(1), 9–31 (2000) · DOI
- Venkatraman, M., Singh, M.P.: Verifying compliance with commitment protocols. Autonomous Agents and Multi-Agent Systems 2(3), 217–236 (1999) · DOI
- Fornara, N., Colombetti, M.: Operational specification of a commitment-based agent communication language. In: AAMAS 2002: Proceedings of the first international joint conference on Autonomous agents and multiagent systems, pp. 536–542. ACM Press, New York (2002) · DOI
- Shanahan, M.: The event calculus explained. In: Veloso, M.M., Wooldridge, M.J. (eds.) Artificial Intelligence Today. LNCS (LNAI), vol. 1600, pp. 409–430. Springer, Heidelberg (1999) · DOI
- Mallya, A.U., Singh, M.P.: An algebra for commitment protocols. Autonomous Agents and Multi-Agent Systems 14(2), 143–163 (2007) · DOI
- Yolum, P., Singh, M.P.: Flexible protocol specification and execution: Applying event calculus planning using commitments. In: Proceedings of the 1st International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS), July 2002, pp. 527–534. ACM Press, New York (2002) · DOI
- Fornara, N., Colombetti, M.: Defining interaction protocols using a commitment-based agent communication language. In: AAMAS 2003: Proceedings of the second international joint conference on Autonomous agents and multiagent systems, pp. 520–527. ACM Press, New York (2003) · DOI
- Desai, N., Mallya, A.U., Chopra, A.K., Singh, M.P.: Interaction protocols as design abstractions for business processes. IEEE Trans. Softw. Eng. 31(12), 1015–1027 (2005) · DOI
- Yolum, P., Singh, M.: Enacting protocols by commitment concession. In: International Conference on Autonomous Agents and Multiagent Systems AAMAS, Hawaii, USA, pp. 116–123 (2007) · DOI
- Berardi, D., Calvanese, D., Giacomo, G.D., Lenzerini, M., Mecella, M.: Automatic service composition based on behavioral descriptions. Int. J. Cooperative Inf. Syst. 14(4), 333–376 (2005) · DOI
- Bordeaux, L., Salaün, G., Berardi, D., Mecella, M.: When are two web services compatible? In: Shan, M.-C., Dayal, U., Hsu, M. (eds.) TES 2004. LNCS, vol. 3324, pp. 15–28. Springer, Heidelberg (2005) · DOI
- Kagal, L., Finin, T.: Modeling conversation policies using permissions and obligations. Autonomous Agents and Multi-Agent Systems 14(2), 187–206 (2007) · DOI
- Endriss, U., Maudet, N., Sadri, F., Toni, F.: Logic-based agent communication protocols. In: Workshop on Agent Communication Languages, pp. 91–107 (2003) · DOI
- Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: A priori conformance verification for guaranteeing interoperability in open environments. In: Georgakopoulos, D., Ritter, N., Benatallah, B., Zirpins, C., Feuerlicht, G., Schoenherr, M., Motahari-Nezhad, H.R. (eds.) ICSOC 2006. LNCS, vol. 4652, pp. 339–351. Springer, Heidelberg (2007)
- Chopra, A.K., Singh, M.P.: Producing compliant interactions: Conformance, coverage, and interoperability. In: Baldoni, M., Endriss, U. (eds.) DALT 2006. LNCS (LNAI), vol. 4327, pp. 1–15. Springer, Heidelberg (2006) · DOI
- d’Inverno, M., Kinny, D., Luck, M.: Interaction protocols in agentis. In: Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS 1998), pp. 261–268 (1998)
- Mazouzi, H., Seghrouchni, A.E.F., Haddad, S.: Open protocol design for complex interactions in multi-agent systems. In: AAMAS 2002: Proceedings of the first international joint conference on Autonomous agents and multiagent systems, pp. 517–526. ACM Press, New York (2002) · DOI
Cited by
Sorted by citations
A Survey of Context Engineering for Large Language Models
Mei, L., Yao, J., Ge, Y., Wang, Y., Bi, B., Cai, Y., Liu, J., Li, M., Li, Z.-Z., Zhang, D., et al. (2025) · arXiv · doi:10.48550/arxiv.2507.13334 · Cited by 281
Metadata
- Authors
- Berges, I., Bermúdez, J., Goñi, A., & Illarramendi, A.
- Affiliations
- University of the Basque Country (ES)
- Venue
- Lecture Notes in Computer Science
- Publisher
- Springer Berlin Heidelberg
- Published
- 2008-05-23
- Pages
- 5-18
- OpenAlex
- W1484073015
- Cited by
- 7
- References
- 1
- FWCI
- 1.49
- Type
- conference paper
- Language
- en
- Open access
- bronze
- doi.org
- Locations
- Springer eBooks (publishedVersion)
- arXiv (Cornell University) (submittedVersion)
- Communities in ADDI (University of the Basque Country) (submittedVersion, other-oa)
- Hispana (submittedVersion, other-oa)
- arXiv (Cornell University)
- Funders
- Eusko Jaurlaritza
- Euskal Herriko Unibertsitatea
- European Social Fund
- Topics
- Physical Sciences › Computer Science › Artificial Intelligence › Multi-Agent Systems and Negotiation
- Physical Sciences › Computer Science › Artificial Intelligence › Semantic Web and Ontologies
- Physical Sciences › Computer Science › Artificial Intelligence › Logic, Reasoning, and Knowledge
- Keywords
- semantic web, multi-agent systems, agent communication protocols, communicative acts, ontology (information science), OWL DL, SWRL, event calculus, social commitment
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
