Louise Dennis: Publications

2024

Nabil Shaukat, Shival Dubey, Bilal Kaddouh, Andy Blight, Lenka Mudrich, Pedro Riveiro, Hugo Araujo, Rob Richardson, Louise Dennis, Ana Cavalcanti and Mohammad Mousavi. Trustworthy ROS Software Architecture for Autonomous Drones Missions: From RoboChart Modelling to ROS Implementation. IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA). BibTeX

Maryam Ghaffari Saadat, Angelo Ferrando, Louise A. Dennis, and Michael Fisher. ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics. FMAS 2024. To Appear.

Xin Quan, Marco Valentino, Louise. A. Dennis and André Freitas. Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving. In Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing (EMNLP), pages 2933–2958, Miami, Florida, USA. Association for Computational Linguistics. BibTeX

Ajay Vishwanath, Louise A. Dennis and Marija Slavkovik. Reinforcement Learning and Machine Ethics: A Systematic Review. arXiv:2407.02425 BibTeX

Thomas Wright, Louise A. Dennis, Jim Woodcock, and Simon Foster. Formal Verification of BDI Agents. The Combined Power of Research, Education and Dissimination (CP-RED). To Appear

Simon Kolker, Louise Dennis, Ramon Fraga Pereira, and Mengwei Zu. Applying Ethical Decision Making in Space Missions. SMC-IT/SCC 2024 New Ideas and Emerging Results Track. To Appear.

Louise A. Dennis and Michael Fisher. Specifying Agent Ethics (Blue Sky Ideas). COINE 2024.

Xin Quan, Marco Valentino, Louise A. Dennis and André Freitas. Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement. Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics (Volume 1: Long Papers), EACL 2024. BibTeX

M. Farrell, Matthew Bradbury, Rafael C. Cardoso, Michael Fisher, Louise A. Dennis, Clare Dixon, Al Tariq Sheik, Hu Yuan, and Carsten Maple. Security-Minded Verification of Cooperative Awareness Messages in IEEE Transactions on Dependable and Secure Computing, vol. , no. 01, pp. 1-18, 5555. doi: 10.1109/TDSC.2023.3345543 BibTeX

Mengwei Xu, Louise A. Dennis, and Mustafa A. Mustafa. Safeguard Privacy for Minimal Data Collection with Trustworthy Autonomous Agents. In Proc. of the 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024), Auckland, New Zealand, May 6 – 10, 2024, IFAAMAS. BibTeX

Charles Weir, Anna Dyson, Olamide Jogunola, Louise Dennis, and Katie Paxton-Fear. Interlinked Computing in 2040: Safety, Truth, Ownership and Accountability. Computer vol. 57, no. 1, pp. 59-68, Jan. 2024, doi: 10.1109/MC.2023.3318377. BibTeX

2023

Chris R. Anderson and Louise A. Dennis. Autonomous Systems' Safety Cases for use in UK Nuclear Environments. AREA 2023. DOI: 10.4204/EPTCS.391.10 BibTeX

Joe Collenette, Louise Dennis, and Michael Fisher, M. (2023). Prospective Responsibility for Multi-agent Systems. In: Bramer, M., Stahl, F. (eds) Artificial Intelligence XL. SGAI 2023. Lecture Notes in Computer Science(), vol 14381. Springer, Cham. DOI: 10.1007/978-3-031-47994-6_23 BibTeX

Miriam Buiten, Louise A. Dennis and Maike Schwammberger. A Vision on What Explanations of Autonomous Systems are of Interest to Lawyers Third International Workshop on Requirements Engineering for Explainable Systems (RE4ES), 2023. BibTeX

Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher and Louise Dennis. Adaptive Cognitive Agents: Updating Action Descriptions and Plans. In: Malvone, V., Murano, A. (eds) Multi-Agent Systems. EUMAS 2023. Lecture Notes in Computer Science, vol 14282. Springer, Cham. DOI: 10.1007/978-3-031-43264-4_22 BibTeX

Louise A. Dennis and Michael Fisher. Verifiable Autonomy: Using Rational Agents to Provide Assurance about Decisions Made by Machines. CUP, 2023. BibTeX

Louise Dennis, Marie Farrell and Michael Fisher. Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration [A Position Paper]. NeSyMAS 2023. BibTeX

Vivek Nallur, Louise A. Dennis, Selmer Bringsjord, Naveen Sundar Govindarajulu. A Partially Synthesized Position on the Automation of Machine Ethics. Digital Society 2(14) 2023. doi: 10.1007/s44206-023-00040-8 BibTeX

Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis and Michael Fisher. Towards Forward-looking Responsbility in BDI Agents. In: Ciortea, A., Dastani, M., Luo, J. (eds) Engineering Multi-Agent Systems. EMAS 2023. Lecture Notes in Computer Science(), vol 14378. Springer, Cham. DOI: 10.1007/978-3-031-48539-8_1 BibTeX

Simon Kolker, Louise A. Dennis, Ramon Fraga Pereira and Mengwei Xu. Uncertain Machine Ethical Decisions using Hypothetical Retrospection. In: Fornara, N., Cheriyan, J., Mertzani, A. (eds) Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVI. COINE 2023. Lecture Notes in Computer Science(), vol 14002. Springer, Cham. DOI: 10.1007/978-3-031-49133-7_9 BibTeX

