Louise A. Dennis

According to our database, Louise A. Dennis authored at least 113 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Interlinked Computing in 2040: Safety, Truth, Ownership, and Accountability.

Charles Weir, Anna Dyson, Olamide Jogunola, Louise A. Dennis, Katie Paxton-Fear

Computer, January, 2024

Security-Minded Verification of Cooperative Awareness Messages.

Marie Farrell, Matthew Bradbury, Rafael C. Cardoso, Michael Fisher, Louise A. Dennis, Clare Dixon, Al Tariq Sheik, Hu Yuan, Carsten Maple

IEEE Trans. Dependable Secur. Comput., 2024

Reinforcement Learning and Machine ethics:a systematic review.

Ajay Vishwanath, Louise A. Dennis, Marija Slavkovik

CoRR, 2024

Specifying Agent Ethics (Blue Sky Ideas).

Louise A. Dennis, Michael Fisher

CoRR, 2024

Trustworthy ROS Software Architecture for Autonomous Drones Missions: From RoboChart Modelling to ROS Implementation.

Nabil Shaukat, Shival Dubey, Bilal Y. Kaddouh, Andy Blight, Lenka Mudrich, Pedro Ribeiro, Hugo Araújo, Rob Richardson, Louise Abigail Dennis, Ana Lucia Caneca Cavalcanti, Mohammad Mousavi

Proceedings of the 20th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 2024

Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving.

Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas

Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024

Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement.

Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas

Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics, 2024

Safeguard Privacy for Minimal Data Collection with Trustworthy Autonomous Agents.

Mengwei Xu, Louise A. Dennis, Mustafa A. Mustafa

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023

SIGAI Annual Report: July 1 2022 - August 30 2023.

Sanmay Das, Nicholas Mattei, John P. Dickerson, Sven Koenig, Louise A. Dennis, Larry R. Medsker, Ziyu Yao, Anuj Karpatne, Alan Tsang, Matt Luckcuck

AI Matters, September, 2023

A Partially Synthesized Position on the Automation of Machine Ethics.

Vivek Nallur, Louise A. Dennis, Selmer Bringsjord, Naveen Sundar Govindarajulu

Digit. Soc., August, 2023

Trustworthy Autonomous Systems Through Verifiability.

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 Ringert, Ivan Tyukin, Jim Woodcock

Computer, February, 2023

Autonomous Systems' Safety Cases for use in UK Nuclear Environments.

Christopher R. Anderson, Louise A. Dennis

Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, 2023

Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration [A Position Paper].

Louise A. Dennis, Marie Farrell, Michael Fisher

CoRR, 2023

Prospective Responsibility for Multi-agent Systems.

Joe Collenette, Louise A. Dennis, Michael Fisher

Proceedings of the Artificial Intelligence XL, 2023

A Vision on What Explanations of Autonomous Systems are of Interest to Lawyers.

Miriam C. Buiten, Louise A. Dennis, Maike Schwammberger

Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

Dialogue Explanations for Rule-Based AI Systems.

Yifan Xu, Joe Collenette, Louise A. Dennis, Clare Dixon

Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2023

Adaptive Cognitive Agents: Updating Action Descriptions and Plans.

Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

Towards Forward Responsibility in BDI Agents.

Rafael C. Cardoso, Angelo Ferrando, Joe Collenette, Louise A. Dennis, Michael Fisher

Proceedings of the Engineering Multi-Agent Systems - 11th International Workshop, 2023

Uncertain Machine Ethical Decisions Using Hypothetical Retrospection.

Simon Kolker, Louise A. Dennis, Ramon Fraga Pereira, Mengwei Xu

Proceedings of the Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVI, 2023

Updating Action Descriptions and Plans for Cognitive Agents.

Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Conference Reports.

Louise A. Dennis

AI Matters, December, 2022

SIGAI Annual Report: July 1 2021 - June 30 2022.

Sanmay Das, Nicholas Mattei, John P. Dickerson, Sven Koenig, Louise A. Dennis, Larry R. Medsker, Ziyu Yao, Anuj Karpatne, Alan Tsang, Matt Luckcuck

AI Matters, September, 2022

