Louise A. Dennis

160 papers A* 4A 11B 10C 5Misc 3Journal 79Unranked 43

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Decompose-and-Formalise: Recursively Verifiable Natural Language Inference. CoRR Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas
2026	J	`jnl`	SIGAI Annual Report (July 2024-June 2025). AI Matters Sanmay Das, Louise A. Dennis, Matt Luckcuck, Nick Mattei, Alan Tsang
2025	J	`jnl`	Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems. CoRR Dhaminda B. Abeywickrama, Michael Fisher, Frederic Wheeler, Louise A. Dennis
2025	B	`conf`	Eliciting Explainability Requirements for Safety-Critical Systems: A Nuclear Case Study. REFSQ Hazel M. Taylor, Matt Luckcuck, Marie Farrell, Caroline Jay, Angelo Cangelosi, Louise A. Dennis
2025	B	`conf`	Engineering the Next Generation of Multi-agent Systems: A Community Roadmap from EMAS 2025. EMAS 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 Gürcan, Soham Hans, James Herber, Viviana Mascardi, Marcel Mauri, Jörg P. Müller, John Thangarajah, Rafal Tyl, Yi Yang
2025	—	`conf`	Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations. ACL (1) Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas
2025	J	`jnl`	Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations. CoRR Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas
2025	—	`conf`	Formal Verification of BDI Agents. The Combined Power of Research, Education, and Dissemination Thomas Wright, Louise A. Dennis, Jim Woodcock, Simon Foster
2025	J	`jnl`	Open-World Verification: A Grand Challenge for Autonomous Systems. Proc. IEEE Kevin Leahy, Hamid Asgari, Louise A. Dennis, Martin S. Feather, Michael Fisher, Javier Ibañez-Guzmán, Brian Logan, Joanna I. Olszewska, Signe A. Redfield
2025	—	`conf`	Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains. FMAS@iFM Diana C. Benjumea, Marie Farrell, Louise A. Dennis
2025	J	`jnl`	The human factor: Addressing computing risks for critical national infrastructure towards 2040. Comput. Secur. Charles Weir, Cecilia Loureiro-Koechlin, Lucy Hunt, Louise A. Dennis
2025	J	`jnl`	Towards Continuous Assurance with Formal Verification and Assurance Cases. CoRR Dhaminda B. Abeywickrama, Michael Fisher, Frederic Wheeler, Louise A. Dennis
2025	B	`conf`	Towards Patterns for a Reference Assurance Case for Autonomous Inspection Robots. ICSR Dhaminda B. Abeywickrama, Michael Fisher, Frederic Wheeler, Louise A. Dennis
2025	A	`conf`	Uncertain Machine Ethics Planning. AAMAS Simon Kolker, Louise A. Dennis, Ramon Fraga Pereira, Mengwei Xu
2025	J	`jnl`	Uncertain Machine Ethics Planning. CoRR Simon Kolker, Louise A. Dennis, Ramon Fraga Pereira, Mengwei Xu
2024	J	`jnl`	Conference Reports. AI Matters Louise A. Dennis
2024	J	`jnl`	Conference Reports. AI Matters Louise A. Dennis
2024	J	`jnl`	Conference Reports. AI Matters Louise A. Dennis
2024	J	`jnl`	Conference Reports. AI Matters Louise A. Dennis
2024	—	`conf`	Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement. EACL (1) Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas
2024	J	`jnl`	Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement. CoRR Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas
2024	J	`jnl`	Grand Challenges in the Verification of Autonomous Systems. CoRR Kevin Leahy, Hamid Asgari, Louise A. Dennis, Martin S. Feather, Michael Fisher, Javier Ibañez-Guzmán, Brian Logan, Joanna I. Olszewska, Signe A. Redfield
2024	J	`jnl`	Interlinked Computing in 2040: Safety, Truth, Ownership, and Accountability. Computer Charles Weir, Anna Dyson, Olamide Jogunola, Louise A. Dennis, Katie Paxton-Fear
2024	—	`conf`	ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics. FMAS@iFM Maryam Ghaffari Saadat, Angelo Ferrando, Louise A. Dennis, Michael Fisher
2024	J	`jnl`	Reinforcement Learning and Machine ethics:a systematic review. CoRR Ajay Vishwanath, Louise A. Dennis, Marija Slavkovik
2024	A	`conf`	Safeguard Privacy for Minimal Data Collection with Trustworthy Autonomous Agents. AAMAS Mengwei Xu, Louise A. Dennis, Mustafa A. Mustafa
2024	J	`jnl`	Security-Minded Verification of Cooperative Awareness Messages. IEEE Trans. Dependable Secur. Comput. Marie Farrell, Matthew Bradbury, Rafael C. Cardoso, Michael Fisher, Louise A. Dennis, Clare Dixon, Al Tariq Sheik, Hu Yuan, Carsten Maple
2024	J	`jnl`	Specifying Agent Ethics (Blue Sky Ideas). CoRR Louise A. Dennis, Michael Fisher
2024	C	`conf`	Specifying Agent Ethics. COINE Louise A. Dennis, Michael Fisher
2024	A*	`conf`	Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving. EMNLP Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas
2024	J	`jnl`	Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving. CoRR Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas
2023	J	`jnl`	A Partially Synthesized Position on the Automation of Machine Ethics. Digit. Soc. Vivek Nallur, Louise A. Dennis, Selmer Bringsjord, Naveen Sundar Govindarajulu
2023	—	`conf`	A Vision on What Explanations of Autonomous Systems are of Interest to Lawyers. REW Miriam C. Buiten, Louise A. Dennis, Maike Schwammberger
2023	C	`conf`	Adaptive Cognitive Agents: Updating Action Descriptions and Plans. EUMAS Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis
2023	—	`conf`	Autonomous Systems' Safety Cases for use in UK Nuclear Environments. AREA@ECAI Christopher R. Anderson, Louise A. Dennis
2023	J	`jnl`	Conference Reports. AI Matters Louise A. Dennis
2023	J	`jnl`	Conference Reports. AI Matters Louise A. Dennis
2023	J	`jnl`	Conference Reports. AI Matters Louise A. Dennis
2023	J	`jnl`	Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration [A Position Paper]. CoRR Louise A. Dennis, Marie Farrell, Michael Fisher
2023	—	`conf`	Dialogue Explanations for Rule-Based AI Systems. EXTRAAMAS Yifan Xu, Joe Collenette, Louise A. Dennis, Clare Dixon
2023	—	`conf`	Prospective Responsibility for Multi-agent Systems. SGAI Conf. Joe Collenette, Louise A. Dennis, Michael Fisher
2023	J	`jnl`	SIGAI Annual Report: July 1 2022 - August 30 2023. AI Matters Sanmay Das, Nicholas Mattei, John P. Dickerson, Sven Koenig, Louise A. Dennis, Larry R. Medsker, Ziyu Yao, Anuj Karpatne, Alan Tsang, Matt Luckcuck
2023	B	`conf`	Towards Forward Responsibility in BDI Agents. EMAS Rafael C. Cardoso, Angelo Ferrando, Joe Collenette, Louise A. Dennis, Michael Fisher
2023	J	`jnl`	Trustworthy Autonomous Systems Through Verifiability. Computer Mohammad Reza Mousavi, Ana Cavalcanti, Michael Fisher, Louise A. Dennis, Robert M. Hierons, Bilal Y. Kaddouh, Effie Lai-Chong Law, Rob Richardson, Jan Oliver Ringert, Ivan Tyukin, Jim Woodcock
2023	C	`conf`	Uncertain Machine Ethical Decisions Using Hypothetical Retrospection. COINE Simon Kolker, Louise A. Dennis, Ramon Fraga Pereira, Mengwei Xu
2023	J	`jnl`	Uncertain Machine Ethical Decisions Using Hypothetical Retrospection. CoRR Simon Kolker, Louise A. Dennis, Ramon Fraga Pereira, Mengwei Xu
2023	A	`conf`	Updating Action Descriptions and Plans for Cognitive Agents. AAMAS Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis
2022	J	`jnl`	A Compositional Approach to Verifying Modular Robotic Systems. CoRR Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise A. Dennis, Michael Fisher
2022	—	`conf`	Advising Autonomous Cars about the Rules of the Road. FMAS/ASYDE@SEFM Joe Collenette, Louise A. Dennis, Michael Fisher
2022	J	`jnl`	Conference Reports. AI Matters Louise A. Dennis
2022	J	`jnl`	Conference reports. AI Matters Louise A. Dennis
2022	J	`jnl`	Conference reports. AI Matters Louise A. Dennis
2022	J	`jnl`	Explaining BDI agent behaviour through dialogue. Auton. Agents Multi Agent Syst. Louise A. Dennis, Nir Oren
2022	J	`jnl`	Markov chain model representation of information diffusion in social networks. J. Log. Comput. Louise A. Dennis, Yu Fu, Marija Slavkovik
2022	—	`ed.`	Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July 2022. AREA@IJCAI-ECAI Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Mehrnoosh Askarpour, Louise A. Dennis
2022	J	`jnl`	SIGAI Annual Report: July 1 2021 - June 30 2022. AI Matters Sanmay Das, Nicholas Mattei, John P. Dickerson, Sven Koenig, Louise A. Dennis, Larry R. Medsker, Ziyu Yao, Anuj Karpatne, Alan Tsang, Matt Luckcuck
2022	B	`conf`	Should AI Systems in Nuclear Facilities Explain Decisions the Way Humans Do? An Interview Study. RO-MAN Hazel M. Taylor, Caroline Jay, Barry Lennox, Angelo Cangelosi, Louise A. Dennis
2022	J	`jnl`	Verifiable autonomy: From theory to applications. AI Commun. Louise A. Dennis, Clare Dixon, Michael Fisher
2022	B	`conf`	Verifying Autonomous Systems. IFM Louise A. Dennis
2021	Misc	`conf`	Agile Tasking of Robotic Systems with Explicit Autonomy. FLAIRS Rafael C. Cardoso, John L. Michaloski, Craig Schlenoff, Angelo Ferrando, Louise A. Dennis, Michael Fisher
2021	J	`jnl`	An Overview of Verification and Validation Challenges for Inspection Robots. Robotics 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
2021	J	`jnl`	Conference reports. AI Matters Louise A. Dennis
2021	J	`jnl`	Conference reports. AI Matters Louise A. Dennis
2021	J	`jnl`	Conference reports. AI Matters Louise A. Dennis
2021	J	`jnl`	Conference reports. AI Matters Louise A. Dennis
2021	A	`conf`	Explaining BDI Agent Behaviour through Dialogue. AAMAS Louise A. Dennis, Nir Oren
2021	J	`jnl`	IEEE P7001: A Proposed Standard on Transparency. Frontiers Robotics AI 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 'Nell' Watson
2021	—	`conf`	Implementing Durative Actions with Failure Detection in Gwendolen. EMAS@AAMAS Peter Stringer, Rafael C. Cardoso, Clare Dixon, Louise A. Dennis
2021	—	`conf`	Implementing Ethical Governors in BDI. EMAS@AAMAS Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher
2021	—	`conf`	Integrating Formal Verification and Assurance: An Inspection Rover Case Study. NFM Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo, Guillaume Brat, Louise A. Dennis, Michael Fisher
2021	—	`conf`	No Free Lunch: Overcoming Reward Gaming in AI Safety Gridworlds. SAFECOMP Workshops Mariya Tsvarkaleva, Louise A. Dennis
2021	J	`jnl`	SIGAI annual report: July 1 2020 - June 30 2021. AI Matters Sanmay Das, Nicholas Mattei, John P. Dickerson, Sven Koenig, Louise A. Dennis, Larry R. Medsker, Todd W. Neller, Iolanda Leite, Anuj Karpatne, Alan Tsang
2021	J	`jnl`	Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems. ACM Trans. Softw. Eng. Methodol. Angelo Ferrando, Louise A. Dennis, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Viviana Mascardi
2021	A*	`conf`	Verifiable Machine Ethics in Changing Contexts. AAAI Louise A. Dennis, Martin Mose Bentzen, Felix Lindner, Michael Fisher
2020	—	`conf`	Adaptable and Verifiable BDI Reasoning. AREA@ECAI Peter Stringer, Rafael C. Cardoso, Xiaowei Huang, Louise A. Dennis
2020	—	`conf`	An Interface for Programming Verifiable Autonomous Agents in ROS. EUMAS/AT Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher
2020	J	`jnl`	Computational Goals, Values and Decision-Making. Sci. Eng. Ethics Louise A. Dennis
2020	J	`jnl`	Conference reports. AI Matters Louise A. Dennis
2020	J	`jnl`	Conference reports. AI Matters Louise A. Dennis
2020	—	`ed.`	Engineering Multi-Agent Systems - 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13-14, 2019, Revised Selected Papers EMAS@AAMAS Louise A. Dennis, Rafael H. Bordini, Yves Lespérance
2020	J	`jnl`	Events. AI Matters Louise A. Dennis
2020	J	`jnl`	Events. AI Matters Louise A. Dennis
2020	—	`conf`	Model-Checking Information Diffusion in Social Networks with PRISM. EUMAS/AT Louise A. Dennis, Marija Slavkovik
2020	J	`jnl`	SIGAI annual report: July 1 2019 - June 30 2020. AI Matters Sanmay Das, Nicholas Mattei, John P. Dickerson, Sven Koenig, Louise A. Dennis, Larry R. Medsker, Todd W. Neller, Iolanda Leite, Anuj Karpatne
2020	—	`conf`	Towards Compositional Verification for Modular Robotic Systems. FMAS Rafael C. Cardoso, Louise A. Dennis, Marie Farrell, Michael Fisher, Matt Luckcuck
2020	J	`jnl`	Verifiable Self-Aware Agent-Based Autonomous Systems. Proc. IEEE Louise A. Dennis, Michael Fisher
2019	B	`conf`	A Summary of Formal Specification and Verification of Autonomous Robotic Systems. IFM Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
2019	J	`jnl`	A Summary of Formal Specification and Verification of Autonomous Robotic Systems. CoRR Matt Luckcuck, Marie Farrell, Louise A. Dennis, Michael Fisher
2019	J	`jnl`	Conference reports. AI Matters Louise A. Dennis
2019	J	`jnl`	Events. AI Matters Louise A. Dennis
2019	J	`jnl`	Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM Comput. Surv. Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
2019	—	`conf`	Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent. FM Workshops (1) Gleifer Vaz Alves, Louise A. Dennis, Michael Fisher
2019	J	`jnl`	Modular Verification of Autonomous Space Robotics. CoRR Marie Farrell, Rafael C. Cardoso, Louise A. Dennis, Clare Dixon, Michael Fisher, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Matt Webster
2019	J	`jnl`	On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots. Proc. IEEE Paul Bremner, Louise A. Dennis, Michael Fisher, Alan F. T. Winfield
2019	—	`conf`	Plan Library Reconfigurability in BDI Agents. EMAS@AAMAS Rafael C. Cardoso, Louise A. Dennis, Michael Fisher
2019	—	`conf`	The "Why Did You Do That?" Button: Answering Why-Questions for End Users of Robotic Systems. EMAS@AAMAS Vincent J. Koeman, Louise A. Dennis, Matt Webster, Michael Fisher, Koen V. Hindriks
2019	B	`conf`	Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. SEFM Marie Farrell, Matthew Bradbury, Michael Fisher, Louise A. Dennis, Clare Dixon, Hu Yuan, Carsten Maple
2018	J	`jnl`	Autonomous Nuclear Waste Management. IEEE Intell. Syst. 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
2018	C	`conf`	Cake, Death, and Trolleys: Dilemmas as benchmarks of ethical decision-making. AIES 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
2018	C	`conf`	Ethics by Design: Necessity or Curse? AIES 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 H. J. Smakman, Marlies van Steenbergen, Stefano Tedeschi, Leon van der Torre, Serena Villata, Tristan de Wildt
2018	J	`jnl`	Formal Specification and Verification of Autonomous Robotic Systems: A Survey. CoRR Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
2018	Misc	`conf`	Practical Challenges in Explicit Ethical Machine Reasoning. ISAIM Louise A. Dennis, Michael Fisher
2018	J	`jnl`	Practical Challenges in Explicit Ethical Machine Reasoning. CoRR Louise A. Dennis, Michael Fisher
2018	A	`conf`	Recognising Assumption Violations in Autonomous Systems Verification. AAMAS Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi
2018	—	`conf`	Slicing Agent Programs for More Efficient Verification. EMAS@AAMAS Michael Winikoff, Louise A. Dennis, Michael Fisher
2018	J	`jnl`	The MCAPL Framework including the Agent Infrastructure Layer an Agent Java Pathfinder. J. Open Source Softw. Louise A. Dennis
2018	J	`jnl`	Two-stage agent program verification. J. Log. Comput. Louise A. Dennis, Michael Fisher, Matt Webster
2018	—	`conf`	Verifiable Self-Certifying Autonomous Systems. ISSRE Workshops 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	B	`conf`	Verifying and Validating Autonomous Systems: Towards an Integrated Approach. RV Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi
2017	J	`jnl`	Formal verification of autonomous vehicle platooning. Sci. Comput. Program. Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres
2017	J	`jnl`	Towards Moral Autonomous Systems. CoRR Vicky Charisi, Louise A. Dennis, Michael Fisher, Robert Lieck, Andreas Matthias, Marija Slavkovik, Janina Sombetzki, Alan F. T. Winfield, Roman Yampolskiy
2016	—	`conf`	"How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks. COIN@AAMAS/ECAI Louise A. Dennis, Marija Slavkovik, Michael Fisher
2016	—	`conf`	Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice. TAROS 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
2016	J	`jnl`	Formal Verification of Autonomous Vehicle Platooning. CoRR Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres
2016	J	`jnl`	Formal verification of ethical choices in autonomous systems. Robotics Auton. Syst. Louise A. Dennis, Michael Fisher, Marija Slavkovik, Matt Webster
2016	J	`jnl`	Practical verification of decision-making in agent-based autonomous systems. Autom. Softw. Eng. Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
2015	A	`conf`	A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance. AAMAS M. Birna van Riemsdijk, Louise A. Dennis, Michael Fisher, Koen V. Hindriks
2015	J	`jnl`	An abstract formal basis for digital crowds. Distributed Parallel Databases Marija Slavkovik, Louise A. Dennis, Michael Fisher
2015	J	`jnl`	Towards Verifiably Ethical Robot Behaviour. CoRR Louise A. Dennis, Michael Fisher, Alan F. T. Winfield
2014	A	`conf`	Actions with Durations and Failures in BDI Languages. ECAI Louise A. Dennis, Michael Fisher
2014	J	`jnl`	An Abstract Formal Basis for Digital Crowds. CoRR Marija Slavkovik, Louise A. Dennis, Michael Fisher
2014	J	`jnl`	Reconfigurable Autonomy. Künstliche Intell. Louise A. Dennis, Michael Fisher, Jonathan M. Aitken, Sandor M. Veres, Yang Gao, Affan Shaukat, Guy Burroughes
2013	A	`conf`	Agent reasoning for norm compliance: a semantic approach. AAMAS M. Birna van Riemsdijk, Louise A. Dennis, Michael Fisher, Koen V. Hindriks
2013	J	`jnl`	Autonomous Asteroid Exploration by Rational Agents. IEEE Comput. Intell. Mag. Nick K. Lincoln, Sandor M. Veres, Louise A. Dennis, Michael Fisher, Alexei Lisitsa
2013	—	`ed.`	Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers DALT Matteo Baldoni, Louise A. Dennis, Viviana Mascardi, Wamberto Weber Vasconcelos
2013	—	`conf`	Ethical Choice in Unforeseen Circumstances. TAROS Louise A. Dennis, Michael Fisher, Marija Slavkovik, Matthew P. Webster
2013	J	`jnl`	Practical Verification of Decision-Making in Agent-Based Autonomous Systems. CoRR Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
2013	—	`conf`	Using Agent JPF to Build Models for Other Model Checkers. CLIMA Louise A. Dennis, Michael Fisher, Matthew P. Webster
2013	J	`jnl`	Verifying autonomous systems. Commun. ACM Michael Fisher, Louise A. Dennis, Matthew P. Webster
2012	J	`jnl`	Model checking agent programming languages. Autom. Softw. Eng. Louise A. Dennis, Michael Fisher, Matthew P. Webster, Rafael H. Bordini
2012	—	`ed.`	Programming Multi-Agent Systems - 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers ProMAS Louise A. Dennis, Olivier Boissier, Rafael H. Bordini
2012	B	`conf`	Verifying Brahms Human-Robot Teamwork Models. JELIA Richard Stocker, Louise A. Dennis, Clare Dixon, Michael Fisher
2011	—	`conf`	A Formal Semantics for Brahms. CLIMA Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher
2011	—	`conf`	Plan Indexing for State-Based Plans. DALT Louise A. Dennis
2011	J	`jnl`	The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling. J. Autom. Reason. Louise A. Dennis, Ian Green, Alan Smaill
2010	—	`conf`	An agent based framework for adaptive control and decision making of autonomous vehicles. ALCOSP Nicholas Lincoln, Sandor M. Veres, Louise A. Dennis, Michael Fisher, Alexei Lisitsa
2010	—	`conf`	Declarative Abstractions for Agent Based Hybrid Control Systems. DALT Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
2010	J	`jnl`	Satellite Control Using Rational Agent Programming. IEEE Intell. Syst. Louise A. Dennis, Michael Fisher, Alexei Lisitsa, Nicholas Lincoln, Sandor M. Veres
2009	—	`conf`	Agent Based Approaches to Engineering Autonomous Space Software FMA Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
2009	—	`conf`	Model Checking Normative Agent Organisations. CLIMA Louise A. Dennis, Nick A. M. Tinnemeier, John-Jules Ch. Meyer
2009	J	`jnl`	Towards the Verification of Pervasive Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Myrto Arapinis, Muffy Calder, Louise A. Dennis, Michael Fisher, Philip D. Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin
2008	—	`conf`	A flexible framework for verifying agent programs. AAMAS (3) Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher
2008	A*	`conf`	Automated Verification of Multi-Agent Programs. ASE Rafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher
2008	—	`conf`	Programming Verifiable Heterogeneous Agent Systems. ProMAS Louise A. Dennis, Michael Fisher
2007	—	`conf`	A Common Basis for Agent Organisation in BDI Languages. LADS Anthony Hepple, Louise A. Dennis, Michael Fisher
2007	—	`conf`	A Common Semantic Basis for BDI Languages. PROMAS Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael J. Wooldridge
2007	—	`conf`	Language Constructs for Multi-agent Programming. CLIMA Louise A. Dennis, Michael Fisher, Anthony Hepple
2006	—	`conf`	Enhancing Theorem Prover Interfaces with Program Slice Information. UITP@FLoC Louise A. Dennis
2005	A*	`conf`	An Architecture for Proof Planning Systems. IJCAI Louise A. Dennis
2005	—	`conf`	On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner. Calculemus Louise A. Dennis, Mateja Jamnik, Martin Pollet
2003	J	`jnl`	The PROSPER toolkit. Int. J. Softw. Tools Technol. Transf. Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Thomas F. Melham
2002	—	`conf`	A Comparison of Two Proof Critics: Power vs. Robustness. TPHOLs Louise A. Dennis, Alan Bundy
2002	Misc	`conf`	Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus. AISC Jürgen Zimmer, Louise A. Dennis
2002	—	`conf`	The NumbersWithNames Program. AI&M Simon Colton, Louise A. Dennis
2001	—	`conf`	Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain. TPHOLs Louise A. Dennis, Alan Smaill
2000	J	`jnl`	Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts. Ann. Math. Artif. Intell. Louise A. Dennis, Alan Bundy, Ian Green
2000	A	`conf`	System Description: Embedding Verification into Microsoft Excel. CADE Graham Collins, Louise A. Dennis
2000	A	`conf`	The PROSPER Toolkit. TACAS Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Graham Robinson, Michael J. C. Gordon, Thomas F. Melham
1998	—	`—`	Proof planning coinduction. Louise A. Dennis
1997	A	`conf`	Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs. CADE Louise A. Dennis, Alan Bundy, Ian Green