Yifan Xu, Joe Collenette, Louise A. Dennis and Clare Dixon. Dialogue Explanations for Rules-Based AI Systems. In: Calvaresi, D., et al. Explainable and Transparent AI and Multi-Agent Systems. EXTRAAMAS 2023. Lecture Notes in Computer Science(), vol 14127. Springer, Cham. DOI: 10.1007/978-3-031-40878-6_4. BibTeX

Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis. Updating Action Descriptions and Plans for Cognitive Agents. Extended abstract inn Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems (AAMAS '23). International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2370–2372. BibTeX

Mohammad Reza Mousavi, Ana Cavalcanti, Michael Fisher, Louise Dennis, Rob Heirons, Bilal Kaddouh, Effie Lai-Chong Law, Rob Richardson, Jan Oliver Ringert, Ivan Tyukin, Jim Woodcock. Trustworthy Autonomous Systems through Verifiability. Computer 56(2), pp. 40-47, 2023. doi: 10.1109/MC.2022.3192206. BibTeX

2022

Louise Dennis, Clare Dixon and Michael Fisher. Verifiable Autonomy: from Theory to Applications. AI Communications, vol 35, no 4, pp.421-431, 2022. BibTeX

Joe Collenette, Louise A. Dennis and Michael Fisher. Advising Autonomous Cars about the Rules of the Road. Fourth Workshop on Formal Methods for Autonomous Systems (FMAS 2022). EPTCS 371, 2022, pp. 62-76 DOI: https://doi.org/10.4204/EPTCS.371.5 BibTeX

Yifan Xu, Joe Collenette, Louise A. Dennis and Clare Dixon. Dialogue-Based Explanations for Reasoning in Rule-based Systems. Explainable Logic-Based Knowledge Representation (XLoKR 2022). BibTeX

Hazel M. Taylor, Caroline Jay, Barry Lennox, Angelo Cangelosi, and Louise Dennis. Should AI Systems in Nuclear Facilities Explain Decisions the Way Humans Do? An Interview Study. International Symposium on Robot and Human Interactive Communication (RO-MAN 2022). DOI:10.1109/RO-MAN53752.2022.9900852 BibTeX

Louise A. Dennis. Verifying Autonomous Systems. In: ter Beek, M.H., Monahan, R. (eds) Integrated Formal Methods. IFM 2022. Lecture Notes in Computer Science, vol 13274. Springer, Cham. https://doi.org/10.1007/978-3-031-07727-2_1. Presentation (YouTube Link). BibTeX

Louise A. Dennis and Nir Oren. Explaining BDI Agent Behaviour Through Dialogue. Journal of Autonomous Agents and Multi-Agent Systems. 2022 BibTeX

Louise A. Dennis, Yu Fu and Marija Slavkovik. Markov Chain Model Representation of Information Diffusion in Social Networks. Journal of Logic and Computation. 2022. DOI:10.1093/logcom/exac018 BibTeX

2021

Rafael C. Cardoso, Marie Farrell, Georgios Kourtis, Matt Webster, Louise A. Dennis, Clare Dixon, Michael Fisher and Alexei Lisitsa. Verification for Space Robotics. In: Yang Gao (ed) Space Robotics and Autonomous Systems: Technologies, Advances and Applications. IET, 2021. DOI: 10.1049/PBCE131E_ch11 BibTeX

Will Slocombe, Louise Dennis. Enforcing Machine Ethics: Considering Governor Modules through Martha Wells’s Murderbot Diaries. In: Dainton B., Slocombe W., Tanyi A. (eds) Minding the Future. Science and Fiction. Springer, Cham. DOI: 10.1007/978-3-030-64269-3_4 BibTeX

Tianyu Zhang, Louise A. Dennis and Matt Webster. AsteroidX: An Asteroid Exploration Simulation and Visualisation Tool. Workshop on Advances in Space Robotics and back to Earth. BibTeX

Louise A. Dennis and Cristina Perea del Olmo. A Defeasible Logic Implementation of Ethical Reasoning. First International Workshop on Computational Machine Ethics (CME-2021). BibTeX

Gleifer Alves, Louise Dennis and Michael Fisher. An Agent-based architecture with support to Ethical Decisions on a Road Traffic Scenario. IROS Workshop on Building and Evaluating Ethical Robotic Systems (ERS 2021). BibTex

Alan F. T. Winfield, Serena Booth, Louise A. Dennis, Takashi Egawa, Helen Hastie, Naomi Jacobs, Roderick Muttram, Joanna I. Olszewska, Fahimeh Rajabiyazdi, Andreas Theodorou, Mark Underwood, Robert H. Wortham, Eleanor Watson. IEEE P7001: A Proposed Standard on Transparency. Frontiers in Robotics and AI, section Ethics in Robotics and Artificial Intelligence. 2021. DOI: 10.3389/frobt.2021.665729 BibTex

Louise Dennis and Michael Fisher. Verifiable Autonomy and Responsible Robotics. In: Cavalcanti A., Dongol B., Hierons R., Timmis J., Woodcock J. (eds) Software Engineering for Robotics. Springer, Cham. DOI: 10.1007/978-3-030-66494-7_7 BibTex

Matt Luckcuck, Michael Fisher, Louise Dennis, Steve Frost, Andy White and Doug Styles. Principles for the Development and Assurance of Autonomous Systems for Safe Use in Hazardous Environments. RAIN White Paper. DOI:10.5281/zenodo.5012322 BibTex

Gleifer Vaz Alves, Louise A. Dennis and Michael Fisher. A Double-Level Model Checking Approach for an Agent-based Autonomous Vehicle on a Road Junction Environment. Journal of Sensor and Actuator Networks special issue on Agents and Robots for Reliable Engineered Autonomy. 2021. DOI:10.3390/jsan10030041 BibTex

Mariya Tsvarkaleva and Louise A. Dennis. No Free Lunch: Overcoming Reward Gaming in AI Safety Gridworlds. Fourth International Workshop on Artificial Intelligence Safety Engineering (WAISE 2021). BibTex

Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Page, Fabio Papacchini, and Matt Webster. An Overview of Verification and Validation Challenges for Inspection Robots. MDPI Robotics. 10(2), 67. 2021. DOI: 10.3390/robotics10020067 BibTex

Peter Stringer, Rafael C. Cardoso, Clare Dixon and Louise A. Dennis. Implementing Durative Actions with Failure Detection in Gwendolen. EMAS 2021. Lecture Notes in Computer Science, vol 13190. Springer, Cham. DOI: 10.1007/978-3-030-97457-2_19 BibTex

Rafael C. Cardoso, Angelo Ferrando, Louise Dennis and Michael Fisher. Implementing Ethical Governors in BDI. EMAS 2021. Lecture Notes in Computer Science, vol 13190. Springer, Cham. DOI: 10.1007/978-3-030-97457-2_2 BibTex

Rafael C. Cardoso, Georgios Kourtis, Louise A. Dennis, Clare Dixon, Marie Farrell, Michael Fisher and Matt Webster. A Review of Verification and Validation for Space Autonomous Systems. Journal of Current Robotics Reports. DOI:10.1007/s43154-021-00058-1, 2021. BibTex

Rafael C. Cardoso, John L. Michaloski, Craig Schlenoff, Angelo Ferrando, Louise A. Dennis and Michael Fisher. Agile Tasking of Robotic Systems with Explicit Autonomy. The 34th International FLAIRS conferences (FLAIRS-34). DOI: 0.32473/flairs.v34i1.128481 BibTex

Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo, Guillaume Brat, Louise Dennis and Michael Fisher. Integrating Formal Verification and Assurance: An Inspection Rover Case Study. In: Dutle A., Moscato M.M., Titolo L., Muñoz C.A., Perez I. (eds) NASA Formal Methods. NFM 2021. Lecture Notes in Computer Science, vol 12673. Springer, Cham. DOI: 10.1007/978-3-030-76384-8_4 (PDF) BibTex

Angelo Ferrando, Louise A. Dennis, Rafael C. Cardoso, Michael Fisher, Davide Ancona and Viviana Mascardi. Towards a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems. ACM Transactions on Software Engineering and Methodology. 30(4). 2021. DOI: 10.1145/3447246 (Author Accepted Copy) BibTex

Louise A. Dennis and Nir Oren. Explaining BDI agent behaviour through dialogue. In: 20th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2021). BibTex