Markov chain model representation of information diffusion in social networks.

Louise A. Dennis, Yu Fu, Marija Slavkovik

J. Log. Comput., 2022

Advising Autonomous Cars about the Rules of the Road.

Joe Collenette, Louise A. Dennis, Michael Fisher

Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022

A Compositional Approach to Verifying Modular Robotic Systems.

Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise A. Dennis, Michael Fisher

CoRR, 2022

Verifiable autonomy: From theory to applications.

Louise A. Dennis, Clare Dixon, Michael Fisher

AI Commun., 2022

Explaining BDI agent behaviour through dialogue.

Louise A. Dennis, Nir Oren

Auton. Agents Multi Agent Syst., 2022

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

Proceedings of the 31st IEEE International Conference on Robot and Human Interactive Communication, 2022

Verifying Autonomous Systems.

Louise A. Dennis

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2021

Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems.

Angelo Ferrando, Louise A. Dennis, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Viviana Mascardi

ACM Trans. Softw. Eng. Methodol., 2021

An Overview of Verification and Validation Challenges for Inspection Robots.

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

Robotics, 2021

A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations.

Gleifer Vaz Alves, Louise Abigail Dennis, Michael Fisher

J. Sens. Actuator Networks, 2021

IEEE P7001: A Proposed Standard on Transparency.

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

Frontiers Robotics AI, 2021

SIGAI annual report: July 1 2020 - June 30 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

AI Matters, 2021

No Free Lunch: Overcoming Reward Gaming in AI Safety Gridworlds.

Mariya Tsvarkaleva, Louise A. Dennis

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops, 2021

Integrating Formal Verification and Assurance: An Inspection Rover Case Study.

Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo, Guillaume Brat, Louise A. Dennis, Michael Fisher

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Agile Tasking of Robotic Systems with Explicit Autonomy.

Rafael C. Cardoso, John L. Michaloski, Craig Schlenoff, Angelo Ferrando, Louise A. Dennis, Michael Fisher

Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, 2021

Implementing Durative Actions with Failure Detection in Gwendolen.

Peter Stringer, Rafael C. Cardoso, Clare Dixon, Louise A. Dennis

Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021

Implementing Ethical Governors in BDI.

Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher

Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021

Verifiable Machine Ethics in Changing Contexts.

Louise A. Dennis, Martin Mose Bentzen, Felix Lindner, Michael Fisher

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Computational Goals, Values and Decision-Making.

Louise A. Dennis

Sci. Eng. Ethics, 2020

Verifiable Self-Aware Agent-Based Autonomous Systems.

Louise A. Dennis, Michael Fisher

Proc. IEEE, 2020

Towards Compositional Verification for Modular Robotic Systems.

Rafael C. Cardoso, Louise A. Dennis, Marie Farrell, Michael Fisher, Matt Luckcuck

Proceedings of the Proceedings Second Workshop on Formal Methods for Autonomous Systems, 2020

Adaptable and Verifiable BDI Reasoning.

Peter Stringer, Rafael C. Cardoso, Xiaowei Huang, Louise A. Dennis

Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, 2020

SIGAI annual report: July 1 2019 - June 30 2020.

Sanmay Das, Nicholas Mattei, John P. Dickerson, Sven Koenig, Louise A. Dennis, Larry R. Medsker, Todd W. Neller, Iolanda Leite, Anuj Karpatne

AI Matters, 2020

Model-Checking Information Diffusion in Social Networks with PRISM.

Louise A. Dennis, Marija Slavkovik

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2020

An Interface for Programming Verifiable Autonomous Agents in ROS.

Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2020

2019

On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots.

Paul Bremner, Louise A. Dennis, Michael Fisher, Alan F. T. Winfield

Proc. IEEE, 2019

Formal Specification and Verification of Autonomous Robotic Systems: A Survey.

Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher

ACM Comput. Surv., 2019

A Summary of Formal Specification and Verification of Autonomous Robotic Systems.

Matt Luckcuck, Marie Farrell, Louise A. Dennis, Michael Fisher

CoRR, 2019

Modular Verification of Autonomous Space Robotics.

