Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Louise A. Dennis
@article{DBLP:journals/computer/WeirDJDP24,
author = {Charles Weir and
Anna Dyson and
Olamide Jogunola and
Louise A. Dennis and
Katie Paxton{-}Fear},
title = {Interlinked Computing in 2040: Safety, Truth, Ownership, and Accountability},
journal = {Computer},
volume = {57},
number = {1},
pages = {59--68},
year = {2024},
url = {https://doi.org/10.1109/MC.2023.3318377},
doi = {10.1109/MC.2023.3318377},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/WeirDJDP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eacl/QuanVDF24,
author = {Xin Quan and
Marco Valentino and
Louise A. Dennis and
Andr{\'{e}} Freitas},
editor = {Yvette Graham and
Matthew Purver},
title = {Enhancing Ethical Explanations of Large Language Models through Iterative
Symbolic Refinement},
booktitle = {Proceedings of the 18th Conference of the European Chapter of the
Association for Computational Linguistics, {EACL} 2024 - Volume 1:
Long Papers, St. Julian's, Malta, March 17-22, 2024},
pages = {1--22},
publisher = {Association for Computational Linguistics},
year = {2024},
url = {https://aclanthology.org/2024.eacl-long.1},
timestamp = {Tue, 02 Apr 2024 16:32:10 +0200},
biburl = {https://dblp.org/rec/conf/eacl/QuanVDF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-00745,
author = {Xin Quan and
Marco Valentino and
Louise A. Dennis and
Andr{\'{e}} Freitas},
title = {Enhancing Ethical Explanations of Large Language Models through Iterative
Symbolic Refinement},
journal = {CoRR},
volume = {abs/2402.00745},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.00745},
doi = {10.48550/ARXIV.2402.00745},
eprinttype = {arXiv},
eprint = {2402.00745},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-00745.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-16100,
author = {Louise A. Dennis and
Michael Fisher},
title = {Specifying Agent Ethics (Blue Sky Ideas)},
journal = {CoRR},
volume = {abs/2403.16100},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.16100},
doi = {10.48550/ARXIV.2403.16100},
eprinttype = {arXiv},
eprint = {2403.16100},
timestamp = {Tue, 09 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-16100.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aimatters/Dennis23,
author = {Louise A. Dennis},
title = {Conference Reports},
journal = {{AI} Matters},
volume = {9},
number = {1},
pages = {4--8},
year = {2023},
url = {https://doi.org/10.1145/3594707.3594709},
doi = {10.1145/3594707.3594709},
timestamp = {Thu, 17 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aimatters/Dennis23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aimatters/Dennis23a,
author = {Louise A. Dennis},
title = {Conference Reports},
journal = {{AI} Matters},
volume = {9},
number = {2},
pages = {4--7},
year = {2023},
url = {https://doi.org/10.1145/3609468.3609470},
doi = {10.1145/3609468.3609470},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aimatters/Dennis23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aimatters/DasMDKDMYKTL23,
author = {Sanmay Das and
Nicholas Mattei and
John P. Dickerson and
Sven Koenig and
Louise A. Dennis and
Larry R. Medsker and
Ziyu Yao and
Anuj Karpatne and
Alan Tsang and
Matt Luckcuck},
title = {{SIGAI} Annual Report: July 1 2022 - August 30 2023},
journal = {{AI} Matters},
volume = {9},
number = {3},
pages = {4--9},
year = {2023},
url = {https://doi.org/10.1145/3626487.3626489},
doi = {10.1145/3626487.3626489},
timestamp = {Fri, 17 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aimatters/DasMDKDMYKTL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aimatters/Dennis23b,
author = {Louise A. Dennis},
title = {Conference Reports},
journal = {{AI} Matters},
volume = {9},
number = {3},
pages = {12--14},
year = {2023},
url = {https://doi.org/10.1145/3626487.3626491},
doi = {10.1145/3626487.3626491},
timestamp = {Fri, 17 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aimatters/Dennis23b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/MousaviCFDHKLRRTW23,
author = {Mohammad Reza Mousavi and
Ana Cavalcanti and
Michael Fisher and
Louise A. Dennis and
Robert M. Hierons and
Bilal Y. Kaddouh and
Effie Lai{-}Chong Law and
Robert C. Richardson and
Jan Oliver Ringert and
Ivan Tyukin and
Jim Woodcock},
title = {Trustworthy Autonomous Systems Through Verifiability},
journal = {Computer},
volume = {56},
number = {2},
pages = {40--47},
year = {2023},
url = {https://doi.org/10.1109/MC.2022.3192206},
doi = {10.1109/MC.2022.3192206},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/MousaviCFDHKLRRTW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/digitalsociety/NallurDBG23,
author = {Vivek Nallur and
Louise A. Dennis and
Selmer Bringsjord and
Naveen Sundar Govindarajulu},
title = {A Partially Synthesized Position on the Automation of Machine Ethics},
journal = {Digit. Soc.},
volume = {2},
number = {2},
year = {2023},
url = {https://doi.org/10.1007/s44206-023-00040-8},
doi = {10.1007/S44206-023-00040-8},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/digitalsociety/NallurDBG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/Stringer0D0D23,
author = {Peter Stringer and
Rafael C. Cardoso and
Clare Dixon and
Michael Fisher and
Louise A. Dennis},
editor = {Noa Agmon and
Bo An and
Alessandro Ricci and
William Yeoh},
title = {Updating Action Descriptions and Plans for Cognitive Agents},
booktitle = {Proceedings of the 2023 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May
2023 - 2 June 2023},
pages = {2370--2372},
publisher = {{ACM}},
year = {2023},
url = {https://dl.acm.org/doi/10.5555/3545946.3598937},
doi = {10.5555/3545946.3598937},
timestamp = {Tue, 23 May 2023 14:27:14 +0200},
biburl = {https://dblp.org/rec/conf/atal/Stringer0D0D23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coin-ws/KolkerDPX23,
author = {Simon Kolker and
Louise A. Dennis and
Ramon Fraga Pereira and
Mengwei Xu},
editor = {Nicoletta Fornara and
Jithin Cheriyan and
Asimina Mertzani},
title = {Uncertain Machine Ethical Decisions Using Hypothetical Retrospection},
booktitle = {Coordination, Organizations, Institutions, Norms, and Ethics for Governance
of Multi-Agent Systems {XVI} - 27th International Workshop, {COINE}
2023, London, UK, May 29, 2023, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14002},
pages = {161--181},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49133-7\_9},
doi = {10.1007/978-3-031-49133-7\_9},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coin-ws/KolkerDPX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emas/CardosoFCDF23,
author = {Rafael C. Cardoso and
Angelo Ferrando and
Joe Collenette and
Louise A. Dennis and
Michael Fisher},
editor = {Andrei Ciortea and
Mehdi Dastani and
Jieting Luo},
title = {Towards Forward Responsibility in {BDI} Agents},
booktitle = {Engineering Multi-Agent Systems - 11th International Workshop, {EMAS}
2023, London, UK, May 29-30, 2023, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14378},
pages = {3--22},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-48539-8\_1},
doi = {10.1007/978-3-031-48539-8\_1},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emas/CardosoFCDF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/StringerCDFD23,
author = {Peter Stringer and
Rafael C. Cardoso and
Clare Dixon and
Michael Fisher and
Louise A. Dennis},
editor = {Vadim Malvone and
Aniello Murano},
title = {Adaptive Cognitive Agents: Updating Action Descriptions and Plans},
booktitle = {Multi-Agent Systems - 20th European Conference, {EUMAS} 2023, Naples,
Italy, September 14-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14282},
pages = {345--362},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43264-4\_22},
doi = {10.1007/978-3-031-43264-4\_22},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eumas/StringerCDFD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/extraamas/XuCDD23,
author = {Yifan Xu and
Joe Collenette and
Louise A. Dennis and
Clare Dixon},
editor = {Davide Calvaresi and
Amro Najjar and
Andrea Omicini and
Reyhan Aydogan and
Rachele Carli and
Giovanni Ciatto and
Yazan Mualla and
Kary Fr{\"{a}}mling},
title = {Dialogue Explanations for Rule-Based {AI} Systems},
booktitle = {Explainable and Transparent {AI} and Multi-Agent Systems - 5th International
Workshop, {EXTRAAMAS} 2023, London, UK, May 29, 2023, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {14127},
pages = {59--77},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40878-6\_4},
doi = {10.1007/978-3-031-40878-6\_4},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/extraamas/XuCDD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/BuitenDS23,
author = {Miriam C. Buiten and
Louise A. Dennis and
Maike Schwammberger},
editor = {Kurt Schneider and
Fabiano Dalpiaz and
Jennifer Horkoff},
title = {A Vision on What Explanations of Autonomous Systems are of Interest
to Lawyers},
booktitle = {31st {IEEE} International Requirements Engineering Conference, {RE}
2023 - Workshops, Hannover, Germany, September 4-5, 2023},
pages = {332--336},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/REW57809.2023.00062},
doi = {10.1109/REW57809.2023.00062},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/BuitenDS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sgai/CollenetteDF23,
author = {Joe Collenette and
Louise A. Dennis and
Michael Fisher},
editor = {Max Bramer and
Frederic T. Stahl},
title = {Prospective Responsibility for Multi-agent Systems},
booktitle = {Artificial Intelligence {XL} - 43rd {SGAI} International Conference
on Artificial Intelligence, {AI} 2023, Cambridge, UK, December 12-14,
2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14381},
pages = {247--252},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47994-6\_23},
doi = {10.1007/978-3-031-47994-6\_23},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sgai/CollenetteDF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-02344,
author = {Christopher R. Anderson and
Louise A. Dennis},
editor = {Angelo Ferrando and
Rafael Cardoso},
title = {Autonomous Systems' Safety Cases for use in {UK} Nuclear Environments},
booktitle = {Proceedings of the Third Workshop on Agents and Robots for reliable
Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023},
series = {{EPTCS}},
volume = {391},
pages = {83--88},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.391.10},
doi = {10.4204/EPTCS.391.10},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-02344.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-01424,
author = {Simon Kolker and
Louise A. Dennis and
Ramon Fraga Pereira and
Mengwei Xu},
title = {Uncertain Machine Ethical Decisions Using Hypothetical Retrospection},
journal = {CoRR},
volume = {abs/2305.01424},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.01424},
doi = {10.48550/ARXIV.2305.01424},
eprinttype = {arXiv},
eprint = {2305.01424},
timestamp = {Fri, 28 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-01424.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-11534,
author = {Louise A. Dennis and
Marie Farrell and
Michael Fisher},
title = {Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration
{[A} Position Paper]},
journal = {CoRR},
volume = {abs/2305.11534},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.11534},
doi = {10.48550/ARXIV.2305.11534},
eprinttype = {arXiv},
eprint = {2305.11534},
timestamp = {Thu, 25 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-11534.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/DennisO22,
author = {Louise A. Dennis and
Nir Oren},
title = {Explaining {BDI} agent behaviour through dialogue},
journal = {Auton. Agents Multi Agent Syst.},
volume = {36},
number = {1},
pages = {29},
year = {2022},
url = {https://doi.org/10.1007/s10458-022-09556-8},
doi = {10.1007/S10458-022-09556-8},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aamas/DennisO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/DennisDF22,
author = {Louise A. Dennis and
Clare Dixon and
Michael Fisher},
title = {Verifiable autonomy: From theory to applications},
journal = {{AI} Commun.},
volume = {35},
number = {4},
pages = {421--431},
year = {2022},
url = {https://doi.org/10.3233/AIC-220115},
doi = {10.3233/AIC-220115},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/DennisDF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aimatters/Dennis22,
author = {Louise A. Dennis},
title = {Conference reports},
journal = {{AI} Matters},
volume = {8},
number = {1},
pages = {4--8},
year = {2022},
url = {https://doi.org/10.1145/3544897.3544899},
doi = {10.1145/3544897.3544899},
timestamp = {Thu, 28 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aimatters/Dennis22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aimatters/Dennis22a,
author = {Louise A. Dennis},
title = {Conference reports},
journal = {{AI} Matters},
volume = {8},
number = {2},
pages = {4--10},
year = {2022},
url = {https://doi.org/10.1145/3557785.3557787},
doi = {10.1145/3557785.3557787},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aimatters/Dennis22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aimatters/DasMDKDMYKTL22,
author = {Sanmay Das and
Nicholas Mattei and
John P. Dickerson and
Sven Koenig and
Louise A. Dennis and
Larry R. Medsker and
Ziyu Yao and
Anuj Karpatne and
Alan Tsang and
Matt Luckcuck},
title = {{SIGAI} Annual Report: July 1 2021 - June 30 2022},
journal = {{AI} Matters},
volume = {8},
number = {3},
pages = {4--7},
year = {2022},
url = {https://doi.org/10.1145/3583767.3583769},
doi = {10.1145/3583767.3583769},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aimatters/DasMDKDMYKTL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aimatters/Dennis22b,
author = {Louise A. Dennis},
title = {Conference Reports},
journal = {{AI} Matters},
volume = {8},
number = {4},
pages = {4--7},
year = {2022},
url = {https://doi.org/10.1145/3583770.3583772},
doi = {10.1145/3583770.3583772},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aimatters/Dennis22b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DennisFS22,
author = {Louise A. Dennis and
Yu Fu and
Marija Slavkovik},
title = {Markov chain model representation of information diffusion in social
networks},
journal = {J. Log. Comput.},
volume = {32},
number = {6},
pages = {1195--1211},
year = {2022},
url = {https://doi.org/10.1093/logcom/exac018},
doi = {10.1093/LOGCOM/EXAC018},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DennisFS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Dennis22,
author = {Louise A. Dennis},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Verifying Autonomous Systems},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {3--17},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_1},
doi = {10.1007/978-3-031-07727-2\_1},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Dennis22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ro-man/TaylorJLCD22,
author = {Hazel M. Taylor and
Caroline Jay and
Barry Lennox and
Angelo Cangelosi and
Louise A. Dennis},
title = {Should {AI} Systems in Nuclear Facilities Explain Decisions the Way
Humans Do? An Interview Study},
booktitle = {31st {IEEE} International Conference on Robot and Human Interactive
Communication, {RO-MAN} 2022, Napoli, Italy, August 29 - Sept. 2,
2022},
pages = {956--962},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/RO-MAN53752.2022.9900852},
doi = {10.1109/RO-MAN53752.2022.9900852},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ro-man/TaylorJLCD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-14035,
author = {Joe Collenette and
Louise A. Dennis and
Michael Fisher},
editor = {Matt Luckcuck and
Marie Farrell},
title = {Advising Autonomous Cars about the Rules of the Road},
booktitle = {Proceedings Fourth International Workshop on Formal Methods for Autonomous
Systems {(FMAS)} and Fourth International Workshop on Automated and
verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022,
and Fourth International Workshop on Automated and verifiable Software
sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September
2022},
series = {{EPTCS}},
volume = {371},
pages = {62--76},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.371.5},
doi = {10.4204/EPTCS.371.5},
timestamp = {Mon, 14 Nov 2022 14:12:09 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-14035.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2207-09058,
editor = {Rafael C. Cardoso and
Angelo Ferrando and
Fabio Papacchini and
Mehrnoosh Askarpour and
Louise A. Dennis},
title = {Proceedings of the Second Workshop on Agents and Robots for reliable
Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July
2022},
series = {{EPTCS}},
volume = {362},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.362},
doi = {10.4204/EPTCS.362},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-09058.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-05507,
author = {Matt Luckcuck and
Marie Farrell and
Angelo Ferrando and
Rafael C. Cardoso and
Louise A. Dennis and
Michael Fisher},
title = {A Compositional Approach to Verifying Modular Robotic Systems},
journal = {CoRR},
volume = {abs/2208.05507},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.05507},
doi = {10.48550/ARXIV.2208.05507},
eprinttype = {arXiv},
eprint = {2208.05507},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-05507.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aimatters/Dennis21,
author = {Louise A. Dennis},
title = {Conference reports},
journal = {{AI} Matters},
volume = {7},
number = {1},
pages = {8--9},
year = {2021},
url = {https://doi.org/10.1145/3465074.3465077},
doi = {10.1145/3465074.3465077},
timestamp = {Wed, 25 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aimatters/Dennis21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aimatters/Dennis21a,
author = {Louise A. Dennis},
title = {Conference reports},
journal = {{AI} Matters},
volume = {7},
number = {2},
pages = {7--9},
year = {2021},
url = {https://doi.org/10.1145/3478369.3478372},
doi = {10.1145/3478369.3478372},
timestamp = {Tue, 28 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aimatters/Dennis21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aimatters/DasMDKDMNLKT21,
author = {Sanmay Das and
Nicholas Mattei and
John P. Dickerson and
Sven Koenig and
Louise A. Dennis and
Larry R. Medsker and
Todd W. Neller and
Iolanda Leite and
Anuj Karpatne and
Alan Tsang},
title = {{SIGAI} annual report: July 1 2020 - June 30 2021},
journal = {{AI} Matters},
volume = {7},
number = {3},
pages = {5--11},
year = {2021},
url = {https://doi.org/10.1145/3511322.3511324},
doi = {10.1145/3511322.3511324},
timestamp = {Sat, 26 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aimatters/DasMDKDMNLKT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aimatters/Dennis21b,
author = {Louise A. Dennis},
title = {Conference reports},
journal = {{AI} Matters},
volume = {7},
number = {3},
pages = {15--17},
year = {2021},
url = {https://doi.org/10.1145/3511322.3511326},
doi = {10.1145/3511322.3511326},
timestamp = {Sat, 26 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aimatters/Dennis21b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aimatters/Dennis21c,
author = {Louise A. Dennis},
title = {Conference reports},
journal = {{AI} Matters},
volume = {7},
number = {4},
pages = {5--7},
year = {2021},
url = {https://doi.org/10.1145/3516418.3516421},
doi = {10.1145/3516418.3516421},
timestamp = {Wed, 23 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aimatters/Dennis21c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/firai/WinfieldBDEHJMO21,
author = {Alan F. T. Winfield and
Serena Booth and
Louise A. Dennis and
Takashi Egawa and
Helen F. Hastie and
Naomi Jacobs and
Roderick I. Muttram and
Joanna I. Olszewska and
Fahimeh Rajabiyazdi and
Andreas Theodorou and
Mark A. Underwood and
Robert H. Wortham and
Eleanor Nell Watson},
title = {{IEEE} {P7001:} {A} Proposed Standard on Transparency},
journal = {Frontiers Robotics {AI}},
volume = {8},
pages = {665729},
year = {2021},
url = {https://doi.org/10.3389/frobt.2021.665729},
doi = {10.3389/FROBT.2021.665729},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/firai/WinfieldBDEHJMO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsan/AlvesDF21,
author = {Gleifer Vaz Alves and
Louise Abigail Dennis and
Michael Fisher},
title = {A Double-Level Model Checking Approach for an Agent-Based Autonomous
Vehicle and Road Junction Regulations},
journal = {J. Sens. Actuator Networks},
volume = {10},
number = {3},
pages = {41},
year = {2021},
url = {https://doi.org/10.3390/jsan10030041},
doi = {10.3390/JSAN10030041},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsan/AlvesDF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/robotics/FisherCCDDDFFHJ21,
author = {Michael Fisher and
Rafael C. Cardoso and
Emily C. Collins and
Christopher Dadswell and
Louise A. Dennis and
Clare Dixon and
Marie Farrell and
Angelo Ferrando and
Xiaowei Huang and
Mike Jump and
Georgios Kourtis and
Alexei Lisitsa and
Matt Luckcuck and
Shan Luo and
Vincent Pag{\'{e}} and
Fabio Papacchini and
Matt Webster},
title = {An Overview of Verification and Validation Challenges for Inspection
Robots},
journal = {Robotics},
volume = {10},
number = {2},
pages = {67},
year = {2021},
url = {https://doi.org/10.3390/robotics10020067},
doi = {10.3390/ROBOTICS10020067},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/robotics/FisherCCDDDFFHJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/FerrandoDCFAM21,
author = {Angelo Ferrando and
Louise A. Dennis and
Rafael C. Cardoso and
Michael Fisher and
Davide Ancona and
Viviana Mascardi},
title = {Toward a Holistic Approach to Verification and Validation of Autonomous
Cognitive Systems},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {30},
number = {4},
pages = {43:1--43:43},
year = {2021},
url = {https://doi.org/10.1145/3447246},
doi = {10.1145/3447246},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/FerrandoDCFAM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DennisB0021,
author = {Louise A. Dennis and
Martin Mose Bentzen and
Felix Lindner and
Michael Fisher},
title = {Verifiable Machine Ethics in Changing Contexts},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {11470--11478},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i13.17366},
doi = {10.1609/AAAI.V35I13.17366},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/DennisB0021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/DennisO21,
author = {Louise A. Dennis and
Nir Oren},
editor = {Frank Dignum and
Alessio Lomuscio and
Ulle Endriss and
Ann Now{\'{e}}},
title = {Explaining {BDI} Agent Behaviour through Dialogue},
booktitle = {{AAMAS} '21: 20th International Conference on Autonomous Agents and
Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021},
pages = {429--437},
publisher = {{ACM}},
year = {2021},
url = {https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p429.pdf},
doi = {10.5555/3463952.3464007},
timestamp = {Wed, 20 Jul 2022 17:03:47 +0200},
biburl = {https://dblp.org/rec/conf/atal/DennisO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emas/CardosoFD021,
author = {Rafael C. Cardoso and
Angelo Ferrando and
Louise A. Dennis and
Michael Fisher},
editor = {Natasha Alechina and
Matteo Baldoni and
Brian Logan},
title = {Implementing Ethical Governors in {BDI}},
booktitle = {Engineering Multi-Agent Systems - 9th International Workshop, {EMAS}
2021, Virtual Event, May 3-4, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13190},
pages = {22--41},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-97457-2\_2},
doi = {10.1007/978-3-030-97457-2\_2},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emas/CardosoFD021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emas/StringerCDD21,
author = {Peter Stringer and
Rafael C. Cardoso and
Clare Dixon and
Louise A. Dennis},
editor = {Natasha Alechina and
Matteo Baldoni and
Brian Logan},
title = {Implementing Durative Actions with Failure Detection in Gwendolen},
booktitle = {Engineering Multi-Agent Systems - 9th International Workshop, {EMAS}
2021, Virtual Event, May 3-4, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13190},
pages = {332--351},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-97457-2\_19},
doi = {10.1007/978-3-030-97457-2\_19},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emas/StringerCDD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/CardosoMSFD021,
author = {Rafael C. Cardoso and
John L. Michaloski and
Craig Schlenoff and
Angelo Ferrando and
Louise A. Dennis and
Michael Fisher},
editor = {Eric Bell and
Fazel Keshtkar},
title = {Agile Tasking of Robotic Systems with Explicit Autonomy},
booktitle = {Proceedings of the Thirty-Fourth International Florida Artificial
Intelligence Research Society Conference, North Miami Beach, Florida,
USA, May 17-19, 2021},
year = {2021},
url = {https://doi.org/10.32473/flairs.v34i1.128481},
doi = {10.32473/FLAIRS.V34I1.128481},
timestamp = {Wed, 26 Oct 2022 08:35:05 +0200},
biburl = {https://dblp.org/rec/conf/flairs/CardosoMSFD021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BourbouhFMSBD021,
author = {Hamza Bourbouh and
Marie Farrell and
Anastasia Mavridou and
Irfan Sljivo and
Guillaume Brat and
Louise A. Dennis and
Michael Fisher},
editor = {Aaron Dutle and
Mariano M. Moscato and
Laura Titolo and
C{\'{e}}sar A. Mu{\~{n}}oz and
Ivan Perez},
title = {Integrating Formal Verification and Assurance: An Inspection Rover
Case Study},
booktitle = {{NASA} Formal Methods - 13th International Symposium, {NFM} 2021,
Virtual Event, May 24-28, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12673},
pages = {53--71},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-76384-8\_4},
doi = {10.1007/978-3-030-76384-8\_4},
timestamp = {Wed, 20 Sep 2023 15:15:29 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BourbouhFMSBD021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/TsvarkalevaD21,
author = {Mariya Tsvarkaleva and
Louise A. Dennis},
editor = {Ibrahim Habli and
Mark Sujan and
Simos Gerasimou and
Erwin Schoitsch and
Friedemann Bitsch},
title = {No Free Lunch: Overcoming Reward Gaming in {AI} Safety Gridworlds},
booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2021 Workshops
- DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September
7, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12853},
pages = {226--238},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-83906-2\_18},
doi = {10.1007/978-3-030-83906-2\_18},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/TsvarkalevaD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aimatters/DasMDKDMNLK20,
author = {Sanmay Das and
Nicholas Mattei and
John P. Dickerson and
Sven Koenig and
Louise A. Dennis and
Larry R. Medsker and
Todd W. Neller and
Iolanda Leite and
Anuj Karpatne},
title = {{SIGAI} annual report: July 1 2019 - June 30 2020},
journal = {{AI} Matters},
volume = {6},
number = {2},
pages = {5--9},
year = {2020},
url = {https://doi.org/10.1145/3430581.3430583},
doi = {10.1145/3430581.3430583},
timestamp = {Thu, 14 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aimatters/DasMDKDMNLK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aimatters/Dennis20,
author = {Louise A. Dennis},
title = {Events},
journal = {{AI} Matters},
volume = {6},
number = {2},
pages = {10},
year = {2020},
url = {https://doi.org/10.1145/3430581.3430584},
doi = {10.1145/3430581.3430584},
timestamp = {Thu, 14 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aimatters/Dennis20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aimatters/Dennis20a,
author = {Louise A. Dennis},
title = {Conference reports},
journal = {{AI} Matters},
volume = {6},
number = {2},
pages = {11--13},
year = {2020},
url = {https://doi.org/10.1145/3430581.3430585},
doi = {10.1145/3430581.3430585},
timestamp = {Thu, 14 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aimatters/Dennis20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aimatters/Dennis20b,
author = {Louise A. Dennis},
title = {Events},
journal = {{AI} Matters},
volume = {6},
number = {3},
pages = {5},
year = {2020},
url = {https://doi.org/10.1145/3446243.3446245},
doi = {10.1145/3446243.3446245},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aimatters/Dennis20b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aimatters/Dennis20c,
author = {Louise A. Dennis},
title = {Conference reports},
journal = {{AI} Matters},
volume = {6},
number = {3},
pages = {6--7},
year = {2020},
url = {https://doi.org/10.1145/3446243.3446246},
doi = {10.1145/3446243.3446246},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aimatters/Dennis20c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/DennisF20,
author = {Louise A. Dennis and
Michael Fisher},
title = {Verifiable Self-Aware Agent-Based Autonomous Systems},
journal = {Proc. {IEEE}},
volume = {108},
number = {7},
pages = {1011--1026},
year = {2020},
url = {https://doi.org/10.1109/JPROC.2020.2991262},
doi = {10.1109/JPROC.2020.2991262},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/DennisF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/see/Dennis20,
author = {Louise A. Dennis},
title = {Computational Goals, Values and Decision-Making},
journal = {Sci. Eng. Ethics},
volume = {26},
number = {5},
pages = {2487--2495},
year = {2020},
url = {https://doi.org/10.1007/s11948-020-00244-y},
doi = {10.1007/S11948-020-00244-Y},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/see/Dennis20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/CardosoFDF20,
author = {Rafael C. Cardoso and
Angelo Ferrando and
Louise A. Dennis and
Michael Fisher},
editor = {Nick Bassiliades and
Georgios Chalkiadakis and
Dave de Jonge},
title = {An Interface for Programming Verifiable Autonomous Agents in {ROS}},
booktitle = {Multi-Agent Systems and Agreement Technologies - 17th European Conference,
{EUMAS} 2020, and 7th International Conference, {AT} 2020, Thessaloniki,
Greece, September 14-15, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12520},
pages = {191--205},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-66412-1\_13},
doi = {10.1007/978-3-030-66412-1\_13},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eumas/CardosoFDF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/DennisS20,
author = {Louise A. Dennis and
Marija Slavkovik},
editor = {Nick Bassiliades and
Georgios Chalkiadakis and
Dave de Jonge},
title = {Model-Checking Information Diffusion in Social Networks with {PRISM}},
booktitle = {Multi-Agent Systems and Agreement Technologies - 17th European Conference,
{EUMAS} 2020, and 7th International Conference, {AT} 2020, Thessaloniki,
Greece, September 14-15, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12520},
pages = {475--492},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-66412-1\_30},
doi = {10.1007/978-3-030-66412-1\_30},
timestamp = {Tue, 21 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eumas/DennisS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2012-01648,
author = {Rafael C. Cardoso and
Louise A. Dennis and
Marie Farrell and
Michael Fisher and
Matt Luckcuck},
editor = {Matt Luckcuck and
Marie Farrell},
title = {Towards Compositional Verification for Modular Robotic Systems},
booktitle = {Proceedings Second Workshop on Formal Methods for Autonomous Systems,
{FMAS} 2020, Virtual, December 7, 2020},
series = {{EPTCS}},
volume = {329},
pages = {15--22},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.329.2},
doi = {10.4204/EPTCS.329.2},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-01648.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2007-11743,
author = {Peter Stringer and
Rafael C. Cardoso and
Xiaowei Huang and
Louise A. Dennis},
editor = {Rafael C. Cardoso and
Angelo Ferrando and
Daniela Briola and
Claudio Menghi and
Tobias Ahlbrecht},
title = {Adaptable and Verifiable {BDI} Reasoning},
booktitle = {Proceedings of the First Workshop on Agents and Robots for reliable
Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September
2020},
series = {{EPTCS}},
volume = {319},
pages = {117--125},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.319.9},
doi = {10.4204/EPTCS.319.9},
timestamp = {Wed, 28 Sep 2022 08:59:54 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-11743.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emas/2019,
editor = {Louise A. Dennis and
Rafael H. Bordini and
Yves Lesp{\'{e}}rance},
title = {Engineering Multi-Agent Systems - 7th International Workshop, {EMAS}
2019, Montreal, QC, Canada, May 13-14, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12058},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51417-4},
doi = {10.1007/978-3-030-51417-4},
isbn = {978-3-030-51416-7},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emas/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aimatters/Dennis19,
author = {Louise A. Dennis},
title = {Conference reports},
journal = {{AI} Matters},
volume = {5},
number = {4},
pages = {5--6},
year = {2019},
url = {https://doi.org/10.1145/3375637.3375639},
doi = {10.1145/3375637.3375639},
timestamp = {Mon, 09 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aimatters/Dennis19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aimatters/Dennis19a,
author = {Louise A. Dennis},
title = {Events},
journal = {{AI} Matters},
volume = {5},
number = {4},
pages = {7},
year = {2019},
url = {https://doi.org/10.1145/3375637.3375640},
doi = {10.1145/3375637.3375640},
timestamp = {Mon, 09 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aimatters/Dennis19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/LuckcuckFDDF19,
author = {Matt Luckcuck and
Marie Farrell and
Louise A. Dennis and
Clare Dixon and
Michael Fisher},
title = {Formal Specification and Verification of Autonomous Robotic Systems:
{A} Survey},
journal = {{ACM} Comput. Surv.},
volume = {52},
number = {5},
pages = {100:1--100:41},
year = {2019},
url = {https://doi.org/10.1145/3342355},
doi = {10.1145/3342355},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/LuckcuckFDDF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/BremnerDFW19,
author = {Paul Bremner and
Louise A. Dennis and
Michael Fisher and
Alan F. T. Winfield},
title = {On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots},
journal = {Proc. {IEEE}},
volume = {107},
number = {3},
pages = {541--561},
year = {2019},
url = {https://doi.org/10.1109/JPROC.2019.2898267},
doi = {10.1109/JPROC.2019.2898267},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pieee/BremnerDFW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emas/KoemanDW0H19,
author = {Vincent J. Koeman and
Louise A. Dennis and
Matt Webster and
Michael Fisher and
Koen V. Hindriks},
editor = {Louise A. Dennis and
Rafael H. Bordini and
Yves Lesp{\'{e}}rance},
title = {The "Why Did You Do That?" Button: Answering Why-Questions
for End Users of Robotic Systems},
booktitle = {Engineering Multi-Agent Systems - 7th International Workshop, {EMAS}
2019, Montreal, QC, Canada, May 13-14, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12058},
pages = {152--172},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-51417-4\_8},
doi = {10.1007/978-3-030-51417-4\_8},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emas/KoemanDW0H19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emas/CardosoD019,
author = {Rafael C. Cardoso and
Louise A. Dennis and
Michael Fisher},
editor = {Louise A. Dennis and
Rafael H. Bordini and
Yves Lesp{\'{e}}rance},
title = {Plan Library Reconfigurability in {BDI} Agents},
booktitle = {Engineering Multi-Agent Systems - 7th International Workshop, {EMAS}
2019, Montreal, QC, Canada, May 13-14, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12058},
pages = {195--212},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-51417-4\_10},
doi = {10.1007/978-3-030-51417-4\_10},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emas/CardosoD019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AlvesD019,
author = {Gleifer Vaz Alves and
Louise A. Dennis and
Michael Fisher},
editor = {Emil Sekerinski and
Nelma Moreira and
Jos{\'{e}} N. Oliveira and
Daniel Ratiu and
Riccardo Guidotti and
Marie Farrell and
Matt Luckcuck and
Diego Marmsoler and
Jos{\'{e}} Creissac Campos and
Troy Astarte and
Laure Gonnord and
Antonio Cerone and
Luis Couto and
Brijesh Dongol and
Martin Kutrib and
Pedro Monteiro and
David Delmas},
title = {Formalisation and Implementation of Road Junction Rules on an Autonomous
Vehicle Modelled as an Agent},
booktitle = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
October 7-11, 2019, Revised Selected Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12232},
pages = {217--232},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-54994-7\_16},
doi = {10.1007/978-3-030-54994-7\_16},
timestamp = {Mon, 05 Feb 2024 20:31:40 +0100},
biburl = {https://dblp.org/rec/conf/fm/AlvesD019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/LuckcuckFDD019,
author = {Matt Luckcuck and
Marie Farrell and
Louise A. Dennis and
Clare Dixon and
Michael Fisher},
editor = {Wolfgang Ahrendt and
Silvia Lizeth Tapia Tarifa},
title = {A Summary of Formal Specification and Verification of Autonomous Robotic
Systems},
booktitle = {Integrated Formal Methods - 15th International Conference, {IFM} 2019,
Bergen, Norway, December 2-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11918},
pages = {538--541},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34968-4\_33},
doi = {10.1007/978-3-030-34968-4\_33},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/LuckcuckFDD019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FarrellBFDDYM19,
author = {Marie Farrell and
Matthew Bradbury and
Michael Fisher and
Louise A. Dennis and
Clare Dixon and
Hu Yuan and
Carsten Maple},
editor = {Peter Csaba {\"{O}}lveczky and
Gwen Sala{\"{u}}n},
title = {Using Threat Analysis Techniques to Guide Formal Verification: {A}
Case Study of Cooperative Awareness Messages},
booktitle = {Software Engineering and Formal Methods - 17th International Conference,
{SEFM} 2019, Oslo, Norway, September 18-20, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11724},
pages = {471--490},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30446-1\_25},
doi = {10.1007/978-3-030-30446-1\_25},
timestamp = {Sat, 30 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/FarrellBFDDYM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-10738,
author = {Marie Farrell and
Rafael C. Cardoso and
Louise A. Dennis and
Clare Dixon and
Michael Fisher and
Georgios Kourtis and
Alexei Lisitsa and
Matt Luckcuck and
Matt Webster},
title = {Modular Verification of Autonomous Space Robotics},
journal = {CoRR},
volume = {abs/1908.10738},
year = {2019},
url = {http://arxiv.org/abs/1908.10738},
eprinttype = {arXiv},
eprint = {1908.10738},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-10738.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-11597,
author = {Matt Luckcuck and
Marie Farrell and
Louise A. Dennis and
Michael Fisher},
title = {A Summary of Formal Specification and Verification of Autonomous Robotic
Systems},
journal = {CoRR},
volume = {abs/1911.11597},
year = {2019},
url = {http://arxiv.org/abs/1911.11597},
eprinttype = {arXiv},
eprint = {1911.11597},
timestamp = {Tue, 03 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-11597.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/AitkenVSGCDFKRM18,
author = {Jonathan M. Aitken and
Sandor M. Veres and
Affan Shaukat and
Yang Gao and
Elisa Cucco and
Louise A. Dennis and
Michael Fisher and
Jeffrey A. Kuo and
Thomas Robinson and
Paul E. Mort},
title = {Autonomous Nuclear Waste Management},
journal = {{IEEE} Intell. Syst.},
volume = {33},
number = {6},
pages = {47--55},
year = {2018},
url = {https://doi.org/10.1109/MIS.2018.111144814},
doi = {10.1109/MIS.2018.111144814},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/expert/AitkenVSGCDFKRM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jossw/Dennis18,
author = {Louise A. Dennis},
title = {The {MCAPL} Framework including the Agent Infrastructure Layer an
Agent Java Pathfinder},
journal = {J. Open Source Softw.},
volume = {3},
number = {24},
pages = {617},
year = {2018},
url = {https://doi.org/10.21105/joss.00617},
doi = {10.21105/JOSS.00617},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jossw/Dennis18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Dennis0W18,
author = {Louise A. Dennis and
Michael Fisher and
Matt Webster},
title = {Two-stage agent program verification},
journal = {J. Log. Comput.},
volume = {28},
number = {3},
pages = {499--523},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv002},
doi = {10.1093/LOGCOM/EXV002},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Dennis0W18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aies/BjorgenMBHHLLDS18,
author = {Edvard P. Bj{\o}rgen and
Simen Madsen and
Therese S. Bj{\o}rknes and
Fredrik V. Heims{\ae}ter and
Robin H{\aa}vik and
Morten Linderud and
Per{-}Niklas Longberg and
Louise A. Dennis and
Marija Slavkovik},
editor = {Jason Furman and
Gary E. Marchant and
Huw Price and
Francesca Rossi},
title = {Cake, Death, and Trolleys: Dilemmas as benchmarks of ethical decision-making},
booktitle = {Proceedings of the 2018 {AAAI/ACM} Conference on AI, Ethics, and Society,
{AIES} 2018, New Orleans, LA, USA, February 02-03, 2018},
pages = {23--29},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3278721.3278767},
doi = {10.1145/3278721.3278767},
timestamp = {Tue, 23 Jan 2024 13:25:45 +0100},
biburl = {https://dblp.org/rec/conf/aies/BjorgenMBHHLLDS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aies/DignumBBCCDGHKL18,
author = {Virginia Dignum and
Matteo Baldoni and
Cristina Baroglio and
Maurizio Caon and
Raja Chatila and
Louise A. Dennis and
Gonzalo G{\'{e}}nova and
Galit Haim and
Malte S. Klie{\ss} and
Maite L{\'{o}}pez{-}S{\'{a}}nchez and
Roberto Micalizio and
Juan Pav{\'{o}}n and
Marija Slavkovik and
Matthijs H. J. Smakman and
Marlies van Steenbergen and
Stefano Tedeschi and
Leon van der Torre and
Serena Villata and
Tristan de Wildt},
editor = {Jason Furman and
Gary E. Marchant and
Huw Price and
Francesca Rossi},
title = {Ethics by Design: Necessity or Curse?},
booktitle = {Proceedings of the 2018 {AAAI/ACM} Conference on AI, Ethics, and Society,
{AIES} 2018, New Orleans, LA, USA, February 02-03, 2018},
pages = {60--66},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3278721.3278745},
doi = {10.1145/3278721.3278745},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aies/DignumBBCCDGHKL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/FerrandoDA0M18,
author = {Angelo Ferrando and
Louise A. Dennis and
Davide Ancona and
Michael Fisher and
Viviana Mascardi},
editor = {Elisabeth Andr{\'{e}} and
Sven Koenig and
Mehdi Dastani and
Gita Sukthankar},
title = {Recognising Assumption Violations in Autonomous Systems Verification},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
2018},
pages = {1933--1935},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
Richland, SC, {USA} / {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3238028},
timestamp = {Sat, 30 Sep 2023 09:34:53 +0200},
biburl = {https://dblp.org/rec/conf/atal/FerrandoDA0M18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emas/WinikoffDF18,
author = {Michael Winikoff and
Louise A. Dennis and
Michael Fisher},
editor = {Danny Weyns and
Viviana Mascardi and
Alessandro Ricci},
title = {Slicing Agent Programs for More Efficient Verification},
booktitle = {Engineering Multi-Agent Systems - 6th International Workshop, {EMAS}
2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11375},
pages = {139--157},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-25693-7\_8},
doi = {10.1007/978-3-030-25693-7\_8},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emas/WinikoffDF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/DennisF18,
author = {Louise A. Dennis and
Michael Fisher},
title = {Practical Challenges in Explicit Ethical Machine Reasoning},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Ethics\_Dennis\_Fischer.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/DennisF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/FisherCDLWJPPDF18,
author = {Michael Fisher and
Emily C. Collins and
Louise A. Dennis and
Matt Luckcuck and
Matt Webster and
Mike Jump and
Vincent Pag{\'{e}} and
Charles Patchett and
Fateme Dinmohammadi and
David Flynn and
Valentin Robu and
Xingyu Zhao},
editor = {Sudipto Ghosh and
Roberto Natella and
Bojan Cukic and
Robin S. Poston and
Nuno Laranjeiro},
title = {Verifiable Self-Certifying Autonomous Systems},
booktitle = {2018 {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Memphis, TN, USA, October 15-18, 2018},
pages = {341--348},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ISSREW.2018.00028},
doi = {10.1109/ISSREW.2018.00028},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/FisherCDLWJPPDF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/FerrandoDA0M18,
author = {Angelo Ferrando and
Louise A. Dennis and
Davide Ancona and
Michael Fisher and
Viviana Mascardi},
editor = {Christian Colombo and
Martin Leucker},
title = {Verifying and Validating Autonomous Systems: Towards an Integrated
Approach},
booktitle = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,
Cyprus, November 10-13, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11237},
pages = {263--281},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03769-7\_15},
doi = {10.1007/978-3-030-03769-7\_15},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/FerrandoDA0M18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-01422,
author = {Louise A. Dennis and
Michael Fisher},
title = {Practical Challenges in Explicit Ethical Machine Reasoning},
journal = {CoRR},
volume = {abs/1801.01422},
year = {2018},
url = {http://arxiv.org/abs/1801.01422},
eprinttype = {arXiv},
eprint = {1801.01422},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-01422.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-00048,
author = {Matt Luckcuck and
Marie Farrell and
Louise A. Dennis and
Clare Dixon and
Michael Fisher},
title = {Formal Specification and Verification of Autonomous Robotic Systems:
{A} Survey},
journal = {CoRR},
volume = {abs/1807.00048},
year = {2018},
url = {http://arxiv.org/abs/1807.00048},
eprinttype = {arXiv},
eprint = {1807.00048},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-00048.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KamaliDMFV17,
author = {Maryam Kamali and
Louise A. Dennis and
Owen McAree and
Michael Fisher and
Sandor M. Veres},
title = {Formal verification of autonomous vehicle platooning},
journal = {Sci. Comput. Program.},
volume = {148},
pages = {88--106},
year = {2017},
url = {https://doi.org/10.1016/j.scico.2017.05.006},
doi = {10.1016/J.SCICO.2017.05.006},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KamaliDMFV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CharisiDFLMSSWY17,
author = {Vicky Charisi and
Louise A. Dennis and
Michael Fisher and
Robert Lieck and
Andreas Matthias and
Marija Slavkovik and
Janina Sombetzki and
Alan F. T. Winfield and
Roman Yampolskiy},
title = {Towards Moral Autonomous Systems},
journal = {CoRR},
volume = {abs/1703.04741},
year = {2017},
url = {http://arxiv.org/abs/1703.04741},
eprinttype = {arXiv},
eprint = {1703.04741},
timestamp = {Tue, 21 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/CharisiDFLMSSWY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/DennisFLLV16,
author = {Louise A. Dennis and
Michael Fisher and
Nicholas Lincoln and
Alexei Lisitsa and
Sandor M. Veres},
title = {Practical verification of decision-making in agent-based autonomous
systems},
journal = {Autom. Softw. Eng.},
volume = {23},
number = {3},
pages = {305--359},
year = {2016},
url = {https://doi.org/10.1007/s10515-014-0168-9},
doi = {10.1007/S10515-014-0168-9},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/DennisFLLV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ras/DennisFSW16,
author = {Louise A. Dennis and
Michael Fisher and
Marija Slavkovik and
Matt Webster},
title = {Formal verification of ethical choices in autonomous systems},
journal = {Robotics Auton. Syst.},
volume = {77},
pages = {1--14},
year = {2016},
url = {https://doi.org/10.1016/j.robot.2015.11.012},
doi = {10.1016/J.ROBOT.2015.11.012},
timestamp = {Tue, 21 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ras/DennisFSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/DennisSF16,
author = {Louise A. Dennis and
Marija Slavkovik and
Michael Fisher},
editor = {Stephen Cranefield and
Samhar Mahmoud and
Julian A. Padget and
Ana Paula Rocha},
title = {"How Did They Know?" - Model-Checking for Analysis of Information
Leakage in Social Networks},
booktitle = {Coordination, Organizations, Institutions, and Norms in Agent Systems
{XII} - {COIN} 2016 International Workshops, COIN@AAMAS, Singapore,
Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August
30, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10315},
pages = {42--59},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-66595-5\_3},
doi = {10.1007/978-3-319-66595-5\_3},
timestamp = {Tue, 21 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/DennisSF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taros/DennisACCKMSAGV16,
author = {Louise A. Dennis and
Jonathan M. Aitken and
Joe Collenette and
Elisa Cucco and
Maryam Kamali and
Owen McAree and
Affan Shaukat and
Katie Atkinson and
Yang Gao and
Sandor M. Veres and
Michael Fisher},
editor = {Lyuba Alboul and
Dana D. Damian and
Jonathan M. Aitken},
title = {Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets
Practice},
booktitle = {Towards Autonomous Robotic Systems - 17th Annual Conference, {TAROS}
2016, Sheffield, UK, June 26 - July 1, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9716},
pages = {75--86},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40379-3\_8},
doi = {10.1007/978-3-319-40379-3\_8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/taros/DennisACCKMSAGV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KamaliDMFV16,
author = {Maryam Kamali and
Louise A. Dennis and
Owen McAree and
Michael Fisher and
Sandor M. Veres},
title = {Formal Verification of Autonomous Vehicle Platooning},
journal = {CoRR},
volume = {abs/1602.01718},
year = {2016},
url = {http://arxiv.org/abs/1602.01718},
eprinttype = {arXiv},
eprint = {1602.01718},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KamaliDMFV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dpd/SlavkovikDF15,
author = {Marija Slavkovik and
Louise A. Dennis and
Michael Fisher},
title = {An abstract formal basis for digital crowds},
journal = {Distributed Parallel Databases},
volume = {33},
number = {1},
pages = {3--31},
year = {2015},
url = {https://doi.org/10.1007/s10619-014-7161-y},
doi = {10.1007/S10619-014-7161-Y},
timestamp = {Tue, 21 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dpd/SlavkovikDF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DennisFW15,
author = {Louise Abigail Dennis and
Michael Fisher and
Alan F. T. Winfield},
editor = {Toby Walsh},
title = {Towards Verifiably Ethical Robot Behaviour},
booktitle = {Artificial Intelligence and Ethics, Papers from the 2015 {AAAI} Workshop,
Austin, Texas, USA, January 25, 2015},
series = {{AAAI} Technical Report},
volume = {{WS-15-02}},
publisher = {{AAAI} Press},
year = {2015},
url = {http://aaai.org/ocs/index.php/WS/AAAIW15/paper/view/10119},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/DennisFW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/RiemsdijkDFH15,
author = {M. Birna van Riemsdijk and
Louise A. Dennis and
Michael Fisher and
Koen V. Hindriks},
editor = {Gerhard Weiss and
Pinar Yolum and
Rafael H. Bordini and
Edith Elkind},
title = {A Semantic Framework for Socially Adaptive Agents: Towards strong
norm compliance},
booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
pages = {423--432},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2772935},
timestamp = {Tue, 08 Mar 2022 10:12:47 +0100},
biburl = {https://dblp.org/rec/conf/atal/RiemsdijkDFH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DennisFW15,
author = {Louise A. Dennis and
Michael Fisher and
Alan F. T. Winfield},
title = {Towards Verifiably Ethical Robot Behaviour},
journal = {CoRR},
volume = {abs/1504.03592},
year = {2015},
url = {http://arxiv.org/abs/1504.03592},
eprinttype = {arXiv},
eprint = {1504.03592},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DennisFW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/DennisFAVGSB14,
author = {Louise A. Dennis and
Michael Fisher and
Jonathan M. Aitken and
Sandor M. Veres and
Yang Gao and
Affan Shaukat and
Guy Burroughes},
title = {Reconfigurable Autonomy},
journal = {K{\"{u}}nstliche Intell.},
volume = {28},
number = {3},
pages = {199--207},
year = {2014},
url = {https://doi.org/10.1007/s13218-014-0308-1},
doi = {10.1007/S13218-014-0308-1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/DennisFAVGSB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/DennisF14,
author = {Louise A. Dennis and
Michael Fisher},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {Actions with Durations and Failures in {BDI} Languages},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {995--996},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-995},
doi = {10.3233/978-1-61499-419-0-995},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/DennisF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SlavkovikDF14,
author = {Marija Slavkovik and
Louise A. Dennis and
Michael Fisher},
title = {An Abstract Formal Basis for Digital Crowds},
journal = {CoRR},
volume = {abs/1408.1592},
year = {2014},
url = {http://arxiv.org/abs/1408.1592},
eprinttype = {arXiv},
eprint = {1408.1592},
timestamp = {Tue, 21 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/SlavkovikDF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/FisherDW13,
author = {Michael Fisher and
Louise A. Dennis and
Matthew P. Webster},
title = {Verifying autonomous systems},
journal = {Commun. {ACM}},
volume = {56},
number = {9},
pages = {84--93},
year = {2013},
url = {https://doi.org/10.1145/2494558},
doi = {10.1145/2494558},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/FisherDW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cim/LincolnVDFL13,
author = {Nick K. Lincoln and
Sandor M. Veres and
Louise A. Dennis and
Michael Fisher and
Alexei Lisitsa},
title = {Autonomous Asteroid Exploration by Rational Agents},
journal = {{IEEE} Comput. Intell. Mag.},
volume = {8},
number = {4},
pages = {25--38},
year = {2013},
url = {https://doi.org/10.1109/MCI.2013.2279559},
doi = {10.1109/MCI.2013.2279559},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cim/LincolnVDFL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/RiemsdijkDFH13,
author = {M. Birna van Riemsdijk and
Louise A. Dennis and
Michael Fisher and
Koen V. Hindriks},
editor = {Maria L. Gini and
Onn Shehory and
Takayuki Ito and
Catholijn M. Jonker},
title = {Agent reasoning for norm compliance: a semantic approach},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
{AAMAS} '13, Saint Paul, MN, USA, May 6-10, 2013},
pages = {499--506},
publisher = {{IFAAMAS}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2485000},
timestamp = {Thu, 09 Sep 2021 16:09:54 +0200},
biburl = {https://dblp.org/rec/conf/atal/RiemsdijkDFH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/DennisFW13,
author = {Louise A. Dennis and
Michael Fisher and
Matthew P. Webster},
editor = {Jo{\~{a}}o Leite and
Tran Cao Son and
Paolo Torroni and
Leon van der Torre and
Stefan Woltran},
title = {Using Agent {JPF} to Build Models for Other Model Checkers},
booktitle = {Computational Logic in Multi-Agent Systems - 14th International Workshop,
{CLIMA} XIV, Corunna, Spain, September 16-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8143},
pages = {273--289},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40624-9\_17},
doi = {10.1007/978-3-642-40624-9\_17},
timestamp = {Fri, 09 Apr 2021 18:38:27 +0200},
biburl = {https://dblp.org/rec/conf/clima/DennisFW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taros/DennisFSW13,
author = {Louise A. Dennis and
Michael Fisher and
Marija Slavkovik and
Matthew P. Webster},
editor = {Ashutosh Natraj and
Stephen Cameron and
Chris Melhuish and
Mark Witkowski},
title = {Ethical Choice in Unforeseen Circumstances},
booktitle = {Towards Autonomous Robotic Systems - 14th Annual Conference, {TAROS}
2013, Oxford, UK, August 28-30, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8069},
pages = {433--445},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-43645-5\_45},
doi = {10.1007/978-3-662-43645-5\_45},
timestamp = {Tue, 21 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/taros/DennisFSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dalt/2012,
editor = {Matteo Baldoni and
Louise A. Dennis and
Viviana Mascardi and
Wamberto Weber Vasconcelos},
title = {Declarative Agent Languages and Technologies {X} - 10th International
Workshop, {DALT} 2012, Valencia, Spain, June 4, 2012, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7784},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37890-4},
doi = {10.1007/978-3-642-37890-4},
isbn = {978-3-642-37889-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DennisFLLV13,
author = {Louise A. Dennis and
Michael Fisher and
Nicholas Lincoln and
Alexei Lisitsa and
Sandor M. Veres},
title = {Practical Verification of Decision-Making in Agent-Based Autonomous
Systems},
journal = {CoRR},
volume = {abs/1310.2431},
year = {2013},
url = {http://arxiv.org/abs/1310.2431},
eprinttype = {arXiv},
eprint = {1310.2431},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DennisFLLV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/DennisFWB12,
author = {Louise A. Dennis and
Michael Fisher and
Matthew P. Webster and
Rafael H. Bordini},
title = {Model checking agent programming languages},
journal = {Autom. Softw. Eng.},
volume = {19},
number = {1},
pages = {5--63},
year = {2012},
url = {https://doi.org/10.1007/s10515-011-0088-x},
doi = {10.1007/S10515-011-0088-X},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ase/DennisFWB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/StockerDDF12,
author = {Richard Stocker and
Louise A. Dennis and
Clare Dixon and
Michael Fisher},
editor = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig and
J{\'{e}}r{\^{o}}me Mengin},
title = {Verifying Brahms Human-Robot Teamwork Models},
booktitle = {Logics in Artificial Intelligence - 13th European Conference, {JELIA}
2012, Toulouse, France, September 26-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7519},
pages = {385--397},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33353-8\_30},
doi = {10.1007/978-3-642-33353-8\_30},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/StockerDDF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/promas/2011,
editor = {Louise A. Dennis and
Olivier Boissier and
Rafael H. Bordini},
title = {Programming Multi-Agent Systems - 9th International Workshop, ProMAS
2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7217},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31915-0},
doi = {10.1007/978-3-642-31915-0},
isbn = {978-3-642-31914-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/promas/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/DennisGS11,
author = {Louise A. Dennis and
Ian Green and
Alan Smaill},
title = {The Use of Embeddings to Provide a Clean Separation of Term and Annotation
for Higher Order Rippling},
journal = {J. Autom. Reason.},
volume = {47},
number = {1},
pages = {57--105},
year = {2011},
url = {https://doi.org/10.1007/s10817-010-9177-y},
doi = {10.1007/S10817-010-9177-Y},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/DennisGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/StockerSDDF11,
author = {Richard Stocker and
Maarten Sierhuis and
Louise A. Dennis and
Clare Dixon and
Michael Fisher},
editor = {Jo{\~{a}}o Leite and
Paolo Torroni and
Thomas {\AA}gotnes and
Guido Boella and
Leon van der Torre},
title = {A Formal Semantics for Brahms},
booktitle = {Computational Logic in Multi-Agent Systems - 12th International Workshop,
{CLIMA} XII, Barcelona, Spain, July 17-18, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6814},
pages = {259--274},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22359-4\_18},
doi = {10.1007/978-3-642-22359-4\_18},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/clima/StockerSDDF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/Dennis11,
author = {Louise A. Dennis},
editor = {Chiaki Sakama and
Sebastian Sardi{\~{n}}a and
Wamberto Weber Vasconcelos and
Michael Winikoff},
title = {Plan Indexing for State-Based Plans},
booktitle = {Declarative Agent Languages and Technologies {IX} - 9th International
Workshop, {DALT} 2011, Taipei, Taiwan, May 3, 2011, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {7169},
pages = {3--15},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29113-5\_2},
doi = {10.1007/978-3-642-29113-5\_2},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/dalt/Dennis11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/DennisFLLV10,
author = {Louise A. Dennis and
Michael Fisher and
Alexei Lisitsa and
Nicholas Lincoln and
Sandor M. Veres},
title = {Satellite Control Using Rational Agent Programming},
journal = {{IEEE} Intell. Syst.},
volume = {25},
number = {3},
pages = {92--97},
year = {2010},
url = {https://doi.org/10.1109/MIS.2010.88},
doi = {10.1109/MIS.2010.88},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/expert/DennisFLLV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alcosp/LincolnVDFL10,
author = {Nicholas Lincoln and
Sandor M. Veres and
Louise A. Dennis and
Michael Fisher and
Alexei Lisitsa},
editor = {Erdal Kayacan},
title = {An agent based framework for adaptive control and decision making
of autonomous vehicles},
booktitle = {10th {IFAC} International Workshop on the Adaptation and Learning
in Control and Signal Processing, {ALCOSP} 2010, Istanbul, Turkey,
August 26-28, 2010},
pages = {310--317},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100826-3-TR-4015.00058},
doi = {10.3182/20100826-3-TR-4015.00058},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alcosp/LincolnVDFL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/DennisFLLV10,
author = {Louise A. Dennis and
Michael Fisher and
Nicholas Lincoln and
Alexei Lisitsa and
Sandor M. Veres},
editor = {Andrea Omicini and
Sebastian Sardi{\~{n}}a and
Wamberto Weber Vasconcelos},
title = {Declarative Abstractions for Agent Based Hybrid Control Systems},
booktitle = {Declarative Agent Languages and Technologies {VIII} - 8th International
Workshop, {DALT} 2010, Toronto, Canada, May 10, 2010, Revised, Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {6619},
pages = {96--111},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-20715-0\_6},
doi = {10.1007/978-3-642-20715-0\_6},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/DennisFLLV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/ArapinisCDFGKMRRSUY09,
author = {Myrto Arapinis and
Muffy Calder and
Louise A. Dennis and
Michael Fisher and
Philip D. Gray and
Savas Konur and
Alice Miller and
Eike Ritter and
Mark Ryan and
Sven Schewe and
Chris Unsworth and
Rehana Yasmin},
title = {Towards the Verification of Pervasive Systems},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {22},
year = {2009},
url = {https://doi.org/10.14279/tuj.eceasst.22.315},
doi = {10.14279/TUJ.ECEASST.22.315},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/ArapinisCDFGKMRRSUY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/DennisTM09,
author = {Louise A. Dennis and
Nick A. M. Tinnemeier and
John{-}Jules Ch. Meyer},
editor = {J{\"{u}}rgen Dix and
Michael Fisher and
Peter Nov{\'{a}}k},
title = {Model Checking Normative Agent Organisations},
booktitle = {Computational Logic in Multi-Agent Systems - 10th International Workshop,
{CLIMA} X, Hamburg, Germany, September 9-10, 2009, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {6214},
pages = {64--82},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-16867-3\_4},
doi = {10.1007/978-3-642-16867-3\_4},
timestamp = {Fri, 25 Dec 2020 01:14:19 +0100},
biburl = {https://dblp.org/rec/conf/clima/DennisTM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1003-0617,
author = {Louise A. Dennis and
Michael Fisher and
Nicholas Lincoln and
Alexei Lisitsa and
Sandor M. Veres},
editor = {Manuela{-}Luminita Bujorianu and
Michael Fisher},
title = {Agent Based Approaches to Engineering Autonomous Space Software},
booktitle = {Proceedings {FM-09} Workshop on Formal Methods for Aerospace, {FMA}
2009, Eindhoven, The Netherlands, 3rd November 2009},
series = {{EPTCS}},
volume = {20},
pages = {63--67},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.20.6},
doi = {10.4204/EPTCS.20.6},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1003-0617.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/DennisFBF08,
author = {Louise A. Dennis and
Berndt Farwer and
Rafael H. Bordini and
Michael Fisher},
editor = {Lin Padgham and
David C. Parkes and
J{\"{o}}rg P. M{\"{u}}ller and
Simon Parsons},
title = {A flexible framework for verifying agent programs},
booktitle = {7th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2008), Estoril, Portugal, May 12-16, 2008, Volume
3},
pages = {1303--1306},
publisher = {{IFAAMAS}},
year = {2008},
url = {https://dl.acm.org/citation.cfm?id=1402857},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/DennisFBF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BordiniDFF08,
author = {Rafael H. Bordini and
Louise A. Dennis and
Berndt Farwer and
Michael Fisher},
title = {Automated Verification of Multi-Agent Programs},
booktitle = {23rd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2008), 15-19 September 2008, L'Aquila, Italy},
pages = {69--78},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ASE.2008.17},
doi = {10.1109/ASE.2008.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BordiniDFF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/promas/DennisF08,
author = {Louise A. Dennis and
Michael Fisher},
editor = {Koen V. Hindriks and
Alexander Pokahr and
Sebastian Sardi{\~{n}}a},
title = {Programming Verifiable Heterogeneous Agent Systems},
booktitle = {Programming Multi-Agent Systems, 6th International Workshop, ProMAS
2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5442},
pages = {40--55},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03278-3\_3},
doi = {10.1007/978-3-642-03278-3\_3},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/promas/DennisF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/DennisFH07,
author = {Louise A. Dennis and
Michael Fisher and
Anthony Hepple},
editor = {Fariba Sadri and
Ken Satoh},
title = {Language Constructs for Multi-agent Programming},
booktitle = {Computational Logic in Multi-Agent Systems, 8th International Workshop,
{CLIMA} VIII, Porto, Portugal, September 10-11, 2007. Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5056},
pages = {137--156},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-88833-8\_8},
doi = {10.1007/978-3-540-88833-8\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/DennisFH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lads/HeppleDF07,
author = {Anthony Hepple and
Louise A. Dennis and
Michael Fisher},
editor = {Mehdi Dastani and
Amal El Fallah Seghrouchni and
Jo{\~{a}}o Leite and
Paolo Torroni},
title = {A Common Basis for Agent Organisation in {BDI} Languages},
booktitle = {Languages, Methodologies and Development Tools for Multi-Agent Systems,
First International Workshop, {LADS} 2007, Durham, UK, September 4-6,
2007. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5118},
pages = {71--88},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-85058-8\_5},
doi = {10.1007/978-3-540-85058-8\_5},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lads/HeppleDF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/promas/DennisFBFW07,
author = {Louise A. Dennis and
Berndt Farwer and
Rafael H. Bordini and
Michael Fisher and
Michael J. Wooldridge},
editor = {Mehdi Dastani and
Amal El Fallah Seghrouchni and
Alessandro Ricci and
Michael Winikoff},
title = {A Common Semantic Basis for {BDI} Languages},
booktitle = {Programming Multi-Agent Systems, 5th International Workshop, ProMAS
2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4908},
pages = {124--139},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79043-3\_8},
doi = {10.1007/978-3-540-79043-3\_8},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/promas/DennisFBFW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Dennis07,
author = {Louise A. Dennis},
editor = {Serge Autexier and
Christoph Benzm{\"{u}}ller},
title = {Enhancing Theorem Prover Interfaces with Program Slice Information},
booktitle = {Proceedings of the 7th Workshop on User Interfaces for Theorem Provers,
UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {2},
pages = {19--33},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.019},
doi = {10.1016/J.ENTCS.2006.09.019},
timestamp = {Fri, 27 Jan 2023 11:44:48 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Dennis07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Dennis05,
author = {Louise A. Dennis},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {An Architecture for Proof Planning Systems},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {1558--1559},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/post-0024.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Dennis05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DennisJP06,
author = {Louise A. Dennis and
Mateja Jamnik and
Martin Pollet},
editor = {Jacques Carette and
William M. Farmer},
title = {On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and
IsaPlanner},
booktitle = {Proceedings of the 12th Symposium on the Integration of Symbolic Computation
and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK,
July 18-19, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {151},
number = {1},
pages = {93--110},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.025},
doi = {10.1016/J.ENTCS.2005.11.025},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DennisJP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DennisCNBSM03,
author = {Louise A. Dennis and
Graham Collins and
Michael Norrish and
Richard J. Boulton and
Konrad Slind and
Thomas F. Melham},
title = {The {PROSPER} toolkit},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {4},
number = {2},
pages = {189--210},
year = {2003},
url = {https://doi.org/10.1007/s100090200076},
doi = {10.1007/S100090200076},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DennisCNBSM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/ZimmerD02,
author = {J{\"{u}}rgen Zimmer and
Louise A. Dennis},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Inductive Theorem Proving and Computer Algebra in the MathWeb Software
Bus},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {319--331},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_28},
doi = {10.1007/3-540-45470-5\_28},
timestamp = {Sun, 02 Jun 2019 21:23:47 +0200},
biburl = {https://dblp.org/rec/conf/aisc/ZimmerD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/ColtonD02,
author = {Simon Colton and
Louise A. Dennis},
title = {The NumbersWithNames Program},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
year = {2002},
url = {http://rutcor.rutgers.edu/\%7Eamai/aimath02/PAPERS/5.ps},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/ColtonD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/DennisB02,
author = {Louise A. Dennis and
Alan Bundy},
editor = {Victor Carre{\~{n}}o and
C{\'{e}}sar A. Mu{\~{n}}oz and
Sofi{\`{e}}ne Tahar},
title = {A Comparison of Two Proof Critics: Power vs. Robustness},
booktitle = {Theorem Proving in Higher Order Logics, 15th International Conference,
TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2410},
pages = {182--197},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45685-6\_13},
doi = {10.1007/3-540-45685-6\_13},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/DennisB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/DennisS01,
author = {Louise A. Dennis and
Alan Smaill},
editor = {Richard J. Boulton and
Paul B. Jackson},
title = {Ordinal Arithmetic: {A} Case Study for Rippling in a Higher Order
Domain},
booktitle = {Theorem Proving in Higher Order Logics, 14th International Conference,
TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2152},
pages = {185--200},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44755-5\_14},
doi = {10.1007/3-540-44755-5\_14},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/DennisS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/DennisBG00,
author = {Louise A. Dennis and
Alan Bundy and
Ian Green},
title = {Making a productive use of failure to generate witnesses for coinduction
from divergent proof attempts},
journal = {Ann. Math. Artif. Intell.},
volume = {29},
number = {1-4},
pages = {99--138},
year = {2000},
url = {https://doi.org/10.1023/A:1018940332714},
doi = {10.1023/A:1018940332714},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/DennisBG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CollinsD00,
author = {Graham Collins and
Louise A. Dennis},
editor = {David A. McAllester},
title = {System Description: Embedding Verification into Microsoft Excel},
booktitle = {Automated Deduction - CADE-17, 17th International Conference on Automated
Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1831},
pages = {497--501},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10721959\_40},
doi = {10.1007/10721959\_40},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/CollinsD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DennisCNBSRGM00,
author = {Louise A. Dennis and
Graham Collins and
Michael Norrish and
Richard J. Boulton and
Konrad Slind and
Graham Robinson and
Michael J. C. Gordon and
Thomas F. Melham},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {The {PROSPER} Toolkit},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {78--92},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_7},
doi = {10.1007/3-540-46419-0\_7},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DennisCNBSRGM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Dennis98,
author = {Louise A. Dennis},
title = {Proof planning coinduction},
school = {University of Edinburgh, {UK}},
year = {1998},
url = {https://hdl.handle.net/1842/534},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Dennis98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/DennisBG97,
author = {Louise A. Dennis and
Alan Bundy and
Ian Green},
editor = {William McCune},
title = {Using {A} Generalisation Critic to Find Bisimulations for Coinductive
Proofs},
booktitle = {Automated Deduction - CADE-14, 14th International Conference on Automated
Deduction, Townsville, North Queensland, Australia, July 13-17, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1249},
pages = {276--290},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63104-6\_29},
doi = {10.1007/3-540-63104-6\_29},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/DennisBG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 01:43 CEST 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:
