default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLouise A. Dennis
Louise Abigail Dennis
Person information
- affiliation: University of Manchester, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j52]Louise A. Dennis:
Conference Reports. AI Matters 10(1): 4-15 (2024)- [j51]Charles Weir
, Anna Dyson, Olamide Jogunola, Louise A. Dennis, Katie Paxton-Fear:
Interlinked Computing in 2040: Safety, Truth, Ownership, and Accountability. Computer 57(1): 59-68 (2024) - [j50]Marie Farrell, Matthew Bradbury, Rafael C. Cardoso, Michael Fisher, Louise A. Dennis, Clare Dixon, Al Tariq Sheik, Hu Yuan, Carsten Maple:
Security-Minded Verification of Cooperative Awareness Messages. IEEE Trans. Dependable Secur. Comput. 21(4): 4048-4065 (2024) - [c69]Mengwei Xu, Louise A. Dennis, Mustafa A. Mustafa:
Safeguard Privacy for Minimal Data Collection with Trustworthy Autonomous Agents. AAMAS 2024: 1966-1974 - [c68]Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas:
Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement. EACL (1) 2024: 1-22 - [c67]Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas:
Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving. EMNLP 2024: 2933-2958 - [c66]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:
Trustworthy ROS Software Architecture for Autonomous Drones Missions: From RoboChart Modelling to ROS Implementation. MESA 2024: 1-7 - [i16]Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas:
Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement. CoRR abs/2402.00745 (2024) - [i15]Louise A. Dennis, Michael Fisher:
Specifying Agent Ethics (Blue Sky Ideas). CoRR abs/2403.16100 (2024) - [i14]Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas:
Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving. CoRR abs/2405.01379 (2024) - [i13]Ajay Vishwanath, Louise A. Dennis, Marija Slavkovik:
Reinforcement Learning and Machine ethics:a systematic review. CoRR abs/2407.02425 (2024) - 2023
- [j49]Louise A. Dennis:
Conference Reports. AI Matters 9(1): 4-8 (2023) - [j48]Louise A. Dennis:
Conference Reports. AI Matters 9(2): 4-7 (2023) - [j47]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): 4-9 (2023) - [j46]Louise A. Dennis:
Conference Reports. AI Matters 9(3): 12-14 (2023) - [j45]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:
Trustworthy Autonomous Systems Through Verifiability. Computer 56(2): 40-47 (2023) - [j44]Vivek Nallur, Louise A. Dennis, Selmer Bringsjord, Naveen Sundar Govindarajulu:
A Partially Synthesized Position on the Automation of Machine Ethics. Digit. Soc. 2(2) (2023) - [c65]Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis:
Updating Action Descriptions and Plans for Cognitive Agents. AAMAS 2023: 2370-2372 - [c64]Simon Kolker, Louise A. Dennis, Ramon Fraga Pereira, Mengwei Xu:
Uncertain Machine Ethical Decisions Using Hypothetical Retrospection. COINE 2023: 161-181 - [c63]Rafael C. Cardoso, Angelo Ferrando, Joe Collenette, Louise A. Dennis, Michael Fisher:
Towards Forward Responsibility in BDI Agents. EMAS 2023: 3-22 - [c62]Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis:
Adaptive Cognitive Agents: Updating Action Descriptions and Plans. EUMAS 2023: 345-362 - [c61]Yifan Xu, Joe Collenette, Louise A. Dennis, Clare Dixon:
Dialogue Explanations for Rule-Based AI Systems. EXTRAAMAS 2023: 59-77 - [c60]Miriam C. Buiten, Louise A. Dennis, Maike Schwammberger:
A Vision on What Explanations of Autonomous Systems are of Interest to Lawyers. REW 2023: 332-336 - [c59]Joe Collenette, Louise A. Dennis, Michael Fisher:
Prospective Responsibility for Multi-agent Systems. SGAI Conf. 2023: 247-252 - [c58]Christopher R. Anderson, Louise A. Dennis:
Autonomous Systems' Safety Cases for use in UK Nuclear Environments. AREA@ECAI 2023: 83-88 - [i12]Simon Kolker, Louise A. Dennis, Ramon Fraga Pereira, Mengwei Xu:
Uncertain Machine Ethical Decisions Using Hypothetical Retrospection. CoRR abs/2305.01424 (2023) - [i11]Louise A. Dennis, Marie Farrell, Michael Fisher:
Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration [A Position Paper]. CoRR abs/2305.11534 (2023) - 2022
- [j43]Louise A. Dennis, Nir Oren:
Explaining BDI agent behaviour through dialogue. Auton. Agents Multi Agent Syst. 36(1): 29 (2022) - [j42]Louise A. Dennis, Clare Dixon, Michael Fisher:
Verifiable autonomy: From theory to applications. AI Commun. 35(4): 421-431 (2022) - [j41]Louise A. Dennis:
Conference reports. AI Matters 8(1): 4-8 (2022) - [j40]Louise A. Dennis:
Conference reports. AI Matters 8(2): 4-10 (2022) - [j39]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): 4-7 (2022) - [j38]Louise A. Dennis:
Conference Reports. AI Matters 8(4): 4-7 (2022) - [j37]Louise A. Dennis, Yu Fu, Marija Slavkovik:
Markov chain model representation of information diffusion in social networks. J. Log. Comput. 32(6): 1195-1211 (2022) - [c57]Louise A. Dennis:
Verifying Autonomous Systems. IFM 2022: 3-17 - [c56]Hazel M. Taylor, Caroline Jay, Barry Lennox, Angelo Cangelosi, Louise A. Dennis:
Should AI Systems in Nuclear Facilities Explain Decisions the Way Humans Do? An Interview Study. RO-MAN 2022: 956-962 - [c55]Joe Collenette, Louise A. Dennis, Michael Fisher:
Advising Autonomous Cars about the Rules of the Road. FMAS/ASYDE@SEFM 2022: 62-76 - [e4]Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Mehrnoosh Askarpour, Louise A. Dennis:
Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July 2022. EPTCS 362, 2022 [contents] - [i10]Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise A. Dennis, Michael Fisher:
A Compositional Approach to Verifying Modular Robotic Systems. CoRR abs/2208.05507 (2022) - 2021
- [j36]Louise A. Dennis:
Conference reports. AI Matters 7(1): 8-9 (2021) - [j35]Louise A. Dennis:
Conference reports. AI Matters 7(2): 7-9 (2021) - [j34]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): 5-11 (2021) - [j33]Louise A. Dennis:
Conference reports. AI Matters 7(3): 15-17 (2021) - [j32]Louise A. Dennis:
Conference reports. AI Matters 7(4): 5-7 (2021) - [j31]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:
IEEE P7001: A Proposed Standard on Transparency. Frontiers Robotics AI 8: 665729 (2021) - [j30]Gleifer Vaz Alves, Louise Abigail Dennis, Michael Fisher:
A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations. J. Sens. Actuator Networks 10(3): 41 (2021) - [j29]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): 67 (2021) - [j28]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): 43:1-43:43 (2021) - [c54]Louise A. Dennis, Martin Mose Bentzen, Felix Lindner, Michael Fisher:
Verifiable Machine Ethics in Changing Contexts. AAAI 2021: 11470-11478 - [c53]Louise A. Dennis, Nir Oren:
Explaining BDI Agent Behaviour through Dialogue. AAMAS 2021: 429-437 - [c52]Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher:
Implementing Ethical Governors in BDI. EMAS@AAMAS 2021: 22-41 - [c51]Peter Stringer, Rafael C. Cardoso, Clare Dixon, Louise A. Dennis:
Implementing Durative Actions with Failure Detection in Gwendolen. EMAS@AAMAS 2021: 332-351 - [c50]Rafael C. Cardoso, John L. Michaloski, Craig Schlenoff, Angelo Ferrando, Louise A. Dennis, Michael Fisher:
Agile Tasking of Robotic Systems with Explicit Autonomy. FLAIRS 2021 - [c49]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: 53-71 - [c48]Mariya Tsvarkaleva, Louise A. Dennis:
No Free Lunch: Overcoming Reward Gaming in AI Safety Gridworlds. SAFECOMP Workshops 2021: 226-238 - 2020
- [j27]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): 5-9 (2020) - [j26]Louise A. Dennis:
Events. AI Matters 6(2): 10 (2020) - [j25]Louise A. Dennis:
Conference reports. AI Matters 6(2): 11-13 (2020) - [j24]Louise A. Dennis:
Events. AI Matters 6(3): 5 (2020) - [j23]Louise A. Dennis:
Conference reports. AI Matters 6(3): 6-7 (2020) - [j22]Louise A. Dennis, Michael Fisher:
Verifiable Self-Aware Agent-Based Autonomous Systems. Proc. IEEE 108(7): 1011-1026 (2020) - [j21]Louise A. Dennis:
Computational Goals, Values and Decision-Making. Sci. Eng. Ethics 26(5): 2487-2495 (2020) - [c47]Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher:
An Interface for Programming Verifiable Autonomous Agents in ROS. EUMAS/AT 2020: 191-205 - [c46]Louise A. Dennis, Marija Slavkovik:
Model-Checking Information Diffusion in Social Networks with PRISM. EUMAS/AT 2020: 475-492 - [c45]Rafael C. Cardoso, Louise A. Dennis, Marie Farrell, Michael Fisher, Matt Luckcuck:
Towards Compositional Verification for Modular Robotic Systems. FMAS 2020: 15-22 - [c44]Peter Stringer, Rafael C. Cardoso, Xiaowei Huang, Louise A. Dennis:
Adaptable and Verifiable BDI Reasoning. AREA@ECAI 2020: 117-125 - [e3]Louise A. Dennis, Rafael H. Bordini, Yves Lespérance:
Engineering Multi-Agent Systems - 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13-14, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12058, Springer 2020, ISBN 978-3-030-51416-7 [contents]
2010 – 2019
- 2019
- [j20]Louise A. Dennis:
Conference reports. AI Matters 5(4): 5-6 (2019) - [j19]Louise A. Dennis:
Events. AI Matters 5(4): 7 (2019) - [j18]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): 100:1-100:41 (2019) - [j17]Paul Bremner, Louise A. Dennis, Michael Fisher, Alan F. T. Winfield:
On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots. Proc. IEEE 107(3): 541-561 (2019) - [c43]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: 152-172 - [c42]Rafael C. Cardoso, Louise A. Dennis, Michael Fisher:
Plan Library Reconfigurability in BDI Agents. EMAS@AAMAS 2019: 195-212 - [c41]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: 217-232 - [c40]Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher:
A Summary of Formal Specification and Verification of Autonomous Robotic Systems. IFM 2019: 538-541 - [c39]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: 471-490 - [i9]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 abs/1908.10738 (2019) - [i8]Matt Luckcuck, Marie Farrell, Louise A. Dennis, Michael Fisher:
A Summary of Formal Specification and Verification of Autonomous Robotic Systems. CoRR abs/1911.11597 (2019) - 2018
- [j16]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): 47-55 (2018) - [j15]Louise A. Dennis:
The MCAPL Framework including the Agent Infrastructure Layer an Agent Java Pathfinder. J. Open Source Softw. 3(24): 617 (2018) - [j14]Louise A. Dennis, Michael Fisher, Matt Webster:
Two-stage agent program verification. J. Log. Comput. 28(3): 499-523 (2018) - [c38]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: 23-29 - [c37]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:
Ethics by Design: Necessity or Curse? AIES 2018: 60-66 - [c36]Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi:
Recognising Assumption Violations in Autonomous Systems Verification. AAMAS 2018: 1933-1935 - [c35]Michael Winikoff, Louise A. Dennis, Michael Fisher:
Slicing Agent Programs for More Efficient Verification. EMAS@AAMAS 2018: 139-157 - [c34]Louise A. Dennis, Michael Fisher:
Practical Challenges in Explicit Ethical Machine Reasoning. ISAIM 2018 - [c33]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: 341-348 - [c32]Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi:
Verifying and Validating Autonomous Systems: Towards an Integrated Approach. RV 2018: 263-281 - [i7]Louise A. Dennis, Michael Fisher:
Practical Challenges in Explicit Ethical Machine Reasoning. CoRR abs/1801.01422 (2018) - [i6]Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher:
Formal Specification and Verification of Autonomous Robotic Systems: A Survey. CoRR abs/1807.00048 (2018) - 2017
- [j13]Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres:
Formal verification of autonomous vehicle platooning. Sci. Comput. Program. 148: 88-106 (2017) - [i5]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 abs/1703.04741 (2017) - 2016
- [j12]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): 305-359 (2016) - [j11]Louise A. Dennis, Michael Fisher, Marija Slavkovik, Matt Webster:
Formal verification of ethical choices in autonomous systems. Robotics Auton. Syst. 77: 1-14 (2016) - [c31]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: 42-59 - [c30]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: 75-86 - [i4]Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres:
Formal Verification of Autonomous Vehicle Platooning. CoRR abs/1602.01718 (2016) - 2015
- [j10]Marija Slavkovik, Louise A. Dennis, Michael Fisher:
An abstract formal basis for digital crowds. Distributed Parallel Databases 33(1): 3-31 (2015) - [c29]Louise Abigail Dennis, Michael Fisher, Alan F. T. Winfield:
Towards Verifiably Ethical Robot Behaviour. AAAI Workshop: AI and Ethics 2015 - [c28]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 - [i3]Louise A. Dennis, Michael Fisher, Alan F. T. Winfield:
Towards Verifiably Ethical Robot Behaviour. CoRR abs/1504.03592 (2015) - 2014
- [j9]Louise A. Dennis, Michael Fisher, Jonathan M. Aitken, Sandor M. Veres, Yang Gao, Affan Shaukat, Guy Burroughes:
Reconfigurable Autonomy. Künstliche Intell. 28(3): 199-207 (2014) - [c27]Louise A. Dennis, Michael Fisher:
Actions with Durations and Failures in BDI Languages. ECAI 2014: 995-996 - [i2]Marija Slavkovik, Louise A. Dennis, Michael Fisher:
An Abstract Formal Basis for Digital Crowds. CoRR abs/1408.1592 (2014) - 2013
- [j8]Michael Fisher, Louise A. Dennis, Matthew P. Webster:
Verifying autonomous systems. Commun. ACM 56(9): 84-93 (2013) - [j7]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): 25-38 (2013) - [c26]M. Birna van Riemsdijk, Louise A. Dennis, Michael Fisher, Koen V. Hindriks:
Agent reasoning for norm compliance: a semantic approach. AAMAS 2013: 499-506 - [c25]Louise A. Dennis, Michael Fisher, Matthew P. Webster:
Using Agent JPF to Build Models for Other Model Checkers. CLIMA 2013: 273-289 - [c24]Louise A. Dennis, Michael Fisher, Marija Slavkovik, Matthew P. Webster:
Ethical Choice in Unforeseen Circumstances. TAROS 2013: 433-445 - [e2]Matteo Baldoni, Louise A. Dennis, Viviana Mascardi, Wamberto Weber Vasconcelos:
Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7784, Springer 2013, ISBN 978-3-642-37889-8 [contents] - [i1]Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres:
Practical Verification of Decision-Making in Agent-Based Autonomous Systems. CoRR abs/1310.2431 (2013) - 2012
- [j6]Louise A. Dennis, Michael Fisher, Matthew P. Webster, Rafael H. Bordini:
Model checking agent programming languages. Autom. Softw. Eng. 19(1): 5-63 (2012) - [c23]Richard Stocker, Louise A. Dennis, Clare Dixon, Michael Fisher:
Verifying Brahms Human-Robot Teamwork Models. JELIA 2012: 385-397 - [e1]Louise A. Dennis, Olivier Boissier, Rafael H. Bordini:
Programming Multi-Agent Systems - 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7217, Springer 2012, ISBN 978-3-642-31914-3 [contents] - 2011
- [j5]Louise A. Dennis, Ian Green, Alan Smaill:
The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling. J. Autom. Reason. 47(1): 57-105 (2011) - [c22]Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher:
A Formal Semantics for Brahms. CLIMA 2011: 259-274 - [c21]Louise A. Dennis:
Plan Indexing for State-Based Plans. DALT 2011: 3-15 - 2010
- [j4]Louise A. Dennis, Michael Fisher, Alexei Lisitsa, Nicholas Lincoln, Sandor M. Veres:
Satellite Control Using Rational Agent Programming. IEEE Intell. Syst. 25(3): 92-97 (2010) - [c20]Nicholas Lincoln, Sandor M. Veres, Louise A. Dennis, Michael Fisher, Alexei Lisitsa:
An agent based framework for adaptive control and decision making of autonomous vehicles. ALCOSP 2010: 310-317 - [c19]Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres:
Declarative Abstractions for Agent Based Hybrid Control Systems. DALT 2010: 96-111
2000 – 2009
- 2009
- [j3]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:
Towards the Verification of Pervasive Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 22 (2009) - [c18]Louise A. Dennis, Nick A. M. Tinnemeier, John-Jules Ch. Meyer:
Model Checking Normative Agent Organisations. CLIMA 2009: 64-82 - [c17]Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres:
Agent Based Approaches to Engineering Autonomous Space Software. FMA 2009: 63-67 - 2008
- [c16]Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher:
A flexible framework for verifying agent programs. AAMAS (3) 2008: 1303-1306 - [c15]Rafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher:
Automated Verification of Multi-Agent Programs. ASE 2008: 69-78 - [c14]Louise A. Dennis, Michael Fisher:
Programming Verifiable Heterogeneous Agent Systems. ProMAS 2008: 40-55 - 2007
- [c13]Louise A. Dennis, Michael Fisher, Anthony Hepple:
Language Constructs for Multi-agent Programming. CLIMA 2007: 137-156 - [c12]Anthony Hepple, Louise A. Dennis, Michael Fisher:
A Common Basis for Agent Organisation in BDI Languages. LADS 2007: 71-88 - [c11]Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael J. Wooldridge:
A Common Semantic Basis for BDI Languages. PROMAS 2007: 124-139 - 2006
- [c10]Louise A. Dennis:
Enhancing Theorem Prover Interfaces with Program Slice Information. UITP@FLoC 2006: 19-33 - 2005
- [c9]Louise A. Dennis:
An Architecture for Proof Planning Systems. IJCAI 2005: 1558-1559 - [c8]Louise A. Dennis, Mateja Jamnik, Martin Pollet:
On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner. Calculemus 2005: 93-110 - 2003
- [j2]Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Thomas F. Melham:
The PROSPER toolkit. Int. J. Softw. Tools Technol. Transf. 4(2): 189-210 (2003) - 2002
- [c7]Jürgen Zimmer, Louise A. Dennis:
Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus. AISC 2002: 319-331 - [c6]Simon Colton, Louise A. Dennis:
The NumbersWithNames Program. AI&M 2002 - [c5]Louise A. Dennis, Alan Bundy:
A Comparison of Two Proof Critics: Power vs. Robustness. TPHOLs 2002: 182-197 - 2001
- [c4]Louise A. Dennis, Alan Smaill:
Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain. TPHOLs 2001: 185-200 - 2000
- [j1]Louise A. Dennis, Alan Bundy, Ian Green:
Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts. Ann. Math. Artif. Intell. 29(1-4): 99-138 (2000) - [c3]Graham Collins, Louise A. Dennis:
System Description: Embedding Verification into Microsoft Excel. CADE 2000: 497-501 - [c2]Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Graham Robinson, Michael J. C. Gordon, Thomas F. Melham:
The PROSPER Toolkit. TACAS 2000: 78-92
1990 – 1999
- 1998
- [b1]Louise A. Dennis:
Proof planning coinduction. University of Edinburgh, UK, 1998 - 1997
- [c1]Louise A. Dennis, Alan Bundy, Ian Green:
Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs. CADE 1997: 276-290
Coauthor Index
[j50] [i15] [j45] [c65] [c63] [c62] [c59] [i11] [j42] [c55] [i10] [j30] [j29] [j28] [c54] [c52] [c50] [c49] [j22] [c47] [c45] [j18] [j17] [c43] [c42] [c41] [c40] [c39] [i9] [i8] [j16] [j14] [c36] [c35] [c34] [c33] [c32] [i7] [i6] [j13] [i5] [j12] [j11] [c31] [c30] [i4] [j10] [c29] [c28] [i3] [j9] [c27] [i2] [j8] [j7] [c26] [c25] [c24] [i1] [j6] [c23] [c22] [j4] [c20] [c19] [j3] [c17] [c16] [c15] [c14] [c13] [c12] [c11]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-15 19:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