Louise. A. Dennis, Martin Mose Benzen, Felix Lindner and Michael Fisher. Verifiable Machine Ethics in Changing Contexts. In: 35th AAAI Conference on Artificial Intelligence (AAAI 2021). 35(12), 11470-11478. BibTex (Author Accepted Copy)

2020

Gleifer Vas Alves, Louise Dennis, Lucas Fernandes, and Michael Fisher. Reliable Decision-Making in Autonomous Vehicles. In: Leitner A., Watzenig D., Ibanez-Guzman J. (eds) Validation and Verification of Automated Systems. 2020. Springer. DOI: 10.1007/978-3-030-14628-3_10 BibTex

Rafael C. Cardoso, Louise A. Dennis, Marie Farrell, Michael Fisher and Matt Luckcuck. Towards Compositional Verification for Modular Robotic Systems. In: Second International Workshop on Formal Methods for Autonomous Systems, FMAS 2020. BibTex

Gleifer Alves, Louise A. Dennis and Michael Fisher. Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent. In: Sekerinski E. et al. (eds) Formal Methods. FM 2019 International Workshops. FM 2019. Lecture Notes in Computer Science, vol 12232. Springer, Cham. https://doi.org/10.1007/978-3-030-54994-7_16. BibTex (Author Accepted Copy)

Louise. A Dennis. Computational Goals, Values and Decision-Making. Science and Engineering Ethics 2020. DOI: 10.1007/s11948-020-00244-y. BibTex

Rafael C. Cardoso, Daniel Ene, Tom Evans, Louise A. Dennis. Ethical Governor Systems viewed as a Multi-Agent Problem. In Vivek Nallur (ed), Second Workshop on Implementing Machine Ethics, June 2020, Zenodo, DOI: 10.5281/zenodo.3938851. BibTex (Presentation (MP4))

Gleifer Vaz Alves, Louise Dennis and Michael Fisher. First Steps towards an Ethical Agent for checking decision and behaviour for an Autonomous Vehicle on the Rules of the Road. In Vivek Nallur (ed), Second Workshop on Implementing Machine Ethics, June 2020, Zenodo, DOI: 10.5281/zenodo.3938851. BibTex

