Louise A. Dennis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
39
Venues
26
Active years
1997–2025
Best venue rank
A*
Where they publish
- BEMAS7 papers
- CEUMAS4 papers
- BIFM2 papers
- CAIES2 papers
- NationalISAIM2 papers
- ACADE2 papers
- A*ACL1 paper
- BICSR1 paper
- BREFSQ1 paper
- AEACL1 paper
- A*EMNLP1 paper
- ARE1 paper
- NationalSGAI1 paper
- BRO-MAN1 paper
- A*AAAI1 paper
- NationalFlAIRS1 paper
- BSAFECOMP1 paper
- BFM1 paper
- BSEFM1 paper
- AISSRE1 paper
- BRV1 paper
- AECAI1 paper
- BJELIA1 paper
- A*IJCAI1 paper
- AustralasianAISC1 paper
- ATACAS1 paper
Papers
39 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ACL | Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations. | Xin Quan, Marco Valentino, Louise A. Dennis, Andr Freitas |
| 2025 | EMAS | Engineering the Next Generation of Multi-agent Systems: A Community Roadmap from EMAS 2025. | Sebastian Rodriguez, Akhila Bairy, Matteo Baldoni, Patrick Benjamin, Constantin Blessing, Nicolas Brandstetter, Amit K. Chopra, Thomas Clemen, Louise A. Dennis, Ahmad Esmaeili, Lu Feng, Angelo Ferrando, Zahra Ghorrati, Victor Guillet, nder Grcan, Soham Hans, James Herber, Viviana Mascardi, Marcel Mauri, Jrg P. Mller, John Thangarajah, Rafal Tyl, Yi Yang |
| 2025 | EUMAS | Ethical Decision-Making for Trustworthy Autonomous Systems Under Uncertainty. | Alison Bifolco, Louise A. Dennis, Giuseppe Primiero |
| 2025 | ICSR | Towards Patterns for a Reference Assurance Case for Autonomous Inspection Robots. | Dhaminda B. Abeywickrama, Michael Fisher, Frederic Wheeler, Louise A. Dennis |
| 2025 | REFSQ | Eliciting Explainability Requirements for Safety-Critical Systems: A Nuclear Case Study. | Hazel M. Taylor, Matt Luckcuck, Marie Farrell, Caroline Jay, Angelo Cangelosi, Louise A. Dennis |
| 2024 | EACL | Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement. | Xin Quan, Marco Valentino, Louise A. Dennis, Andr Freitas |
| 2024 | EMNLP | Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving. | Xin Quan, Marco Valentino, Louise A. Dennis, Andr Freitas |
| 2023 | EMAS | Towards Forward Responsibility in BDI Agents. | Rafael C. Cardoso, Angelo Ferrando, Joe Collenette, Louise A. Dennis, Michael Fisher |
| 2023 | EUMAS | Adaptive Cognitive Agents: Updating Action Descriptions and Plans. | Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis |
| 2023 | RE | A Vision on What Explanations of Autonomous Systems are of Interest to Lawyers. | Miriam C. Buiten, Louise A. Dennis, Maike Schwammberger |
| 2023 | SGAI | Prospective Responsibility for Multi-agent Systems. | Joe Collenette, Louise A. Dennis, Michael Fisher |
| 2022 | IFM | Verifying Autonomous Systems. | Louise A. Dennis |
| 2022 | RO-MAN | Should AI Systems in Nuclear Facilities Explain Decisions the Way Humans Do? An Interview Study. | Hazel M. Taylor, Caroline Jay, Barry Lennox, Angelo Cangelosi, Louise A. Dennis |
| 2021 | AAAI | Verifiable Machine Ethics in Changing Contexts. | Louise A. Dennis, Martin Mose Bentzen, Felix Lindner, Michael Fisher |
| 2021 | EMAS | Implementing Ethical Governors in BDI. | Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher |
| 2021 | EMAS | Implementing Durative Actions with Failure Detection in Gwendolen. | Peter Stringer, Rafael C. Cardoso, Clare Dixon, Louise A. Dennis |
| 2021 | FlAIRS | Agile Tasking of Robotic Systems with Explicit Autonomy. | Rafael C. Cardoso, John L. Michaloski, Craig Schlenoff, Angelo Ferrando, Louise A. Dennis, Michael Fisher |
| 2021 | SAFECOMP | No Free Lunch: Overcoming Reward Gaming in AI Safety Gridworlds. | Mariya Tsvarkaleva, Louise A. Dennis |
| 2020 | EUMAS | An Interface for Programming Verifiable Autonomous Agents in ROS. | Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher |
| 2020 | EUMAS | Model-Checking Information Diffusion in Social Networks with PRISM. | Louise A. Dennis, Marija Slavkovik |
| 2019 | EMAS | Plan Library Reconfigurability in BDI Agents. | Rafael C. Cardoso, Louise A. Dennis, Michael Fisher |
| 2019 | EMAS | The "Why Did You Do That?" Button: Answering Why-Questions for End Users of Robotic Systems. | Vincent J. Koeman, Louise A. Dennis, Matt Webster, Michael Fisher, Koen V. Hindriks |
| 2019 | FM | Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent. | Gleifer Vaz Alves, Louise A. Dennis, Michael Fisher |
| 2019 | IFM | A Summary of Formal Specification and Verification of Autonomous Robotic Systems. | Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher |
| 2019 | SEFM | Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. | Marie Farrell, Matthew Bradbury, Michael Fisher, Louise A. Dennis, Clare Dixon, Hu Yuan, Carsten Maple |
| 2018 | AIES | Cake, Death, and Trolleys: Dilemmas as benchmarks of ethical decision-making. | Edvard P. Bjrgen, Simen Madsen, Therese S. Bjrknes, Fredrik V. Heimster, Robin Hvik, Morten Linderud, Per-Niklas Longberg, Louise A. Dennis, Marija Slavkovik |
| 2018 | AIES | Ethics by Design: Necessity or Curse? | Virginia Dignum, Matteo Baldoni, Cristina Baroglio, Maurizio Caon, Raja Chatila, Louise A. Dennis, Gonzalo Gnova, Galit Haim, Malte S. Klie, Maite Lpez-Snchez, Roberto Micalizio, Juan Pavn, Marija Slavkovik, Matthijs H. J. Smakman, Marlies van Steenbergen, Stefano Tedeschi, Leon van der Torre, Serena Villata, Tristan de Wildt |
| 2018 | EMAS | Slicing Agent Programs for More Efficient Verification. | Michael Winikoff, Louise A. Dennis, Michael Fisher |
| 2018 | ISAIM | Practical Challenges in Explicit Ethical Machine Reasoning. | Louise A. Dennis, Michael Fisher |
| 2018 | ISSRE | Verifiable Self-Certifying Autonomous Systems. | 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 |
| 2018 | RV | Verifying and Validating Autonomous Systems: Towards an Integrated Approach. | Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi |
| 2014 | ECAI | Actions with Durations and Failures in BDI Languages. | Louise A. Dennis, Michael Fisher |
| 2012 | JELIA | Verifying Brahms Human-Robot Teamwork Models. | Richard Stocker, Louise A. Dennis, Clare Dixon, Michael Fisher |
| 2005 | IJCAI | An Architecture for Proof Planning Systems. | Louise A. Dennis |
| 2002 | AISC | Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus. | Jrgen Zimmer, Louise A. Dennis |
| 2002 | ISAIM | The NumbersWithNames Program. | Simon Colton, Louise A. Dennis |
| 2000 | CADE | System Description: Embedding Verification into Microsoft Excel. | Graham Collins, Louise A. Dennis |
| 2000 | TACAS | The PROSPER Toolkit. | Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Graham Robinson, Michael J. C. Gordon, Thomas F. Melham |
| 1997 | CADE | Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs. | Louise A. Dennis, Alan Bundy, Ian Green |