default search action

combined dblp search
author search
venue search
publication search

ask others

Louise A. Dennis

Louise Abigail Dennis

> Home > Persons

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

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j52]
- view
  authority control:
- export record
  dblp key:
  - journals/aimatters/Dennis24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aimatters/Dennis24
Louise A. Dennis:
Conference Reports. AI Matters 10(1): 4-15 (2024)
[j51]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/computer/WeirDJDP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/WeirDJDP24
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/FarrellB00DDS0M24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/FarrellB00DDS0M24
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)
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/XuDM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/XuDM24
Mengwei Xu, Louise A. Dennis, Mustafa A. Mustafa:
Safeguard Privacy for Minimal Data Collection with Trustworthy Autonomous Agents. AAMAS 2024: 1966-1974
[c67]
- view
  - electronic edition @ aclanthology.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/eacl/QuanVDF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eacl/QuanVDF24
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
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/mesa/ShaukatDKBMRARD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mesa/ShaukatDKBMRARD24
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-00745
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-00745
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-16100
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-16100
Louise A. Dennis, Michael Fisher:
Specifying Agent Ethics (Blue Sky Ideas). CoRR abs/2403.16100 (2024)
[i14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-01379
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-01379
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-02425
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-02425
Ajay Vishwanath, Louise A. Dennis, Marija Slavkovik:
Reinforcement Learning and Machine ethics:a systematic review. CoRR abs/2407.02425 (2024)
2023
[j49]
- view
  authority control:
- export record
  dblp key:
  - journals/aimatters/Dennis23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aimatters/Dennis23
Louise A. Dennis:
Conference Reports. AI Matters 9(1): 4-8 (2023)
[j48]
- view
  authority control:
- export record
  dblp key:
  - journals/aimatters/Dennis23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aimatters/Dennis23a
Louise A. Dennis:
Conference Reports. AI Matters 9(2): 4-7 (2023)
[j47]
- view
  authority control:
- export record
  dblp key:
  - journals/aimatters/DasMDKDMYKTL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aimatters/DasMDKDMYKTL23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/aimatters/Dennis23b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aimatters/Dennis23b
Louise A. Dennis:
Conference Reports. AI Matters 9(3): 12-14 (2023)
[j45]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/MousaviCFDHKLRRTW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/MousaviCFDHKLRRTW23
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/digitalsociety/NallurDBG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/digitalsociety/NallurDBG23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/Stringer0D0D23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/Stringer0D0D23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/coin-ws/KolkerDPX23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coin-ws/KolkerDPX23
Simon Kolker, Louise A. Dennis, Ramon Fraga Pereira, Mengwei Xu:
Uncertain Machine Ethical Decisions Using Hypothetical Retrospection. COINE 2023: 161-181
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/emas/CardosoFCDF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emas/CardosoFCDF23
Rafael C. Cardoso, Angelo Ferrando, Joe Collenette, Louise A. Dennis, Michael Fisher:
Towards Forward Responsibility in BDI Agents. EMAS 2023: 3-22
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/eumas/StringerCDFD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eumas/StringerCDFD23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/extraamas/XuCDD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/extraamas/XuCDD23
Yifan Xu, Joe Collenette, Louise A. Dennis, Clare Dixon:
Dialogue Explanations for Rule-Based AI Systems. EXTRAAMAS 2023: 59-77
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/re/BuitenDS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/BuitenDS23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sgai/CollenetteDF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sgai/CollenetteDF23
Joe Collenette, Louise A. Dennis, Michael Fisher:
Prospective Responsibility for Multi-agent Systems. SGAI Conf. 2023: 247-252
[c58]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-02344
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-02344
Christopher R. Anderson, Louise A. Dennis:
Autonomous Systems' Safety Cases for use in UK Nuclear Environments. AREA@ECAI 2023: 83-88
[i12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-01424
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-01424
Simon Kolker, Louise A. Dennis, Ramon Fraga Pereira, Mengwei Xu:
Uncertain Machine Ethical Decisions Using Hypothetical Retrospection. CoRR abs/2305.01424 (2023)
[i11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-11534
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-11534
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]
- view
  authority control:
- export record
  dblp key:
  - journals/aamas/DennisO22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/DennisO22
Louise A. Dennis, Nir Oren:
Explaining BDI agent behaviour through dialogue. Auton. Agents Multi Agent Syst. 36(1): 29 (2022)
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/aicom/DennisDF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aicom/DennisDF22
Louise A. Dennis, Clare Dixon, Michael Fisher:
Verifiable autonomy: From theory to applications. AI Commun. 35(4): 421-431 (2022)
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/aimatters/Dennis22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aimatters/Dennis22
Louise A. Dennis:
Conference reports. AI Matters 8(1): 4-8 (2022)
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/aimatters/Dennis22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aimatters/Dennis22a
Louise A. Dennis:
Conference reports. AI Matters 8(2): 4-10 (2022)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/aimatters/DasMDKDMYKTL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aimatters/DasMDKDMYKTL22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/aimatters/Dennis22b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aimatters/Dennis22b
Louise A. Dennis:
Conference Reports. AI Matters 8(4): 4-7 (2022)
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/DennisFS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/DennisFS22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/Dennis22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/Dennis22
Louise A. Dennis:
Verifying Autonomous Systems. IFM 2022: 3-17
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/ro-man/TaylorJLCD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ro-man/TaylorJLCD22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-14035
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-14035
Joe Collenette, Louise A. Dennis, Michael Fisher:
Advising Autonomous Cars about the Rules of the Road. FMAS/ASYDE@SEFM 2022: 62-76
[e4]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-09058
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-09058
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-05507
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-05507
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]
- view
  authority control:
- export record
  dblp key:
  - journals/aimatters/Dennis21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aimatters/Dennis21
Louise A. Dennis:
Conference reports. AI Matters 7(1): 8-9 (2021)
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/aimatters/Dennis21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aimatters/Dennis21a
Louise A. Dennis:
Conference reports. AI Matters 7(2): 7-9 (2021)
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/aimatters/DasMDKDMNLKT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aimatters/DasMDKDMNLKT21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/aimatters/Dennis21b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aimatters/Dennis21b
Louise A. Dennis:
Conference reports. AI Matters 7(3): 15-17 (2021)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/aimatters/Dennis21c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aimatters/Dennis21c
Louise A. Dennis:
Conference reports. AI Matters 7(4): 5-7 (2021)
[j31]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/firai/WinfieldBDEHJMO21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/firai/WinfieldBDEHJMO21
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsan/AlvesDF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsan/AlvesDF21
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/robotics/FisherCCDDDFFHJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/robotics/FisherCCDDDFFHJ21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/FerrandoDCFAM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/FerrandoDCFAM21
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/DennisB0021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/DennisB0021
Louise A. Dennis, Martin Mose Bentzen, Felix Lindner, Michael Fisher:
Verifiable Machine Ethics in Changing Contexts. AAAI 2021: 11470-11478
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/DennisO21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/DennisO21
Louise A. Dennis, Nir Oren:
Explaining BDI Agent Behaviour through Dialogue. AAMAS 2021: 429-437
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/emas/CardosoFD021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emas/CardosoFD021
Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher:
Implementing Ethical Governors in BDI. EMAS@AAMAS 2021: 22-41
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/emas/StringerCDD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emas/StringerCDD21
Peter Stringer, Rafael C. Cardoso, Clare Dixon, Louise A. Dennis:
Implementing Durative Actions with Failure Detection in Gwendolen. EMAS@AAMAS 2021: 332-351
[c50]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/flairs/CardosoMSFD021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flairs/CardosoMSFD021
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]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/BourbouhFMSBD021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/BourbouhFMSBD021
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]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/TsvarkalevaD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/TsvarkalevaD21
Mariya Tsvarkaleva, Louise A. Dennis:
No Free Lunch: Overcoming Reward Gaming in AI Safety Gridworlds. SAFECOMP Workshops 2021: 226-238
2020
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/aimatters/DasMDKDMNLK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aimatters/DasMDKDMNLK20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/aimatters/Dennis20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aimatters/Dennis20
Louise A. Dennis:
Events. AI Matters 6(2): 10 (2020)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/aimatters/Dennis20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aimatters/Dennis20a
Louise A. Dennis:
Conference reports. AI Matters 6(2): 11-13 (2020)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/aimatters/Dennis20b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aimatters/Dennis20b
Louise A. Dennis:
Events. AI Matters 6(3): 5 (2020)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/aimatters/Dennis20c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aimatters/Dennis20c
Louise A. Dennis:
Conference reports. AI Matters 6(3): 6-7 (2020)
[j22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pieee/DennisF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pieee/DennisF20
Louise A. Dennis, Michael Fisher:
Verifiable Self-Aware Agent-Based Autonomous Systems. Proc. IEEE 108(7): 1011-1026 (2020)
[j21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/see/Dennis20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/see/Dennis20
Louise A. Dennis:
Computational Goals, Values and Decision-Making. Sci. Eng. Ethics 26(5): 2487-2495 (2020)
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/eumas/CardosoFDF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eumas/CardosoFDF20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/eumas/DennisS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eumas/DennisS20
Louise A. Dennis, Marija Slavkovik:
Model-Checking Information Diffusion in Social Networks with PRISM. EUMAS/AT 2020: 475-492
[c45]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2012-01648
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-01648
Rafael C. Cardoso, Louise A. Dennis, Marie Farrell, Michael Fisher, Matt Luckcuck:
Towards Compositional Verification for Modular Robotic Systems. FMAS 2020: 15-22
[c44]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2007-11743
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-11743
Peter Stringer, Rafael C. Cardoso, Xiaowei Huang, Louise A. Dennis:
Adaptable and Verifiable BDI Reasoning. AREA@ECAI 2020: 117-125
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/emas/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emas/2019
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

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/aimatters/Dennis19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aimatters/Dennis19
Louise A. Dennis:
Conference reports. AI Matters 5(4): 5-6 (2019)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/aimatters/Dennis19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aimatters/Dennis19a
Louise A. Dennis:
Events. AI Matters 5(4): 7 (2019)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/LuckcuckFDDF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/LuckcuckFDDF19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/pieee/BremnerDFW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pieee/BremnerDFW19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/emas/KoemanDW0H19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emas/KoemanDW0H19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/emas/CardosoD019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emas/CardosoD019
Rafael C. Cardoso, Louise A. Dennis, Michael Fisher:
Plan Library Reconfigurability in BDI Agents. EMAS@AAMAS 2019: 195-212
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/AlvesD019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/AlvesD019
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/LuckcuckFDD019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/LuckcuckFDD019
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/FarrellBFDDYM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/FarrellBFDDYM19
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1908-10738
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-10738
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1911-11597
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-11597
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]
- view
  authority control:
- export record
  dblp key:
  - journals/expert/AitkenVSGCDFKRM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/expert/AitkenVSGCDFKRM18
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jossw/Dennis18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jossw/Dennis18
Louise A. Dennis:
The MCAPL Framework including the Agent Infrastructure Layer an Agent Java Pathfinder. J. Open Source Softw. 3(24): 617 (2018)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Dennis0W18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Dennis0W18
Louise A. Dennis, Michael Fisher, Matt Webster:
Two-stage agent program verification. J. Log. Comput. 28(3): 499-523 (2018)
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/aies/BjorgenMBHHLLDS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aies/BjorgenMBHHLLDS18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/aies/DignumBBCCDGHKL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aies/DignumBBCCDGHKL18
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]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/FerrandoDA0M18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/FerrandoDA0M18
Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi:
Recognising Assumption Violations in Autonomous Systems Verification. AAMAS 2018: 1933-1935
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/emas/WinikoffDF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emas/WinikoffDF18
Michael Winikoff, Louise A. Dennis, Michael Fisher:
Slicing Agent Programs for More Efficient Verification. EMAS@AAMAS 2018: 139-157
[c34]
- view
  - electronic edition @ ou.edu (open access)
  - details & citations
- export record
  dblp key:
  - conf/isaim/DennisF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isaim/DennisF18
Louise A. Dennis, Michael Fisher:
Practical Challenges in Explicit Ethical Machine Reasoning. ISAIM 2018
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/FisherCDLWJPPDF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/FisherCDLWJPPDF18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/FerrandoDA0M18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/FerrandoDA0M18
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1801-01422
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1801-01422
Louise A. Dennis, Michael Fisher:
Practical Challenges in Explicit Ethical Machine Reasoning. CoRR abs/1801.01422 (2018)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1807-00048
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-00048
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/KamaliDMFV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KamaliDMFV17
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/CharisiDFLMSSWY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CharisiDFLMSSWY17
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ase/DennisFLLV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/DennisFLLV16
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ras/DennisFSW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ras/DennisFSW16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/DennisSF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/DennisSF16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/taros/DennisACCKMSAGV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/taros/DennisACCKMSAGV16
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/KamaliDMFV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KamaliDMFV16
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dpd/SlavkovikDF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dpd/SlavkovikDF15
Marija Slavkovik, Louise A. Dennis, Michael Fisher:
An abstract formal basis for digital crowds. Distributed Parallel Databases 33(1): 3-31 (2015)
[c29]
- view
  - electronic edition @ aaai.org (archived)
  - details & citations
- export record
  dblp key:
  - conf/aaai/DennisFW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/DennisFW15
Louise Abigail Dennis, Michael Fisher, Alan F. T. Winfield:
Towards Verifiably Ethical Robot Behaviour. AAAI Workshop: AI and Ethics 2015
[c28]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/RiemsdijkDFH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/RiemsdijkDFH15
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/DennisFW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DennisFW15
Louise A. Dennis, Michael Fisher, Alan F. T. Winfield:
Towards Verifiably Ethical Robot Behaviour. CoRR abs/1504.03592 (2015)
2014
[j9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ki/DennisFAVGSB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/DennisFAVGSB14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/DennisF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/DennisF14
Louise A. Dennis, Michael Fisher:
Actions with Durations and Failures in BDI Languages. ECAI 2014: 995-996
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/SlavkovikDF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SlavkovikDF14
Marija Slavkovik, Louise A. Dennis, Michael Fisher:
An Abstract Formal Basis for Digital Crowds. CoRR abs/1408.1592 (2014)
2013
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/FisherDW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/FisherDW13
Michael Fisher, Louise A. Dennis, Matthew P. Webster:
Verifying autonomous systems. Commun. ACM 56(9): 84-93 (2013)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/cim/LincolnVDFL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cim/LincolnVDFL13
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]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/RiemsdijkDFH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/RiemsdijkDFH13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/DennisFW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/DennisFW13
Louise A. Dennis, Michael Fisher, Matthew P. Webster:
Using Agent JPF to Build Models for Other Model Checkers. CLIMA 2013: 273-289
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/taros/DennisFSW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/taros/DennisFSW13
Louise A. Dennis, Michael Fisher, Marija Slavkovik, Matthew P. Webster:
Ethical Choice in Unforeseen Circumstances. TAROS 2013: 433-445
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/2012
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/DennisFLLV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DennisFLLV13
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/DennisFWB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/DennisFWB12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/StockerDDF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/StockerDDF12
Richard Stocker, Louise A. Dennis, Clare Dixon, Michael Fisher:
Verifying Brahms Human-Robot Teamwork Models. JELIA 2012: 385-397
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/promas/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/promas/2011
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/DennisGS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/DennisGS11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/StockerSDDF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/StockerSDDF11
Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher:
A Formal Semantics for Brahms. CLIMA 2011: 259-274
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/Dennis11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/Dennis11
Louise A. Dennis:
Plan Indexing for State-Based Plans. DALT 2011: 3-15
2010
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/expert/DennisFLLV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/expert/DennisFLLV10
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/alcosp/LincolnVDFL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/alcosp/LincolnVDFL10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/DennisFLLV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/DennisFLLV10
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

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/ArapinisCDFGKMRRSUY09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/ArapinisCDFGKMRRSUY09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/DennisTM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/DennisTM09
Louise A. Dennis, Nick A. M. Tinnemeier, John-Jules Ch. Meyer:
Model Checking Normative Agent Organisations. CLIMA 2009: 64-82
[c17]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1003-0617
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1003-0617
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]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/DennisFBF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/DennisFBF08
Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher:
A flexible framework for verifying agent programs. AAMAS (3) 2008: 1303-1306
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BordiniDFF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BordiniDFF08
Rafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher:
Automated Verification of Multi-Agent Programs. ASE 2008: 69-78
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/promas/DennisF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/promas/DennisF08
Louise A. Dennis, Michael Fisher:
Programming Verifiable Heterogeneous Agent Systems. ProMAS 2008: 40-55
2007
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/DennisFH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/DennisFH07
Louise A. Dennis, Michael Fisher, Anthony Hepple:
Language Constructs for Multi-agent Programming. CLIMA 2007: 137-156
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/lads/HeppleDF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lads/HeppleDF07
Anthony Hepple, Louise A. Dennis, Michael Fisher:
A Common Basis for Agent Organisation in BDI Languages. LADS 2007: 71-88
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/promas/DennisFBFW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/promas/DennisFBFW07
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Dennis07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Dennis07
Louise A. Dennis:
Enhancing Theorem Prover Interfaces with Program Slice Information. UITP@FLoC 2006: 19-33
2005
[c9]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/Dennis05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Dennis05
Louise A. Dennis:
An Architecture for Proof Planning Systems. IJCAI 2005: 1558-1559
[c8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DennisJP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DennisJP06
Louise A. Dennis, Mateja Jamnik, Martin Pollet:
On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner. Calculemus 2005: 93-110
2003
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/DennisCNBSM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/DennisCNBSM03
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]
- view
  authority control:
- export record
  dblp key:
  - conf/aisc/ZimmerD02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aisc/ZimmerD02
Jürgen Zimmer, Louise A. Dennis:
Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus. AISC 2002: 319-331
[c6]
- view
  - electronic edition @ rutgers.edu (archived)
  - details & citations
- export record
  dblp key:
  - conf/isaim/ColtonD02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isaim/ColtonD02
Simon Colton, Louise A. Dennis:
The NumbersWithNames Program. AI&M 2002
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/DennisB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/DennisB02
Louise A. Dennis, Alan Bundy:
A Comparison of Two Proof Critics: Power vs. Robustness. TPHOLs 2002: 182-197
2001
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/DennisS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/DennisS01
Louise A. Dennis, Alan Smaill:
Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain. TPHOLs 2001: 185-200
2000
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/DennisBG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/DennisBG00
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/CollinsD00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/CollinsD00
Graham Collins, Louise A. Dennis:
System Description: Embedding Verification into Microsoft Excel. CADE 2000: 497-501
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/DennisCNBSRGM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DennisCNBSRGM00
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

see FAQ

What is the meaning of the colors in the publication lists?

1998
[b1]
- view
- export record
  dblp key:
  - phd/ethos/Dennis98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Dennis98
Louise A. Dennis:
Proof planning coinduction. University of Edinburgh, UK, 1998
1997
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/DennisBG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/DennisBG97
Louise A. Dennis, Alan Bundy, Ian Green:
Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs. CADE 1997: 276-290

Coauthor Index

see FAQ

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.