Jonathan M. Aitken, Affan Shaukat, Elisa Cucco, Louise A. Dennis, Sandor M. Veres, Yang Gao, Michael Fisher, Jeffrey A. Kuo, Thomas Robinson & Paul E. Mort (2017):
Autonomous Nuclear Waste Management.
IEEE Intelligent Systems.
In Press.
Rafael H. Bordini, Michael Wooldridge & Jomi Fred Hübner (2007, 273p):
Programming Multi-Agent Systems in AgentSpeak using Jason.
John Wiley & Sons,
doi:10.1002/9780470061848.
Michael Bratman (1987):
Intention, plans, and practical reason 10.
Harvard University Press Cambridge, MA.
Rafael C. Cardoso, Louise A. Dennis & Michael Fisher (2019):
Plan Library Reconfigurability in BDI Agents.
In: Proc. of the 7th International Workshop on Engineering Multi-Agent Systems (EMAS).
Louise Dennis, Michael Fisher, Alexei Lisitsa, Nicholas Lincoln & Sandor Veres (2010):
Satellite control using rational agent programming.
IEEE Intelligent Systems 25(3),
pp. 92–97,
doi:10.1109/mis.2010.88.
Louise A. Dennis (2017):
Gwendolen Semantics: 2017.
Technical Report ULCS-17-001.
University of Liverpool, Department of Computer Science.
Louise A Dennis (2018):
The MCAPL Framework including the Agent Infrastructure Layer and Agent Java Pathfinder.
The Journal of Open Source Software.
Louise A Dennis & Berndt Farwer (2008):
Gwendolen: a BDI language for verifiable agents.
In: Proceedings of the AISB 2008 Symposium on Logic and the Simulation of Interaction and Reasoning, Society for the Study of Artificial Intelligence and Simulation of Behaviour,
pp. 16–23.
Maria Fox & Derek Long (2003):
PDDL2. 1: An extension to PDDL for expressing temporal planning domains.
Journal of artificial intelligence research 20,
pp. 61–124,
doi:10.1613/jair.1129.
Javier García, Fern & o Fernández (2015):
A Comprehensive Survey on Safe Reinforcement Learning.
Journal of Machine Learning Research 16(42),
pp. 1437–1480.
Michael P Georgeff & Amy L Lansky (1987):
Reactive reasoning and planning..
In: AAAI 87,
pp. 677–682.
Malik Ghallab, Dana Nau & Paolo Traverso (2016):
Automated planning and acting.
Cambridge University Press.
James Harland, David N Morley, John Thangarajah & Neil Yorke-Smith (2014):
An operational semantics for the goal life-cycle in BDI agents.
Autonomous agents and multi-agent systems 28(4),
pp. 682–719,
doi:10.1007/s10458-013-9238-9.
James Harland, David N Morley, John Thangarajah & Neil Yorke-Smith (2017):
Aborting, suspending, and resuming goals and plans in BDI agents.
Autonomous Agents and Multi-Agent Systems 31(2),
pp. 288–331,
doi:10.1007/s10458-015-9322-4.
Available at https://dx.doi.org/10.1007/s10458-015-9322-4.
Patrik Haslum, Nir Lipovetzky, Daniele Magazzeni & Christian Muise (2019):
An introduction to the planning domain definition language.
Synthesis Lectures on Artificial Intelligence and Machine Learning 13(2),
pp. 1–187,
doi:10.1002/9781118627372.ch2.
Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek & John-Jules Ch. Meyer (2000):
Agent Programming with Declarative Goals.
In: Proceedings of the 7th International Workshop on Agent Theories and Architectures,.
Springer,
pp. 228–243.
Available at http://dx.doi.org/10.1007/3-540-44631-1_16.
Viviana Mascardi, Daniela Demergasso & Davide Ancona (2005):
Languages for Programming BDI-style Agents: an Overview..
In: WOA 2005,
pp. 9–15.
D. Mcdermott, M. Ghallab, A. Howe, C. Knoblock, A. Ram, M. Veloso, D. Weld & D. Wilkins (1998):
PDDL - The Planning Domain Definition Language.
Technical Report TR-98-003.
Yale Center for Computational Vision and Control.
Jonathan Mugan & Benjamin Kuipers (2011):
Autonomous learning of high-level states and actions in continuous environments.
IEEE Transactions on Autonomous Mental Development 4(1),
pp. 70–86,
doi:10.1109/TAMD.2011.2160943.
Hanna M Pasula, Luke S Zettlemoyer & Leslie Pack Kaelbling (2007):
Learning symbolic models of stochastic domains.
Journal of Artificial Intelligence Research 29,
pp. 309–352,
doi:10.1613/jair.2113.
Anand S Rao & Michael P Georgeff (1992):
An abstract architecture for rational agents..
KR 92,
pp. 439–449.
Anand S Rao & Michael P Georgeff (1995):
BDI agents: from theory to practice..
In: ICMAS 95,
pp. 312–319.
Sebastian Sardina & Lin Padgham (2011):
A BDI agent programming language with failure handling, declarative goals, and planning.
Autonomous Agents and Multi-Agent Systems 23(1),
pp. 18–70,
doi:10.1007/s10458-010-9130-9.
Maarten Sierhuis, William J Clancey & Ron JJ Van Hoof (2007):
Brahms: a multi-agent modelling environment for simulating work processes and practices.
International Journal of Simulation and Process Modelling 3(3),
pp. 134–152,
doi:10.1504/IJSPM.2007.015238.
Available at https://dx.doi.org/10.1504/IJSPM.2007.015238.
Richard Stocker, Maarten Sierhuis, Louise Dennis, Clare Dixon & Michael Fisher (2011):
A formal semantics for brahms.
In: International Workshop on Computational Logic in Multi-Agent Systems.
Springer,
pp. 259–274,
doi:10.1007/978-3-642-22359-4_18.
Nicolas Troquard & Laure Vieu (2006):
Towards a Logic of Agency and Actions with Duration..
Frontiers in Artifical Intelligence and Applications 141,
pp. 775.
Perry Van Wesel & Alwyn E Goodloe (2017):
Challenges in the verification of reinforcement learning algorithms.
Technical Report NASA/TM-2017-219628.
NASA Langley Research Center.
Willem Visser, Klaus Havelund, Guillaume Brat, SeungJoon Park & Flavio Lerda (2003):
Model Checking Programs.
Automated Software Engineering 10(2),
pp. 203–232,
doi:10.1023/A:1022920129859.
Daniel S Weld (2008):
Planning with durative actions in stochastic domains.
Journal of Artificial Intelligence Research 31,
pp. 33–82,
doi:10.1613/jair.2269.
Håkan LS Younes & Reid G Simmons (2004):
Solving generalized semi-Markov decision processes using continuous phase-type distributions.
In: AAAI 4,
pp. 742.