An operational semantics for the goal life-cycle in BDI agents-Reference-Cited by-同舟云学术

An operational semantics for the goal life-cycle in BDI agents

Published:2013-10-02 Issue:4 Volume:28 Page:682-719
ISSN:1387-2532
Container-title:Autonomous Agents and Multi-Agent Systems
language:en
Short-container-title:Auton Agent Multi-Agent Syst

Author:

Harland James,Morley David N.,Thangarajah John,Yorke-Smith Neil

Publisher

Springer Science and Business Media LLC

Subject

Artificial Intelligence

Link

http://link.springer.com/content/pdf/10.1007/s10458-013-9238-9.pdf

Reference53 articles.

1. Anderson, C. (1990, August). The first rover on Mars—The Soviets did it in 1971. The Planetary Report.

2. Bajracharya, M., Maimone, M. W., & Helmick, D. (2008). Autonomy for Mars rovers: Past, present, and future. Computer, 41(12), 45–50.

3. Baral, C., Eiter, T., Bjaereland, M., & Nakamura, M. (2008). Maintenance goals of agents in a dynamic environment. Artificial Intelligence, 172(12–13), 1429–1469.

4. Bordini, R. H., Fisher, M., Visser, W., & Wooldridge, M. (2004). State-space reduction techniques in agent verification. In Proceedings of AAMAS’04 (pp. 896–903), New York.

5. Bordini, R.H., Hübner, J. F. (2010). Semantics for the Jason variant of AgentSpeak (plan failure and some internal actions). In Proceedings of ECAI’10 (pp. 635–640), Lisbon.

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Maintenance commitments: Conception, semantics, and coherence;Artificial Intelligence;2023-11

2. Guidelines for a Human-Robot Interaction Specification Language;2023 32nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN);2023-08-28

3. Adaptive Cognitive Agents: Updating Action Descriptions and Plans;Multi-Agent Systems;2023

4. Modelling and verifying BDI agents with bigraphs;Science of Computer Programming;2022-03

5. Implementing Durative Actions with Failure Detection in Gwendolen;Engineering Multi-Agent Systems;2022