Programming Rational Agents in GOAL-Reference-Cited by-同舟云学术

Programming Rational Agents in GOAL

Published:2009 Issue: Volume: Page:119-157
ISSN:
Container-title:Multi-Agent Programming
language:
Short-container-title:

Author:

Hindriks Koen V.

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-89299-3_4

Reference42 articles.

1. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge UniversityPres (2003)

2. Bellifemine, F., Caire, G., Greenwood, D. (eds.): Developing Multi-Agent Systems with JADE. No. 15 in Agent Technology. John Wiley & Sons, Ltd. (2007)

3. de Boer, F., Hindriks, K., van der Hoek, W., Meyer, J.J.: A Verification Framework for Agent Programming with Declarative Goals. Journal of Applied Logic 5(2), 277–302 (2007)

4. Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak using Jason. John Wiley & Sons (2007)

5. Bratman, M., Israel, D., Pollack, M.: Plansandresource-boundedpracticalreasoning. In: R. Cummins, J.L. Pollock(eds.) Philosophyand AI: Essays atthe Interface, pp. 1–22. The MIT Press (1991)

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

1. Making model checking feasible for GOAL;Annals of Mathematics and Artificial Intelligence;2023-10-05

2. An algorithmic debugging approach for belief-desire-intention agents;Annals of Mathematics and Artificial Intelligence;2023-05-05

3. vGOAL: A GOAL-Based Specification Language for Safe Autonomous Decision-Making;Engineering Multi-Agent Systems;2023

4. The 16th Edition of the Multi-Agent Programming Contest - The GOAL-DTU Team;The Multi-Agent Programming Contest 2022;2023

5. The Multi-Agent Programming Contest 2022;The Multi-Agent Programming Contest 2022;2023