Rafael C. Cardoso, Louise A. Dennis and Michael Fisher. Plan Library Reconfigurability in BDI Agents. In: Dennis L., Bordini R., Lespérance Y. (eds) Engineering Multi-Agent Systems. EMAS 2019. Lecture Notes in Computer Science, vol 12058. Springer, Cham BibTex

Vincent Koeman, Louise A. Dennis, Matt Webster, Michael Fisher and Koen Hindriks. The "Why did you do that?" Button: Answering Why-questions for end users of Robotic Systems. In: Dennis L., Bordini R., Lespérance Y. (eds) Engineering Multi-Agent Systems. EMAS 2019. Lecture Notes in Computer Science, vol 12058. Springer, Cham BibTex

Peter W. Stringer, Rafael C. Cardoso, Xiaowei Huang and Louise A. Dennis. Adaptable and Verifiable BDI Reasoning. Agents and Robots for reliable Engineered Autonomy (AREA), EPTCS 319, pages 117-125, 2020. DOI: 10.4204/EPTCS.319.9 BibTex

Louise A. Dennis and Michael Fisher. Verifiable Self-Aware Agent-Based Autonomous Systems. Proceedings of the IEEE. Special Issue on Self-Awareness for Autonomous Systems. pp:1011-1026, 2020. DOI: 10.1109/JPROC.2020.2991262 BibTex

Matt Webster, Louise A. Dennis, Clare Dixon, Michael Fisher, Richard Stocker and Maarten Sierhuis. Formal Verification of Astronaut-Rover Teams for Planetary Surface Operations. IEEE Aerospace Conference (AeroConf) 2020. BibTex

Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher. An Interface for Programming Verifiable Autonomous Agents in ROS. 17th European Conference on Multi-Agent Systems (EUMAS 2020). Lecture Notes in Computer Science, vol 12520. Springer, Cham. DOI: 10.1007/978-3-030-66412-1_13BibTex (Author Accepted Copy)

Louise Dennis and Marija Slavkovik. Model-checking Information Diffusion in Social Networks with PRISM. 17th European Conference on Multi-Agent Systems (EUMAS 2020). Lecture Notes in Computer Science, vol 12520. Springer, Cham. DOI:10.1007/978-3-030-66412-1_30 BibTex (Author Accepted Copy)

2019

Marie Farrell, Rafael C. Cardoso, Louise A. Dennis, Clare Dixon, Michael Fisher, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Matt Webster. Modular Verification of Autonomous Space Robotics. arXiv:1908.10738, 2019. BibTex

Marie Farrell, Matthew Bradbury, Hu Yuan, Michael Fisher, Louise Dennis, Clare Dixon and Carsten Maple. Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. Ölveczky P., Salaün G. (eds) Software Engineering and Formal Methods. SEFM 2019. Lecture Notes in Computer Science, vol 11724. Springer, Cham. pp. 471-490. DOI: 10.1007/978-3-030-30446-1_25 BibTex

Matt Luckcuck, Marie Farrell, Louise Dennis, Clare Dixon and Michael Fisher. Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM Computing Surveys, 52(5), pp. 1-41, 2019. DOI: 10.1145/3342355. Also available from arXiv. BibTex An overview of this paper was also presented at iFM 2019 in their Journal First category.

Paul Bremner, Louise A. Dennis, Michael Fisher and Alan F. Winfield. On Proactive, Transparent and Verifiable Ethical Reasoning for Robots. Proceedings of the IEEE. Special Issue on Machine Ethics: The Design and Governance of Ethical AI and Autonomous Systems. 107(3), pp:541-561. DOI: 10.1109/JPROC.2019.2898267 BibTex

Michael Winikoff, Louise Dennis and Michael Fisher. Slicing Agent Programs for More Efficient Verification. In: Weyns D., Mascardi V., Ricci A. (eds) Engineering Multi-Agent Systems. EMAS 2018. Lecture Notes in Computer Science, vol 11375. pp. 139-157. 2019. Springer, Cham. Pre-proceedings version. BibTex

2018

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. Autonomous Nuclear Waste Management. IEEE Intelligent Systems 33(6), 2018. DOI: 10.1109/MIS.2018.111144814 BibTex

Louise A. Dennis and Marija Slavkovik. Machines That Know Right and Cannot Do Wrong: The Theory and Practice of Machine Ethics. IEEE Intelligent Informatics Bulletin, Vol 19, No. 1, August 2018. BibTex

Louise A. Dennis. Reconfigurable Autonomy: Architecture and Configuration Language. University of Liverpool, Computer Science, Technical Report ULCS-18-002. BibTex

Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher and Viviana Mascardi. Verifying and Validating Autonomous Systems: an Integrated Approach. 8th International Conference on Runtime Verification (RV 2018) LNCS 111237, pp. 263-281. Springer. BibTex

Michael Fisher, Emily C. Collins, Louise A. Dennis, Matthew Luckcuck, Matthew P. Webster, Mike Jump, Vincent Page, Charles Patchet, Fateme Dinmohammadi, David Flynn, Valentin Robu and Xingu Zhao. Verifiable Self-Certifying Autonomous Systems. 8th IEEE International Workshop on Software Certification (WoSoCer), 2018. BibTex

Martin Mose Bentzen, Felix Lindner, Louise Dennis and Michael Fisher. Moral Permissability of Actions in Smart Home Systems. Workshop on Robots, Morality, and Trust through the Verification Lens, 2018. BibTex

