No Cover Image

Book chapter 80 views

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

Full text not available from this repository: check for access using links below.

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
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa70980
first_indexed 2025-11-24T14:42:11Z
last_indexed 2025-11-25T05:27:32Z
id cronfa70980
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2025-11-24T14:42:28.9602499</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>Book chapter</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>0</publishedDay><publishedMonth>0</publishedMonth><publishedYear>0</publishedYear><publishedDate>0001-01-01</publishedDate><doi>10.4204/eptcs.416.9</doi><url>https://doi.org/10.4204/eptcs.416.9</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>2025-11-24T14:42:28.9602499</lastEdited><Created>2025-11-24T14:39:56.5844107</Created><path><level id="1"/><level id="2"/></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/><OutputDurs/></rfc1807>
spelling 2025-11-24T14:42:28.9602499 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 Book chapter Electronic Proceedings in Theoretical Computer Science 416 111 124 Open Publishing Association 2075-2180 0 0 0 0001-01-01 10.4204/eptcs.416.9 https://doi.org/10.4204/eptcs.416.9 COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University 2025-11-24T14:42:28.9602499 2025-11-24T14:39:56.5844107 Galileo Sartor 1 Adam Wyner 0000-0002-2958-3428 2 Giuseppe Contissa 3
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 Book chapter
container_title Electronic Proceedings in Theoretical Computer Science
container_volume 416
container_start_page 111
institution Swansea University
issn 2075-2180
doi_str_mv 10.4204/eptcs.416.9
publisher Open Publishing Association
url https://doi.org/10.4204/eptcs.416.9
document_store_str 0
active_str 0
published_date 0001-01-01T05:27:18Z
_version_ 1851460197343559680
score 11.089572

Similar Items