Reference health
AgentSpeak(L): BDI agents speak out in a logical computable language
7/7 checkable references clean · checked 2026-09-04
Every reference with a DOI in the deposited reference list resolved to a known work in Crossref or DataCite at the dated check, and none carried a retraction, withdrawal, or removal notice.
16 without a DOI — not checked. A reference deposited without a DOI is never matched by title or guessed at; it stays outside the checked set, and this line discloses that.
The 7 checked references that resolve
resolves10.1142/S0218215793000137
SPECIFICATION AND IMPLEMENTATION OF A BELIEF-DESIRE-JOINT-INTENTION ARCHITECTURE FOR COLLABORATIVE PROBLEM SOLVING
resolves10.1007/3540608052_57
Decision procedures for prepositional linear-time belief-desire-intention logics
The 16 references without a DOI — listed, not checked
no DOI — not checkedB. Burmeister and K. Sundermeyer. Cooperative problem-solving guided by intentions and perception. In E. Werner and Y. Demazeau, editors, Decentralized A.I. 3, Amsterdam, The Netherlands, 1992. North Holland.
no DOI — not checkedM. P. Georgeff and A. L. Lansky. Procedural knowledge. In Proceedings of the IEEE Special Issue on Knowledge Representation, volume 74, pages 1383–1398, 1986.
no DOI — not checkedM. M. Huntbach, N. R. Jennings, and G. A. Ringwood. How agents do it in stream logic programming. In Proceedings of the International Conference on Multi-Agent Systems (ICMAS-95), San Francisco, USA, June, 1995.
no DOI — not checkedN. R. Jennings. On being responsible. In Y. Demazeau and E. Werner, editors, Decentralized A.I. 3. North Holland, Amsterdam, The Netherlands, 1992.
no DOI — not checkedD. Kinny, M. Ljungberg, A. S. Rao, E. A. Sonenberg, G. Tidhar, and E. Werner. Planned team activity. In Artificial Social Systems, Lecture Notes in Artificial Intelligence (LNAI-830), Amsterdam, Netherlands, 1994. Springer Verlag.
no DOI — not checkedJ. P. Muller, M. Pischel, and M. Thiel. Modelling reactive behaviour in vertically layered agent architectures. In Intelligent Agents: Theories, Architectures, and Languages. Lecture Notes in Artificial Intelligence LNAI 890, Heidelberg, Germany, 1995. Springer Verlag.
no DOI — not checkedU Nilsson. Abstract interpretations and abstract machines. Technical Report Dissertation No 265, Department of Computer and Information Science, Linkoping University, Linkoping, Sweden, 1992.
no DOI — not checkedA. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann Publishers, San Mateo, CA, 1991.
no DOI — not checkedA. S. Rao and M. P. Georgeff. An abstract architecture for rational agents. In C. Rich, W. Swartout, and B. Nebel, editors, Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann Publishers, San Mateo, CA, 1992.
no DOI — not checkedA. S. Rao and M. P. Georgeff. A model-theoretic approach to the verification of situated reasoning systems. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93), Chamberey, France, 1993.
no DOI — not checkedG. A. Ringwood. A brief history of stream parallel logic programming. Logic Programming Newsletter, 7(2):2–4, 1994.
no DOI — not checkedM. Singh and N. Asher. Towards a formal theory of intentions. In J. van Eijck, editor, Logics in AI, volume LNAI:478, pages 472–486. Springer Verlag, Amsterdam, Netherlands, 1990.
no DOI — not checkedS. R. Thomas. The PLACA agent programming language. In Intelligent Agents: Theories, Architectures, and Languages. Lecture Notes in Artificial Intelligence LNAI 890, Amsterdam, Netherlands, 1995. Springer Verlag.
no DOI — not checkedW. van der Hoek, B. van Linder, and J.-J. Ch. Meyer. A logic of capabilities. In Proceedings of the Third International Symposium on the Logical Foundations of Computer Science (LFCS'94), Lecture Notes in Computer Science LNCS 813. Springer Verlag, Heidelberg, Germany, 1994.
no DOI — not checkedB. van Linder, W. van der Hoek, and J. J. Ch. Meyer. How to motivate your agents? In Working notes of the IJCAI-95 Workshop on Agent Theories, Architectures, and Languages, Montreal, Canada, 1995.
no DOI — not checkedD. Weerasooriya, A. S. Rao, and K. Ramamohanarao. Design of a concurrent agent-oriented language. In Intelligent Agents: Theories, Architectures, and Languages. Lecture Notes in Artificial Intelligence LNAI 890, Amsterdam, Netherlands, 1995. Springer Verlag.
What this badge says. CiteStamped means the CHECKABLE references of this
work were clean at the dated check: each resolved to a known work in a public registry, and none
carried a retraction notice at that time. It says nothing about the quality, findings,
or importance of the work itself, and nothing about references deposited without a DOI.
checked 2026-09-04 — re-checked daily as this page is visited; titles and statuses come from Crossref and DataCite and are not part of the signed record
Embed this badge
Both snippets point at the live badge image and link back to this page. The badge re-renders from the daily check, so an embed never goes stale by more than a day of visits.
<a href="https://citestamp.com/citestamped/10.1007/bfb0031845"><img src="https://citestamp.com/citestamped/10.1007/bfb0031845/badge.svg" alt="CiteStamped reference-health badge" width="460" height="64"></a>
[](https://citestamp.com/citestamped/10.1007/bfb0031845)