Gleifer Alves, Louise Dennis and Michael Fisher. Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent. Workshop on Verification and Validation of Autonomous Systems, pp. 26-28, 2018. BibTex

Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher and Viviana Mascardi. Recognising Assumption Violations in Autonomous Systems Verification. AAMAS 2018 (Short Paper). pp. 1933-1936. BibTex

Louise A. Dennis. The MCAPL Framework including the Agent Infrastructure Layer and Agent Java Pathfinder. Journal of Open Source Software, 3(24), 617, 2018. DOI: 10.31105/joss.00617. BibTex

Louise A. Dennis, Michael Fisher, and Matt Webster. Two-stage agent program verification. Journal of Logic and Computation, Volume 28, issue 3, pp. 499-523, 2018. DOI: 10.1093/logcom/exv002. BibTex. This is an extension of Using Agent JPF to Build Models for Other Model Checkers. BibTex

Louise Dennis and Michael Fisher. Practical Challenges in Explicit Ethical Machine Reasoning. International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, FL. January 3–5, 2018. Also available from ArXiv pre-prints 1801.01422, 2018. BibTex

Virginia Dignum, Matteo Baldoni, Cristina Baroglio, Maurizio Caon, Raja Chatila, Louise Dennis, Gonzalo Génova, Malte Kließ, Maite Lopez-Sanchez, Juan Pavón, Marija Slavkovik, Matthijs Smakman, Marlies van Steenbergen, Stefano Tedeschi, Leon van der Torre, Serena Villata, Tristan de Wildt, Galit Haim. Ethics by Design: necessity or curse? AAAI/ACM Conference on Artificial Intelligence, Ethics and Society 2018 . BibTex

Edvard P. Bjørgen, Simen Madsen, Therese S. Bjørknes, Fredrik V. Heimsæter, Robin Håvik, Morten Linderud, Per-Niklas Longberg, Louise A. Dennis and Marija Slavkovik. Cake, death, and trolleys: dilemmas as benchmarks of ethical decision-making. AAAI/ACM Conference on Artificial Intelligence, Ethics and Society 2018. BibTex

2017

Louise Dennis, Elisa Cucco and Michael Fisher. A General Architecture for Flexible Autonomous Systems. Workshop on Architectures for Generality and Autonomy (AGA 2017), 2017. BibTex

Elisa Cucco, Michael Fisher, Louise Dennis, Clare Dixon, Matt Webster, Bastian Broecker, Richard Williams, Joe Collenette, Katie Atkinson and Karl Tuyls. Towards Robots for Social Engagement. Workshop on Human-Robot Engagement in the Home, Workplace and Public Spaces (WHRE 2017), 2017. BibTex

Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher and Sandor M. Veres. Formal verification of autonomous vehicle platooning. Science of Computer Programming, 148, pp. 88-106, 2017. DOI: 10.1016/j.scico.2017.05.006. Pre-print available at ArXiv pre-prints 1602.01718, 2016. BibTex

Vicky Charisi, Louise Dennis, Michael Fisher, Robert Lieck, Andreas Matthias, Marija Slavkovik, Janina Sombetzki, Alan F. T. Winfield, Roman Yampolskiy. Towards Autonomous Moral Systems. ArXiv e-prints, 1703.04741, 2017. BibTex

Louise A. Dennis. Gwendolen Semantics: 2017. University of Liverpool, Computer Science, Technical Report ULCS-17-001. BibTex

2016

Louise A. Dennis, Marija Slavkovik and Michael Fisher. "How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks. Coordination, Organizations, Institutions and Norms in Agent Systems XII. 2016. LNAI 10315, pages 42-59. BibTex

Louise A. Dennis, Jonathan M. Aitken, Joe Collenette, Elisa Cucco, Maryam Kamali, Owen McAree, Affan Shaukat, Katie Atkinson, Yang Gao, Sandor Veres, and Michael Fisher. Agent-based Autonomous Systems and Abstraction Engines: Theory meets Practice. Towards Autonomous Robotic Systems, 17th Annual Conference (TAROS 2016), 2016. Springer LNCS 9716, pages 75-86. BibTex.

Louise A. Dennis, Michael Fisher, Nicholas K. Lincoln, Alexei Lisitsa, Sandor M. Veres. Practical Verification of Decision-Making in Agent-Based Autonomous Systems (available Open Access). Automated Software Engineering 23(3), 305-359, 2016. DOI: 10.1007/s10515-014-0168-9. PDF. The results mentioned in the paper can be reproduced using this Virtual Machine archived at recomputation.org. BibTex.

2015

Louise A. Dennis, Michael Fisher, Marija Slavkovik, and Matt Webster. Formal Verification of Ethical Choices in Autonomous Systems Robotics and Autonomous Systems. DOI:10.1016/j.robot.2015.11.012. BibTex

M. Birna van Riemsdijk, Louise A. Dennis, Michael Fisher, Koen V. Hindriks. A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance. AAMAS 2015: 423-432 BibTex

Marija Slavkovik, Louise A. Dennis, and Michael Fisher. An Abstract Formal Basis for Digital Crowds. Distributed and Parallel Databases. DOI: 10.1007/s10619-014-7161-y. BibTex

