AgentSpeak(L): BDI agents speak out in a logical computable language

Rao, Anand S.·1996·Lecture Notes in Computer Science

DOI 10.1007/bfb0031845

Open this paper in CoChat — free account

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

Crossref · 10.1007/bfb0031845

Cites

Statistics

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.

Self-check

Percentages, sums and reported differences re-computed from the paper’s own numbers.

The self-check needs the paper’s full text.

ConGolog, a concurrent programming language based on the situation calculus
De Giacomo, G., Lespérance, Y., & Levesque, H. J. (2000) · Artificial Intelligence · doi:10.1016/s0004-3702(00)00031-x · Cited by 494
Multi-agent oriented programming with JaCaMo
Boissier, O., Bordini, R. H., Hübner, J. F., Ricci, A., & Santi, A. (2013) · Science of Computer Programming · doi:10.1016/j.scico.2011.10.004 · Cited by 450
2APL: a practical agent programming language
Dastani, M. (2008) · Autonomous Agents and Multi-Agent Systems · doi:10.1007/s10458-008-9036-y · Cited by 358
Decision procedures for BDI logics
Rao, A. (1998) · Journal of Logic and Computation · doi:10.1093/logcom/8.3.293 · Cited by 340
Self-citation
A review of agent-based programming for multi-agent systems
Cardoso, R. C., & Ferrando, A. (2021) · Computers · doi:10.3390/computers10020016 · Cited by 133
Logic-based technologies for multi-agent systems: a systematic literature review
Calegari, R., Ciatto, G., Mascardi, V., & Omicini, A. (2021) · Autonomous Agents and Multi-Agent Systems · doi:10.1007/s10458-020-09478-3 · Cited by 117
“Primary references: [42,294] Other references describing / exploiting the technology: [42,45,106,201,207,255,258,284,299] URL: http://jason.”
BackgroundMethodInfluential
Practical verification of decision-making in agent-based autonomous systems
Dennis, L. A., Fisher, M., Lincoln, N. K., Lisitsa, A., & Veres, S. M. (2016) · Automated Software Engineering · doi:10.1007/s10515-014-0168-9 · Cited by 102
Agents and robots for collaborating and supporting physicians in healthcare scenarios
Lanza, F., Seidita, V., & Chella, A. (2020) · Journal of Biomedical Informatics · doi:10.1016/j.jbi.2020.103483 · Cited by 70

Authors: Rao, A. S.
Venue: Lecture Notes in Computer Science
Publisher: Springer Berlin Heidelberg
Published: 1996
Pages: 42-55
ISSN: 0302-9743 (ISSN-L)
1611-3349
DOI: 10.1007/bfb0031845
OpenAlex: W2145899763
Cited by: 1,281
References: 0
FWCI: 12.36
Type: conference paper
Language: en
Open access: closed

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