Marie Farrell, Rafael C. Cardoso, Louise A. Dennis, Clare Dixon, Michael Fisher, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Matt Webster

CoRR, 2019

Events.

Louise A. Dennis

AI Matters, 2019

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

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

A Summary of Formal Specification and Verification of Autonomous Robotic Systems.

Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent.

Gleifer Vaz Alves, Louise A. Dennis, Michael Fisher

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

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

Proceedings of the Engineering Multi-Agent Systems - 7th International Workshop, 2019

Plan Library Reconfigurability in BDI Agents.

Rafael C. Cardoso, Louise A. Dennis, Michael Fisher

Proceedings of the Engineering Multi-Agent Systems - 7th International Workshop, 2019

2018

Two-stage agent program verification.

Louise A. Dennis, Michael Fisher, Matt Webster

J. Log. Comput., 2018

The MCAPL Framework including the Agent Infrastructure Layer an Agent Java Pathfinder.

Louise A. Dennis

J. Open Source Softw., 2018

Autonomous Nuclear Waste Management.

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

IEEE Intell. Syst., 2018

Verifying and Validating Autonomous Systems: Towards an Integrated Approach.

Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi

Proceedings of the Runtime Verification - 18th International Conference, 2018

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

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

Practical Challenges in Explicit Ethical Machine Reasoning.

Louise A. Dennis, Michael Fisher

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2018

Slicing Agent Programs for More Efficient Verification.

Michael Winikoff, Louise A. Dennis, Michael Fisher

Proceedings of the Engineering Multi-Agent Systems - 6th International Workshop, 2018

Recognising Assumption Violations in Autonomous Systems Verification.

Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Ethics by Design: Necessity or Curse?

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

Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, 2018

Cake, Death, and Trolleys: Dilemmas as benchmarks of ethical decision-making.

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

Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, 2018

2017

Formal verification of autonomous vehicle platooning.

Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres

Sci. Comput. Program., 2017

Towards Moral Autonomous Systems.

Vicky Charisi, Louise A. Dennis, Michael Fisher, Robert Lieck, Andreas Matthias, Marija Slavkovik, Janina Sombetzki, Alan F. T. Winfield, Roman Yampolskiy

CoRR, 2017

2016

Formal verification of ethical choices in autonomous systems.

Louise A. Dennis, Michael Fisher, Marija Slavkovik, Matt Webster

Robotics Auton. Syst., 2016

Practical verification of decision-making in agent-based autonomous systems.

Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres

Autom. Softw. Eng., 2016

Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice.

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

Proceedings of the Towards Autonomous Robotic Systems - 17th Annual Conference, 2016

"How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks.

Louise A. Dennis, Marija Slavkovik, Michael Fisher

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems XII, 2016

2015

An abstract formal basis for digital crowds.

Marija Slavkovik, Louise A. Dennis, Michael Fisher

Distributed Parallel Databases, 2015

A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance.

M. Birna van Riemsdijk, Louise A. Dennis, Michael Fisher, Koen V. Hindriks

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Towards Verifiably Ethical Robot Behaviour.

Louise Abigail Dennis, Michael Fisher, Alan F. T. Winfield

Proceedings of the Artificial Intelligence and Ethics, 2015

2014

Reconfigurable Autonomy.

Louise A. Dennis, Michael Fisher, Jonathan M. Aitken, Sandor M. Veres, Yang Gao, Affan Shaukat, Guy Burroughes

Künstliche Intell., 2014

Actions with Durations and Failures in BDI Languages.

Louise A. Dennis, Michael Fisher

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

Autonomous Asteroid Exploration by Rational Agents.

Nick K. Lincoln, Sandor M. Veres, Louise A. Dennis, Michael Fisher, Alexei Lisitsa

IEEE Comput. Intell. Mag., 2013

Verifying autonomous systems.

Michael Fisher, Louise A. Dennis, Matthew P. Webster

Commun. ACM, 2013

Ethical Choice in Unforeseen Circumstances.

Louise A. Dennis, Michael Fisher, Marija Slavkovik, Matthew P. Webster

Proceedings of the Towards Autonomous Robotic Systems - 14th Annual Conference, 2013

Using Agent JPF to Build Models for Other Model Checkers.