Louise A. Dennis, Michael Fisher, and Alan Winfield. Towards Verifiably Ethical Robot Behaviour. Proceedings of the AAAI Workshop on Artificial Intelligence and Ethics (1st International Workshop on AI and Ethics). BibTex

2014

Louise A. Dennis. ROS-AIL Integration. University of Liverpool, Computer Science, Technical Report ULCS-14-004. BibTex

Louise Dennis, Michael Fisher, Sandor Veres and Nick Lincoln. Safe Autonomous Space Software. Space Safety Magazine. February 2014.

Louise A. Dennis and Michael Fisher. Actions with Durations and Failures in BDI Languages. Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), Frontiers in Artificial Intelligence and Applications, volume 263, pp.995-996. IOS Press. A longer version appears as University of Liverpool, Computer Science Technical Report ULCS-14-003. BibTex (ECAI Paper). BibTex (Tecnical Report)

Louise A. Dennis, Michael Fisher, Jonathan M. Aitken, Sandor M. Veres, Yang Gao, Affan Shaukat, Guy Burroughes. Reconfigurable Autonomy. Künstliche Intelligenz (2014) 28:199–207. BibTex

2013

Matteo Baldoni, Louise A. Dennis, Viviana Mascardi and Wamberto Vasconcelos (eds), Declarative Agent Languages and Technologies X, 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited Papers, LNCS Volume 7784, 2013, DOI: 10.1007/978-3-642-37890-4.

Michael Fisher, Louise A. Dennis, Matthew P. Webster. Verifying Autonomous Systems. Communications of the ACM 56(9): 85-93 (2013). BibTex

M. Birna van Riemsdijk, Louise A. Dennis, Michael Fisher, Koen V. Hindriks. Agent Reasoning for Norm Compliance: A Semantic Approach. AAMAS 2013: 499-506. BibTex

Louise A. Dennis, Michael Fisher, Matthew P. Webster. Using Agent JPF to Build Models for Other Model Checkers.. Computational Logic in Multi-Agent Systems: 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings: 273-289. Springer LNCS 8143. This is now superseded by Two-stage agent program verification. BibTex

Louise Dennis, Michael Fisher, Marija Slavkovik, Matt Webster. Ethical Choice in Unforeseen Circumstances. Towards Autonomous Robotic Systems, 14th Annual Conference (TAROS 2013), 2013. Springer LNCS 8069, pp. 433-445. BibTeX

Richard Stocker, Maarten Sierhuis, Louise Dennis, Clare Dixon, Michael Fisher. A Formal Semantics for Brahms. ULCS Technical Report ULCS-13-006

N. K. Lincoln, S. M. Veres, L. A. Dennis, M. Fisher and A. Lisitsa. Autonomous Asteroid Exploration by Rational Agents. Computational Intelligence Magazine, 8(4), pp. 25 - 38. IEEE, 2013. BibTeX

2012

Louise A. Dennis, Olivier Boissier and Rafael H. Bordini (eds), Programming Multi-Agent Systems: 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers, LNCS Volume 7217, 2012, DOI: 10.1007/978-3-642-31915-0.

Richard Stocker, Louise A. Dennis, Clare Dixon and Michael Fisher. Verifying Brahms Human-Robot Teamwork Models. Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. pp. 385-397. BibTex

2011

Louise A. Dennis, Michael Fisher, Matthew P. Webster and Rafael H. Bordini. Model checking agent programming languages, Automated Software Engineering, 2011. BibTex

Richard Stocker, Maarten Sierhuis, Louise. A. Dennis, Clare Dixon, Michael Fisher. A Formal Semantics for Brahms. Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. pp. 259-274. BibTex

L. A. Dennis. Plan-indexing for State-Based Plans. Proceedings of Declarative Agent Languages and Technologies (DALT 11), 2011. Springer LNCS 7169. pp 3-15. BibTex

L. A. Dennis, I. Green and A. Smaill, The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling. Journal of Automated Reasoning: Volume 47, Issue 1 (2011), Page 57-105. BibTex

2010

R. H. Bordini, L. A. Dennis, B. Farwer and M. Fisher, Directions for Agent Model Checking. Chapter 4 in M. Dastani, K. V. Hindriks, J.-J. C. Meyer (eds), Specification and Verification of Multi-agent Systems, pp. 103-123. Springer US, 2010. BibTex

Nicholas Lincoln , Sandor Veres , Louise Dennis , Michael Fisher and Alexei Lisitsa. An Agent Based Framework for Adaptive Control and Decision Making of Autonomous Vehicles. Adaptation and Learning in Control and Signal Processing (ALCOSP 2010), 2010.BibTex

Louise Dennis, Michael Fisher, Alexei Lisitsa, Nicholas Lincoln, Sandor Veres. Satellite Control Using Rational Agent Programming. IEEE Intelligent Systems 25 (3), pp. 92-97, IEEE Computer Society, 2010. BibTex

Louise A. Dennis, Michael Fisher, Nicholas K. Lincoln, Alexei Lisitsa, and Sandor M. Veres. Reducing Code Complexity in Hybrid Autonomous Control Systems. The 10th International Symposium on Artificial Intelligence, Robotics and Automation in Space (iSAIRAS 2010). BibTex

Louise A. Dennis, Michael Fisher, Nicholas K. Lincoln, Alexei Lisitsa, and Sandor M. Veres. Declarative Abstractions for Agent Based Hybrid Control Systems. Proceedings of Declarative Agent Languages and Technologies (DALT 10), 2010. Springer LNAI 6619. pp 96-111. BibTex

2009

Myrto Arapinis, Muffy Calder, Louise A. Dennis, Michael Fisher, Philip D. Gray, Savas Konor, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin. Towards the Verification of Pervasive Systems. ECEASST 22 (2009). BibTex

Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres. Agent Based Approaches to Engineering Autonomous Space Software. Proceedings FM-09 Workshop on Formal Methods for Aerospace, Eindhoven, 3rd November 2009 pp. 63-68. EPTCS 20, The Computing Research Repository. BibTex

L. A. Dennis, N. Tinnemeier and J.-J. Meyer. Model Checking Normative Agent Organisations. Proceedings 10th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-X), 2009. Jürgen Dix, Michael Fisher and Peter Novák (eds), pp. 64-82. LNCS 6214. Springer. BibTex

M. Webster, L. Dennis and M. Fisher. Model Checking Auctions, Coalitions and Trust. Technical Report ULCS-09-004, University of Liverpool, Department of Computer Science. 2009. Available from http://www.csc.liv.ac.uk/research/techreports/. BibTex

M. Fisher, L. Dennis and A. Hepple. Modular Multi-Agent Design. Technical Report ULCS-09-002, University of Liverpool, Department of Computer Science. 2009. Available from http://www.csc.liv.ac.uk/research/techreports/. BibTex

2008

R. H. Bordini, L. A. Dennis, B. Farwer and M. Fisher. Automated Verification of Multi-Agent Programs. Proceedings of Automated Software Engineering (ASE 2008), 2008. IEEE.BibTex

L. A. Dennis, B. Farwer, R. H. Bordini and M. Fisher. A Flexible Framework for Verifying Agent Programs (Short Paper). Proceedings of the 7th International Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2008), Padgham, Parkes, Müller and Parsons (eds.), May, 12-16., 2008, Estoril, Portugal, pp. 1303-1306. BibTex

L. A. Dennis and M. Fisher. Programming Verifiable Heterogeneous Agent Systems. Programming Multi-Agent Sstems (ProMAS08). K. Hindriks, A. Pokahr and S. Sardina (eds.), 2008. pp. 27-42. BibTex

L. A. Dennis and B. Farwer. Gwendolen: A BDI Language for Verifiable Agents. Logic and the Simulation of Interaction and Reasoning. B. Löwe (ed). AISB'08 Workshop, Aberdeen, 2008. BibTex

2007

A. Hepple, L. A. Dennis and M. Fisher. A Common Basis for Agent Organisation in BDI Languages. Languages, methodologies and Development tools for Multi-Agent Systems (LADS'007), 2007. Lecture Notes in Artificial Intelligence 5118, pp. 71-88. BibTex

L. A. Dennis, M. Fisher and A. Hepple. Foundations of Flexible Multi-Agent Programming. Eighth Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII), 2007.BibTex

B. Farwer and L. Dennis. Translating into an intermediate agent layer: A prototype in Maude. Proceedings of Concurrency, Specification and Programming CS&P'2007, Lagow, Poland, 2007.BibTex

L. A. Dennis, R. H. Bordini, B. Farwer, M. Fisher and M. Wooldridge. A Common Semantic Basis for BDI Languages. Fifth International Workshop on Programming in Multi-Agent Systems (ProMAS'07). 2008. Lecture Notes in Artificial Intelligence, 4908. BibTex

L. A. Dennis, J. Gow and C. Schurmann. Challenge Problems for Inductive Theorem Provers v1.0. Technical Report ULCS-07-004, University of Liverpool, Department of Computer Science. 2007. Available from http://www.csc.liv.ac.uk/research/techreports/. BibTex

2006

T. D. Attfield, M. C. Duarte, L. Li, H.-Y. Mak, A. N. Neal, L. M. Toft, Z. Wang and L. A. Dennis, Induction Challenge OMDoc Manager (ICOM). Chapter 26 Applications and Projects, Section 11 in M. Kohlhase, OMDoc - An Open Markup Format for Mathematical Documents [version 1.2], Lecture Notes in Artificial Intelligence 4180, AI Systems Sub-Series. Springer, 2006. BibTex

L. A. Dennis, Enhancing Theorem Prover Interfaces with Program Slice Information. User Interaces for Theorem Provers 2006, Seattle, Washington, 2006. Workshop associated with IJCAR 2006. Published in Electronic Notes in Computer Science, Volume 174, Issue 2, 2007. BibTex

L. A. Dennis, Program Slicing and Middle-Out Reasoning for Error Location and Repair. IJCAR 2006 workshop on Disproving: Non-Theorems, Non-Validity and Non-Provability, Seattle, Washington, 2006. BibTex

L. A. Dennis, R. Monroy and P. Nogueira. Proof-directed Debugging and Repair in H. Nilsson and M. van Eekelen (eds). Seventh Symposium on Trends in Functional Programming, pp. 131-140. 2006. BibTex

2005

L. A. Dennis and P. Nogueira. What can be Learned from Failed Proofs of Non-Theorems? in J. Hurd, E. Smith and A. Darbari (eds). Theorem Proving in Higher Order Logics (TPHOLs 2005): Emerging Trends Proceedings, pp. 45-58. Technical Report PRG-RP-05-2, Oxford University Computer Laboratory, 2005. BibTex

L. A. Dennis, M. Jamnik and M. Pollet. On the Comparison of Proof Planning Systems: Lambda-Clam, Omega and IsaPlanner. 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2005), Electronic Notes in Computer Science (ENTCS) 151. pp. 93-110, 2006. BibTex

