References

  1. Victoria Alonso & Paloma de la Puente (2018): System transparency in shared autonomy: A mini review. Frontiers in neurorobotics 12, pp. 83, doi:10.3389/fnbot.2018.00083.
  2. Blair Archibald (2021): Modelling and verifying BDI agents with bigraphs. arXiv preprint arXiv:2105.02578.
  3. Blair Archibald (2021): Probablistic bigraphs. arXiv preprint arXiv:2105.02559.
  4. Steve Benford (2016): On lions, impala, and bigraphs: Modelling interactions in physical/virtual spaces. ACM Transactions on Computer-Human Interaction (TOCHI) 23(2), pp. 1–56, doi:10.1145/2882784.
  5. Adella Bhaskara (2020): Agent transparency: A review of current theory and evidence. IEEE Transactions on Human-Machine Systems 50(3), pp. 215–224, doi:10.1109/THMS.2020.2965529.
  6. Michael Bratman (1987): Intention, plans, and practical reason. Harvard University Press, doi:10.2307/2185304.
  7. Paul Bremner (2019): On proactive, transparent, and verifiable ethical reasoning for robots. Proceedings of the IEEE 107(3), pp. 541–561, doi:10.1109/JPROC.2019.2898267.
  8. Mikkel Bundgaard & Vladimiro Sassone (2006): Typed polyadic pi-calculus in bigraphs. In: Proceedings of ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, pp. 1–12, doi:10.1145/1140335.1140336.
  9. Filippo Cantucci & Rino Falcone (2020): Towards trustworthiness and transparency in social human-robot interaction. In: Proceedings of 2020 IEEE International Conference on Human-Machine Systems (ICHMS). IEEE, pp. 1–6, doi:10.1109/ICHMS49158.2020.9209397.
  10. Edmund M Clarke & E Allen Emerson (1981): Design and synthesis of synchronization skeletons using branching time temporal logic. In: Proceedings of Workshop on Logic of Programs, pp. 52–71, doi:10.1007/BFb0025774.
  11. Louise A Dennis (2012): Model checking agent programming languages. Automated software engineering 19(1), pp. 5–63, doi:10.1007/s10515-011-0088-x.
  12. Louise A Dennis (2016): Practical verification of decision-making in agent-based autonomous systems. Automated Software Engineering 23(3), pp. 305–359, doi:10.1007/s10515-014-0168-9.
  13. James Harland (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.
  14. James Harland (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.
  15. IEEE (2020): IEEE Draft Standard for Transparency of Autonomous Systems. In: IEEE P7001/D1. Piscataway NJ: IEEE, pp. 1–76.
  16. Marta Kwiatkowska (2011): PRISM 4.0: Verification of Probabilistic Real-time Systems. In: Proceedings of Conference on Computer Aided Verification, pp. 585–591, doi:10.1007/978-3-642-22110-1_47.
  17. Patricia McDermott (2018): Human-machine teaming systems engineering guide. Technical Report. MITRE CORP.
  18. Robin Milner (2009): The space and motion of communicating agents. Cambridge University Press, doi:10.1017/CBO9780511626661.
  19. Thomas ONeill (2020): Human–autonomy teaming: A review and analysis of the empirical literature. Human Factors, doi:10.1177/0018720820960865.
  20. Raja Parasuraman & Victor Riley (1997): Humans and automation: Use, misuse, disuse, abuse. Human factors 39(2), pp. 230–253, doi:10.1518/001872097778543886.
  21. Anand S Rao (1996): AgentSpeak (L): BDI agents speak out in a logical computable language. In: European workshop on modelling autonomous agents in a multi-agent world. Springer, pp. 42–55, doi:10.1007/BFb0031845.
  22. Anand S Rao (1995): BDI agents: From theory to practice.. In: Proceedings of the First International Conference on Multiagent Systems, pp. 312–319.
  23. M. Birna van Riemsdijk (2004): Dynamics of declarative goals in agent programming. In: Proceedings of International Workshop on Declarative Agent Languages and Technologies. Springer, pp. 1–18, doi:10.1007/11493402_1.
  24. M. Birna van Riemsdijk (2005): Semantics of declarative goals in agent programming. In: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, pp. 133–140, doi:10.1145/1082473.1082494.
  25. Sebastian Sardina & Lin Padgham (2007): Goals in the context of BDI plan failure and planning. In: the 6th International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 16–23, doi:10.1145/1329125.1329134.
  26. 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.
  27. Allison Sauppé & Bilge Mutlu (2015): The social impact of a robot co-worker in industrial settings. In: Proceedings of the 33rd annual ACM conference on human factors in computing systems, pp. 3613–3622, doi:10.1145/2702123.2702181.
  28. Isabella Seeber (2020): Machines as teammates: A research agenda on AI in team collaboration. Information & management, doi:10.1016/j.im.2019.103174.
  29. Michele Sevegnani & Muffy Calder (2016): BigraphER: Rewriting and Analysis Engine for Bigraphs. In: 28th International Conference on Computer Aided Verification, pp. 494–501, doi:10.1007/978-3-319-41540-6_27.
  30. Michele Sevegnani & Eloi Pereira (2014): Towards a bigraphical encoding of actors. In: International Workshop on Meta Models for Process Languages, doi:10.13140/RG.2.1.3681.9046.
  31. Michele Sevegnani (2018): Modelling and Verification of Large-Scale Sensor Network Infrastructures. In: 23rd International Conference on Engineering of Complex Computer Systems, ICECCS, pp. 71–81, doi:10.1109/ICECCS2018.2018.00016.
  32. R Jay Shively (2017): Why human-autonomy teaming?. In: International conference on applied human factors and ergonomics. Springer, pp. 3–11, doi:10.1007/978-3-319-60642-2_1.
  33. Anna Spagnolli (2017): Transparency as an ethical safeguard. In: International Workshop on Symbiotic Interaction. Springer, pp. 1–6, doi:10.1007/978-3-319-91593-7_1.
  34. J. Thangarajah & L. Padgham (2011): Computationally effective reasoning about goal interactions. Journal of Automated Reasoning 47(1), pp. 17–56, doi:10.1007/s10817-010-9175-0.
  35. John Thangarajah (2014): Quantifying the completeness of goals in BDI agent systems. In: ECAI 2014. IOS Press, pp. 879–884, doi:10.3233/978-1-61499-419-0-879.
  36. John Thangarajah (2015): Estimating the Progress of Maintenance Goals.. In: AAMAS, pp. 1645–1646.
  37. Christos Tsigkanos (2020): Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations. In: 35th IEEE/ACM International Conference on Automated Software Engineering, pp. 993–1003, doi:10.1145/3324884.3416579.
  38. Alan FT Winfield (2021): IEEE P7001: A Proposed Standard on Transparency. Frontiers in Robotics and AI, pp. 225, doi:10.3389/frobt.2021.665729.
  39. Michael Winikoff (2005): JACK intelligent agents: an industrial strength platform. In: Multi-Agent Programming. Springer, pp. 175–193, doi:10.1007/0-387-26350-0_7.
  40. Michael Winikoff (2002): Declarative and procedural goals in intelligent agent systems. In: 8th International Conference on Principles of Knowledge Representation and Reasoning, pp. 470–481.
  41. Mengwei Xu (2019): Intention interleaving via classical replanning. In: 31st International Conference on Tools with Artificial Intelligence. IEEE, pp. 85–92, doi:10.1109/ICTAI.2019.00021.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org