المؤلفون: Alan F. T. Winfield, Serena Booth, Louise A. Dennis, Takashi Egawa, Helen Hastie, Naomi Jacobs, Roderick I. Muttram, Joanna I. Olszewska, Fahimeh Rajabiyazdi, Andreas Theodorou, Mark A. Underwood, Robert H. Wortham, Eleanor Watson

المصدر: Frontiers in Robotics and AI, Vol 8 (2021)

مصطلحات موضوعية: transparency, explainability, autonomous systems, robot ethics, AI ethics, Mechanical engineering and machinery, TJ1-1570, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://www.frontiersin.org/articles/10.3389/frobt.2021.665729/full; https://doaj.org/toc/2296-9144

URL الوصول: https://doaj.org/article/e18c204ddd0d48efaa68e515dc3e0eae

المؤلفون: Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Page, Fabio Papacchini, Matt Webster

المصدر: Robotics, Vol 10, Iss 2, p 67 (2021)

مصطلحات موضوعية: robotic inspection, software architectures, formal verification, testing, Mechanical engineering and machinery, TJ1-1570

وصف الملف: electronic resource

Relation: https://www.mdpi.com/2218-6581/10/2/67; https://doaj.org/toc/2218-6581

URL الوصول: https://doaj.org/article/95be0aa4cc9b4f2f94e8356227eb4c54

المؤلفون: Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 20, Iss Proc. FMA 2009, Pp 63-67 (2010)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1003.0617v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/c3917af39cc048c2a86672f32d29dfd9

المؤلفون: Louise A. Dennis, Michael Fisher

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::51d6e5ecf04ce902aa78eb3d19a1a3f1
https://doi.org/10.1017/9781108755023

المؤلفون: Louise A. Dennis

المصدر: AI Matters. 8:4-10

مصطلحات موضوعية: General Medicine

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::88550176c33e825aeca6cf615a551abb
https://doi.org/10.1145/3557785.3557787

المؤلفون: Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Mehrnoosh Askarpour, Louise A. Dennis

المصدر: Electronic Proceedings in Theoretical Computer Science. 362

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2bc67a51d3214f1e4871b29850a8f08c
https://doi.org/10.4204/eptcs.362.0

المؤلفون: Davide Ancona, Michael Fisher, Louise A. Dennis, Viviana Mascardi, Rafael C. Cardoso, Angelo Ferrando

المصدر: ACM Transactions on Software Engineering and Methodology. 30:1-43

مصطلحات موضوعية: Model checking, Domain-specific language, Computer science, business.industry, Runtime verification, Autonomous cruise control system, 020207 software engineering, 02 engineering and technology, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Software engineering, business, Formal verification, Software, TRACE (psycholinguistics), Abstraction (linguistics), Verification and validation

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::777dbb1c6048fa70d52ffbbcdbabd4ae
https://doi.org/10.1145/3447246

المؤلفون: Louise A. Dennis

المصدر: AI Matters. 7:5-7

مصطلحات موضوعية: General Medicine, GeneralLiterature_REFERENCE(e.g.,dictionaries,encyclopedias,glossaries)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::f33955680c62713688f81a32b1cb8014
https://doi.org/10.1145/3516418.3516421

المؤلفون: Louise A Dennis, Yu Fu, Marija Slavkovik

المصدر: Journal of Logic and Computation
Dennis, L A, Fu, Y & Slavkovik, M 2022, ' Markov Chain Model Representation of Information Diffusion in Social Networks ', Journal of Logic and Computation . https://doi.org/10.1093/logcom/exac018

مصطلحات موضوعية: Arts and Humanities (miscellaneous), Logic, Hardware and Architecture, Software, Theoretical Computer Science

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9fa1cc8d29049d45c0ae7569f7818b8f
https://hdl.handle.net/11250/3060873

المؤلفون: Rafael C. Cardoso, Louise A. Dennis, Peter Stringer, Xiaowei Huang

المصدر: AREA@ECAI
EPTCS 319, 2020, pp. 117-125
University of Manchester-PURE
Stringer, P, Cardoso, R, Huang, X & Dennis, L 2020, ' Adaptable and Verifiable BDI Reasoning ', Paper presented at Agents and Robots for reliable Engineered Autonomy, Online, 4/09/20-4/09/20 pp. 117-125 .

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer science, media_common.quotation_subject, Autonomous agent, 020207 software engineering, 02 engineering and technology, ComputingMethodologies_ARTIFICIALINTELLIGENCE, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), Action (philosophy), Human–computer interaction, 0202 electrical engineering, electronic engineering, information engineering, Systems architecture, Position paper, Computer Science - Multiagent Systems, 020201 artificial intelligence & image processing, Verifiable secret sharing, Autonomy, Multiagent Systems (cs.MA), media_common

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6de7469029583da7776e3266c01718f3
https://doi.org/10.4204/eptcs.319.9