L. A. Dennis, I. Green and A. Smaill, Embeddings as a Higher-Order Representation of Annotations for Rippling, Computer Science Technical Report No. NOTTCS-WP-2005-1, University of Nottingham. 2005. BibTex

L. A. Dennis, An Architecture for Proof Planning Systems, in L. P. Kaelbling and A. Saffoitti (Eds): Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05, IJCAI, Inc. pp. 1558-1559, 2005. BibTex

2004

W. I. Sellers, L. A. Dennis, W.-J. Wang and R. H. Crompton, Evaluating alternative gait strategies using evolutionary robotics, Journal of Anatomy, 204, pp. 343-351, 2004. BibTex

L. A. Dennis, The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs, in W. Ahrendt and P. Baumgartner and H. de Nivelle (Eds): IJCAR 2004 Workshop on Disproving: Non-Theorems, Non-Validity, Non-Provability. pp. 47-58. 2004. BibTex

L. A. Dennis, Student attitudes to plagiarism and collusion within computer science, in A. P. Smith and F. Duggan (Eds): Plagiarism: Prevention, Practice and Policy Conference 2004. Northumbria University Press, 2005. pp. 57-64.BibTex

2003

A. A. Adams and L. A. Dennis, Rippling in PVS, in M. Archer, B. Di Vito and C. Munoz (Eds.): Proceedings of Design and Application of Strategies/Tactics in Higher Order Logics (STRATA 2003), Rome, Italy, September 8, 2003. pp. 84 - 91. Published as NASA Technical Report CP-2003-212448. BibTex

W. I. Sellers, L. A. Dennis and R. H. Crompton, Predicting the metabolic energy costs of bipedalism using evolutionary robotics, Journal of Experimental Biology, 206, 1127-1136, 2003. BibTex

2002

L. A. Dennis and A. Bundy, A Comparison of two Proof Critics: Power vs. Robustness, in V. A Carreno, C. A. Munoz, S. Tahar (Eds.): Proceedings of Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. pp 182-198. LNCS 2410. Springer. BibTex

J. Zimmer and L. A. Dennis, Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus in J. Calmet, B. Belaid, O. Caprotti, L. Henocque and V. Sorge (Eds.): Artificial Intelligence, Automated Reasoning and Symbolic Computation (Calculemus 02), Marseille, France, 2002. pp. 319-331. LNAI 2385. Springer. BibTex

S. Colton and L. Dennis, The NumbersWithNames Program. AI&M 3-2002, Seventh International Symposium on Artificial Intelligence and Mathematics, January 2-4, 2002, Fort Lauderdale, Florida. Available from http://rutcor.rutgers.edu/~amai/aimath02/. BibTex

2001

L. A. Dennis and A. Smaill, Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domainin R. J. Boulton and P. B. Jackson (Eds): 14th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2001. pp. 185-200 LNCS 2152. BibTeX

L. A. Dennis, G. Collins, M. Norrish, R. Boulton, K. Slind and T. Melham, The PROSPER Toolkit. Int J Software Tools for Technology Transfer, 4(2), pp. 189-210, 2003. BibTex

2000

A. Stevenson and L. A. Dennis, Integrating SVC and HOL with the PROSPER Toolkit. TPHOLs2000, Supplemental Proceedings, pp. 199-206. OGI Technical Report CSE 00-009. BibTeX

G. Collins and L. A. Dennis, System Description: Embedding Verification into Microsoft Excelin D. McAllester (Ed.): Proceedings of 17th International COnference on Automated Deduction, CADE-17, pp. 497-501. LNAI 1831. Springer. BibTeX.

L. A. Dennis, G. Collins, M. Norrish, R. Boulton, K. Slind, G. Robinson, M. Gordon, and T. Melham, The PROSPER Toolkit in S. Graf and M. Schwartzback (Eds.): Proceedings of Tools and Algorithms for the Construction and Analysis of Systems, 6th International Conference, TACAS 2000, pp. 78-92. LNCS 1785, Springer-Verlag. Springer-Verlag own the copyright to the paper. BibTeX.

L. A. Dennis, A. Bundy, and I. Green, The Productive Use of Failure to Generate Witnesses From Divergent Proof Attempts for Coinduction. Annals of Mathematics and Artificial Intelligence 29:99-138, 2000. BibTeX

1999

L. A. Dennis Proof Planning Coinduction. Unpublished PhD thesis. Department of Artificial Intelligence, University of Edinburgh. 1999. BibTeX

1997

L. A. Dennis, A. Bundy, and I. Green, Using a Generalisation Critic to find Bisimulations for Coinductive Proofs. in W. McCune (Ed.): Proceedings of 14th International Conference on Automated Deduction, CADE-14, 1997, pp 276-290. Also available as Edinburgh DAI Research Report, 834. 1997. BibTeX.

1994

L. A. Dennis, An Exploration of Semantic Resolution. Unpublished MSc thesis, Department of Artificial Intelligence, University of Edinburgh. 1994. BibTeX

Contact: Louise Dennis.
Design by FreeCSSTemplates.org.