Louise A. Dennis, Michael Fisher, Matthew P. Webster

Proceedings of the Computational Logic in Multi-Agent Systems, 2013

Agent reasoning for norm compliance: a semantic approach.

M. Birna van Riemsdijk, Louise A. Dennis, Michael Fisher, Koen V. Hindriks

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012

Model checking agent programming languages.

Louise A. Dennis, Michael Fisher, Matthew P. Webster, Rafael H. Bordini

Autom. Softw. Eng., 2012

Verifying Brahms Human-Robot Teamwork Models.

Richard Stocker, Louise A. Dennis, Clare Dixon, Michael Fisher

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

2011

The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling.

Louise A. Dennis, Ian Green, Alan Smaill

J. Autom. Reason., 2011

Plan Indexing for State-Based Plans.

Louise A. Dennis

Proceedings of the Declarative Agent Languages and Technologies IX, 2011

A Formal Semantics for Brahms.

Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher

Proceedings of the Computational Logic in Multi-Agent Systems, 2011

2010

Satellite Control Using Rational Agent Programming.

Louise A. Dennis, Michael Fisher, Alexei Lisitsa, Nicholas Lincoln, Sandor M. Veres

IEEE Intell. Syst., 2010

Declarative Abstractions for Agent Based Hybrid Control Systems.

Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres

Proceedings of the Declarative Agent Languages and Technologies VIII, 2010

An agent based framework for adaptive control and decision making of autonomous vehicles.

Nicholas Lincoln, Sandor M. Veres, Louise A. Dennis, Michael Fisher, Alexei Lisitsa

Proceedings of the 10th IFAC International Workshop on the Adaptation and Learning in Control and Signal Processing, 2010

2009

Towards the Verification of Pervasive Systems.

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

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Agent Based Approaches to Engineering Autonomous Space Software

Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres

Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

Model Checking Normative Agent Organisations.

Louise A. Dennis, Nick A. M. Tinnemeier, John-Jules Ch. Meyer

Proceedings of the Computational Logic in Multi-Agent Systems, 2009

2008

Programming Verifiable Heterogeneous Agent Systems.

Louise A. Dennis, Michael Fisher

Proceedings of the Programming Multi-Agent Systems, 2008

Automated Verification of Multi-Agent Programs.

Rafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

A flexible framework for verifying agent programs.

Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007

A Common Semantic Basis for BDI Languages.

Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael J. Wooldridge

Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

A Common Basis for Agent Organisation in BDI Languages.

Anthony Hepple, Louise A. Dennis, Michael Fisher

Proceedings of the Languages, 2007

Language Constructs for Multi-agent Programming.

Louise A. Dennis, Michael Fisher, Anthony Hepple

Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

2006

Enhancing Theorem Prover Interfaces with Program Slice Information.

Louise A. Dennis

Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, 2006

2005

On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner.

Louise A. Dennis, Mateja Jamnik, Martin Pollet

Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 2005

An Architecture for Proof Planning Systems.

Louise A. Dennis

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

2003

The PROSPER toolkit.

Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Thomas F. Melham

Int. J. Softw. Tools Technol. Transf., 2003

2002

A Comparison of Two Proof Critics: Power vs. Robustness.

Louise A. Dennis, Alan Bundy

Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

The NumbersWithNames Program.

Simon Colton, Louise A. Dennis

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2002

Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus.

Jürgen Zimmer, Louise A. Dennis

Proceedings of the Artificial Intelligence, 2002

2001

Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain.

Louise A. Dennis, Alan Smaill

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

2000

Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts.

Louise A. Dennis, Alan Bundy, Ian Green

Ann. Math. Artif. Intell., 2000

The PROSPER Toolkit.

Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Graham Robinson, Michael J. C. Gordon, Thomas F. Melham

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

System Description: Embedding Verification into Microsoft Excel.

Graham Collins, Louise A. Dennis

Proceedings of the Automated Deduction, 2000

1998

Proof planning coinduction.

Louise A. Dennis

PhD thesis, 1998

1997

Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs.

Louise A. Dennis, Alan Bundy, Ian Green

Proceedings of the Automated Deduction, 1997