Louise A. Dennis

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 90

Top Venues

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Louise A. Dennis
Conference Reports. AI Matters 10 (1) (2024)
Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas
Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving. CoRR (2024)
Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas
Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement. CoRR (2024)
Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas
Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement. EACL (1) (2024)
Ajay Vishwanath, Louise A. Dennis, Marija Slavkovik
Reinforcement Learning and Machine ethics:a systematic review. CoRR (2024)
Mengwei Xu, Louise A. Dennis, Mustafa A. Mustafa
Safeguard Privacy for Minimal Data Collection with Trustworthy Autonomous Agents. AAMAS (2024)
Louise A. Dennis, Michael Fisher
Specifying Agent Ethics (Blue Sky Ideas). CoRR (2024)
Rafael C. Cardoso, Angelo Ferrando, Joe Collenette, Louise A. Dennis, Michael Fisher
Towards Forward Responsibility in BDI Agents. EMAS (2023)
Louise A. Dennis
Conference Reports. AI Matters 9 (3) (2023)
Mohammad Reza Mousavi, Ana Cavalcanti, Michael Fisher, Louise A. Dennis, Robert M. Hierons, Bilal Y. Kaddouh, Effie Lai-Chong Law, Robert C. Richardson, Jan Oliver Ringer, Ivan Tyukin, Jim Woodcock
Trustworthy Autonomous Systems Through Verifiability. Computer 56 (2) (2023)
Joe Collenette, Louise A. Dennis, Michael Fisher
Prospective Responsibility for Multi-agent Systems. SGAI Conf. (2023)
Louise A. Dennis
Conference Reports. AI Matters 9 (2) (2023)
Yifan Xu, Joe Collenette, Louise A. Dennis, Clare Dixon
Dialogue Explanations for Rule-Based AI Systems. EXTRAAMAS (2023)
Louise A. Dennis
Conference Reports. AI Matters 9 (1) (2023)
Miriam C. Buiten, Louise A. Dennis, Maike Schwammberger
A Vision on What Explanations of Autonomous Systems are of Interest to Lawyers. REW (2023)
Christopher R. Anderson, Louise A. Dennis
Autonomous Systems' Safety Cases for use in UK Nuclear Environments. AREA@ECAI (2023)
Simon Kolker, Louise A. Dennis, Ramon Fraga Pereira, Mengwei Xu
Uncertain Machine Ethical Decisions Using Hypothetical Retrospection. COINE (2023)
Louise A. Dennis, Marie Farrell, Michael Fisher
Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration [A Position Paper]. CoRR (2023)
Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis
Adaptive Cognitive Agents: Updating Action Descriptions and Plans. EUMAS (2023)
Sanmay Das, Nicholas Mattei, John P. Dickerson, Sven Koenig, Louise A. Dennis, Larry R. Medsker, Ziyu Yao, Anuj Karpatne, Alan Tsang, Matt Luckcuck
SIGAI Annual Report: July 1 2022 - August 30 2023. AI Matters 9 (3) (2023)
Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis
Updating Action Descriptions and Plans for Cognitive Agents. AAMAS (2023)
Sanmay Das, Nicholas Mattei, John P. Dickerson, Sven Koenig, Louise A. Dennis, Larry R. Medsker, Ziyu Yao, Anuj Karpatne, Alan Tsang, Matt Luckcuck
SIGAI Annual Report: July 1 2021 - June 30 2022. AI Matters 8 (3) (2022)
Louise A. Dennis, Yu Fu, Marija Slavkovik
Markov chain model representation of information diffusion in social networks. J. Log. Comput. 32 (6) (2022)
Louise A. Dennis
Conference Reports. AI Matters 8 (4) (2022)
Louise A. Dennis
Verifying Autonomous Systems. IFM (2022)
Louise A. Dennis, Nir Oren
Explaining BDI agent behaviour through dialogue. Auton. Agents Multi Agent Syst. 36 (1) (2022)
Louise A. Dennis
Conference reports. AI Matters 8 (2) (2022)
Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise A. Dennis, Michael Fisher
A Compositional Approach to Verifying Modular Robotic Systems. CoRR (2022)
Louise A. Dennis
Conference reports. AI Matters 8 (1) (2022)
Joe Collenette, Louise A. Dennis, Michael Fisher
Advising Autonomous Cars about the Rules of the Road. FMAS/ASYDE@SEFM (2022)
Louise A. Dennis, Clare Dixon, Michael Fisher
Verifiable autonomy: From theory to applications. AI Commun. 35 (4) (2022)
Alan F. T. Winfield, Serena Booth, Louise A. Dennis, Takashi Egawa, Helen F. Hastie, Naomi Jacobs, Roderick I. Muttram, Joanna I. Olszewska, Fahimeh Rajabiyazdi, Andreas Theodorou, Mark A. Underwood, Robert H. Wortham, Eleanor Watson
IEEE P7001: A Proposed Standard on Transparency. Frontiers Robotics AI 8 (2021)
Louise A. Dennis
Conference reports. AI Matters 7 (4) (2021)
Angelo Ferrando, Louise A. Dennis, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Viviana Mascardi
Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems. ACM Trans. Softw. Eng. Methodol. 30 (4) (2021)
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 Pagé, Fabio Papacchini, Matt Webster
An Overview of Verification and Validation Challenges for Inspection Robots. Robotics 10 (2) (2021)
Louise A. Dennis, Martin Mose Bentzen, Felix Lindner, Michael Fisher
Verifiable Machine Ethics in Changing Contexts. AAAI (2021)
Louise A. Dennis
Conference reports. AI Matters 7 (1) (2021)
Louise A. Dennis
Conference reports. AI Matters 7 (3) (2021)
Mariya Tsvarkaleva, Louise A. Dennis
No Free Lunch: Overcoming Reward Gaming in AI Safety Gridworlds. SAFECOMP Workshops (2021)
Louise A. Dennis, Nir Oren
Explaining BDI Agent Behaviour through Dialogue. AAMAS (2021)
Sanmay Das, Nicholas Mattei, John P. Dickerson, Sven Koenig, Louise A. Dennis, Larry R. Medsker, Todd W. Neller, Iolanda Leite, Anuj Karpatne, Alan Tsang
SIGAI annual report: July 1 2020 - June 30 2021. AI Matters 7 (3) (2021)
Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher
Implementing Ethical Governors in BDI. EMAS@AAMAS (2021)
Louise A. Dennis
Conference reports. AI Matters 7 (2) (2021)
Peter Stringer, Rafael C. Cardoso, Clare Dixon, Louise A. Dennis
Implementing Durative Actions with Failure Detection in Gwendolen. EMAS@AAMAS (2021)
Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo, Guillaume Brat, Louise A. Dennis, Michael Fisher
Integrating Formal Verification and Assurance: An Inspection Rover Case Study. NFM (2021)
Rafael C. Cardoso, John L. Michaloski, Craig Schlenoff, Angelo Ferrando, Louise A. Dennis, Michael Fisher
Agile Tasking of Robotic Systems with Explicit Autonomy. FLAIRS Conference (2021)
Louise A. Dennis, Michael Fisher
Verifiable Self-Aware Agent-Based Autonomous Systems. Proc. IEEE 108 (7) (2020)
Louise A. Dennis
Conference reports. AI Matters 6 (3) (2020)
Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher
An Interface for Programming Verifiable Autonomous Agents in ROS. EUMAS/AT (2020)
Rafael C. Cardoso, Louise A. Dennis, Marie Farrell, Michael Fisher, Matt Luckcuck
Towards Compositional Verification for Modular Robotic Systems. FMAS (2020)
Louise A. Dennis
Computational Goals, Values and Decision-Making. Sci. Eng. Ethics 26 (5) (2020)
Louise A. Dennis
Events. AI Matters 6 (3) (2020)
Peter Stringer, Rafael C. Cardoso, Xiaowei Huang, Louise A. Dennis
Adaptable and Verifiable BDI Reasoning. AREA@ECAI (2020)
Louise A. Dennis
Events. AI Matters 6 (2) (2020)
Louise A. Dennis, Marija Slavkovik
Model-Checking Information Diffusion in Social Networks with PRISM. EUMAS/AT (2020)
Sanmay Das, Nicholas Mattei, John P. Dickerson, Sven Koenig, Louise A. Dennis, Larry R. Medsker, Todd W. Neller, Iolanda Leite, Anuj Karpatne
SIGAI annual report: July 1 2019 - June 30 2020. AI Matters 6 (2) (2020)
Louise A. Dennis
Conference reports. AI Matters 6 (2) (2020)
Louise A. Dennis
Conference reports. AI Matters 5 (4) (2019)
Rafael C. Cardoso, Louise A. Dennis, Michael Fisher
Plan Library Reconfigurability in BDI Agents. EMAS@AAMAS (2019)
Gleifer Vaz Alves, Louise A. Dennis, Michael Fisher
Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent. FM Workshops (1) (2019)
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM Comput. Surv. 52 (5) (2019)
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
A Summary of Formal Specification and Verification of Autonomous Robotic Systems. IFM (2019)
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Michael Fisher
A Summary of Formal Specification and Verification of Autonomous Robotic Systems. CoRR (2019)
Vincent J. Koeman, Louise A. Dennis, Matt Webster, Michael Fisher, Koen V. Hindriks
The "Why Did You Do That?" Button: Answering Why-Questions for End Users of Robotic Systems. EMAS@AAMAS (2019)
Louise A. Dennis
Events. AI Matters 5 (4) (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. CoRR (2019)
Paul Bremner, Louise A. Dennis, Michael Fisher, Alan F. T. Winfield
On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots. Proc. IEEE 107 (3) (2019)
Marie Farrell, Matthew Bradbury, Michael Fisher, Louise A. Dennis, Clare Dixon, Hu Yuan, Carsten Maple
Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. SEFM (2019)
Jonathan M. Aitken, Sandor M. Veres, Affan Shaukat, Yang Gao, Elisa Cucco, Louise A. Dennis, Michael Fisher, Jeffrey A. Kuo, Thomas Robinson, Paul E. Mort
Autonomous Nuclear Waste Management. IEEE Intell. Syst. 33 (6) (2018)
Louise A. Dennis, Michael Fisher, Matt Webster
Two-stage agent program verification. J. Log. Comput. 28 (3) (2018)
Louise A. Dennis, Michael Fisher
Practical Challenges in Explicit Ethical Machine Reasoning. ISAIM (2018)
Louise A. Dennis, Michael Fisher
Practical Challenges in Explicit Ethical Machine Reasoning. CoRR (2018)
Louise A. Dennis
The MCAPL Framework including the Agent Infrastructure Layer an Agent Java Pathfinder. J. Open Source Softw. 3 (24) (2018)
Michael Winikoff, Louise A. Dennis, Michael Fisher
Slicing Agent Programs for More Efficient Verification. EMAS@AAMAS (2018)
Virginia Dignum, Matteo Baldoni, Cristina Baroglio, Maurizio Caon, Raja Chatila, Louise A. Dennis, Gonzalo Génova, Galit Haim, Malte S. Kließ, Maite López-Sánchez, Roberto Micalizio, Juan Pavón, Marija Slavkovik, Matthijs Smakman, Marlies van Steenbergen, Stefano Tedeschi, Leon van der Torre, Serena Villata, Tristan de Wildt
Ethics by Design: Necessity or Curse? AIES (2018)
Michael Fisher, Emily C. Collins, Louise A. Dennis, Matt Luckcuck, Matt Webster, Mike Jump, Vincent Pagé, Charles Patchett, Fateme Dinmohammadi, David Flynn, Valentin Robu, Xingyu Zhao
Verifiable Self-Certifying Autonomous Systems. ISSRE Workshops (2018)
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, Marija Slavkovik
Cake, Death, and Trolleys: Dilemmas as benchmarks of ethical decision-making. AIES (2018)
Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi
Verifying and Validating Autonomous Systems: Towards an Integrated Approach. RV (2018)
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
Formal Specification and Verification of Autonomous Robotic Systems: A Survey. CoRR (2018)
Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi
Recognising Assumption Violations in Autonomous Systems Verification. AAMAS (2018)
Vicky Charisi, Louise A. Dennis, Michael Fisher, Robert Lieck, Andreas Matthias, Marija Slavkovik, Janina Sombetzki, Alan F. T. Winfield, Roman Yampolskiy
Towards Moral Autonomous Systems. CoRR (2017)
Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres
Formal verification of autonomous vehicle platooning. Sci. Comput. Program. 148 (2017)
Louise A. Dennis, Michael Fisher, Marija Slavkovik, Matt Webster
Formal verification of ethical choices in autonomous systems. Robotics Auton. Syst. 77 (2016)
Louise A. Dennis, Jonathan M. Aitken, Joe Collenette, Elisa Cucco, Maryam Kamali, Owen McAree, Affan Shaukat, Katie Atkinson, Yang Gao, Sandor M. Veres, Michael Fisher
Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice. TAROS (2016)
Louise A. Dennis, Marija Slavkovik, Michael Fisher
"How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks. COIN@AAMAS/ECAI (2016)
Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
Practical verification of decision-making in agent-based autonomous systems. Autom. Softw. Eng. 23 (3) (2016)
Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres
Formal Verification of Autonomous Vehicle Platooning. CoRR (2016)
Marija Slavkovik, Louise A. Dennis, Michael Fisher
An abstract formal basis for digital crowds. Distributed Parallel Databases 33 (1) (2015)
Louise A. Dennis, Michael Fisher, Alan F. T. Winfield
Towards Verifiably Ethical Robot Behaviour. CoRR (2015)
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)
Louise A. Dennis, Michael Fisher, Jonathan M. Aitken, Sandor M. Veres, Yang Gao, Affan Shaukat, Guy Burroughes
Reconfigurable Autonomy. Künstliche Intell. 28 (3) (2014)
Marija Slavkovik, Louise A. Dennis, Michael Fisher
An Abstract Formal Basis for Digital Crowds. CoRR (2014)
Louise A. Dennis, Michael Fisher
Actions with Durations and Failures in BDI Languages. ECAI (2014)
Louise A. Dennis, Michael Fisher, Marija Slavkovik, Matthew P. Webster
Ethical Choice in Unforeseen Circumstances. TAROS (2013)
Michael Fisher, Louise A. Dennis, Matthew P. Webster
Verifying autonomous systems. Commun. ACM 56 (9) (2013)
Louise A. Dennis, Michael Fisher, Matthew P. Webster
Using Agent JPF to Build Models for Other Model Checkers. CLIMA (2013)
Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
Practical Verification of Decision-Making in Agent-Based Autonomous Systems. CoRR (2013)
Nick K. Lincoln, Sandor M. Veres, Louise A. Dennis, Michael Fisher, Alexei Lisitsa
Autonomous Asteroid Exploration by Rational Agents. IEEE Comput. Intell. Mag. 8 (4) (2013)
M. Birna van Riemsdijk, Louise A. Dennis, Michael Fisher, Koen V. Hindriks
Agent reasoning for norm compliance: a semantic approach. AAMAS (2013)
Richard Stocker, Louise A. Dennis, Clare Dixon, Michael Fisher
Verifying Brahms Human-Robot Teamwork Models. JELIA (2012)

Louise A. Dennis.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Louise A. Dennis