No Cover Image

Journal article 144 views 14 downloads

Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous Vehicles

Galileo Sartor, Adam Wyner Orcid Logo, Giuseppe Contissa

Electronic Proceedings in Theoretical Computer Science, Volume: 416, Pages: 111 - 124

Swansea University Author: Adam Wyner Orcid Logo

  • MindTheGaps2024.pdf

    PDF | Version of Record

    ©Sartor, Wyner, and Contissa. This work is licensed under the Creative Commons Attribution License.

    Download (6.8MB)

Check full text

DOI (Published version): 10.4204/eptcs.416.9

Published in: Electronic Proceedings in Theoretical Computer Science
ISSN: 2075-2180
Published: Open Publishing Association 2025
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa70980
first_indexed 2025-11-24T14:42:11Z
last_indexed 2026-01-16T05:32:52Z
id cronfa70980
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2026-01-15T13:15:13.2187058</datestamp><bib-version>v2</bib-version><id>70980</id><entry>2025-11-24</entry><title>Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous Vehicles</title><swanseaauthors><author><sid>51fa34a3136b8e81fc273fce73e88099</sid><ORCID>0000-0002-2958-3428</ORCID><firstname>Adam</firstname><surname>Wyner</surname><name>Adam Wyner</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2025-11-24</date><deptcode>MACS</deptcode><abstract/><type>Journal Article</type><journal>Electronic Proceedings in Theoretical Computer Science</journal><volume>416</volume><journalNumber/><paginationStart>111</paginationStart><paginationEnd>124</paginationEnd><publisher>Open Publishing Association</publisher><placeOfPublication/><isbnPrint/><isbnElectronic/><issnPrint/><issnElectronic>2075-2180</issnElectronic><keywords/><publishedDay>13</publishedDay><publishedMonth>2</publishedMonth><publishedYear>2025</publishedYear><publishedDate>2025-02-13</publishedDate><doi>10.4204/eptcs.416.9</doi><url>https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?ICLP2024</url><notes/><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm/><funders/><projectreference/><lastEdited>2026-01-15T13:15:13.2187058</lastEdited><Created>2025-11-24T14:39:56.5844107</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Galileo</firstname><surname>Sartor</surname><order>1</order></author><author><firstname>Adam</firstname><surname>Wyner</surname><orcid>0000-0002-2958-3428</orcid><order>2</order></author><author><firstname>Giuseppe</firstname><surname>Contissa</surname><order>3</order></author></authors><documents><document><filename>70980__35695__fb4f6ebbcc0a4f4693cd849606172a3a.pdf</filename><originalFilename>MindTheGaps2024.pdf</originalFilename><uploaded>2025-11-24T14:41:39.8484610</uploaded><type>Output</type><contentLength>7135009</contentLength><contentType>application/pdf</contentType><version>Version of Record</version><cronfaStatus>true</cronfaStatus><documentNotes>&#xA9;Sartor, Wyner, and Contissa. This work is licensed under the Creative Commons Attribution License.</documentNotes><copyrightCorrect>true</copyrightCorrect><language>eng</language><licence>https://creativecommons.org/licenses/by/4.0/deed.en</licence></document></documents><OutputDurs/></rfc1807>
spelling 2026-01-15T13:15:13.2187058 v2 70980 2025-11-24 Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous Vehicles 51fa34a3136b8e81fc273fce73e88099 0000-0002-2958-3428 Adam Wyner Adam Wyner true false 2025-11-24 MACS Journal Article Electronic Proceedings in Theoretical Computer Science 416 111 124 Open Publishing Association 2075-2180 13 2 2025 2025-02-13 10.4204/eptcs.416.9 https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?ICLP2024 COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University 2026-01-15T13:15:13.2187058 2025-11-24T14:39:56.5844107 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Galileo Sartor 1 Adam Wyner 0000-0002-2958-3428 2 Giuseppe Contissa 3 70980__35695__fb4f6ebbcc0a4f4693cd849606172a3a.pdf MindTheGaps2024.pdf 2025-11-24T14:41:39.8484610 Output 7135009 application/pdf Version of Record true ©Sartor, Wyner, and Contissa. This work is licensed under the Creative Commons Attribution License. true eng https://creativecommons.org/licenses/by/4.0/deed.en
title Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous Vehicles
spellingShingle Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous Vehicles
Adam Wyner
title_short Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous Vehicles
title_full Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous Vehicles
title_fullStr Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous Vehicles
title_full_unstemmed Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous Vehicles
title_sort Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous Vehicles
author_id_str_mv 51fa34a3136b8e81fc273fce73e88099
author_id_fullname_str_mv 51fa34a3136b8e81fc273fce73e88099_***_Adam Wyner
author Adam Wyner
author2 Galileo Sartor
Adam Wyner
Giuseppe Contissa
format Journal article
container_title Electronic Proceedings in Theoretical Computer Science
container_volume 416
container_start_page 111
publishDate 2025
institution Swansea University
issn 2075-2180
doi_str_mv 10.4204/eptcs.416.9
publisher Open Publishing Association
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
url https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?ICLP2024
document_store_str 1
active_str 0
published_date 2025-02-13T05:34:07Z
_version_ 1856987041716240384
score 11.096172

Similar Items