Research output per year
Research output per year
Fingerprint
Dive into the research topics where Andrew Ireland is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A Theory Repair Based Traffic Regulations Generalisation for Autonomous Vehicles
Lu, Y., Li, X., Yu, Z., Lin, Y., Schafer, B., Bundy, A., Ireland, A. & Lin, Z., 1 Jul 2025, (Accepted/In press) Artificial Intelligence Logic and Applications: The 5th International Conference, AILA 2025, Xi'an, China, August 16–17, 2025, Proceedings. Springer, 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
A Legal System to Modify Autonomous Vehicle Designs in Transnational Contexts
Lu, Y., Yu, Z., Lin, Y., Schafer, B., Ireland, A. & Urquhart, L., 11 Dec 2023, Legal Knowledge and Information Systems. Sileno, G., Spanakis, J. & van Dijck, G. (eds.). IOS Press, p. 347-352 6 p. (Frontiers in Artificial Intelligence and Applications; vol. 379).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile1 Citation (Scopus)70 Downloads (Pure) -
Anticipating Accidents through Reasoned Simulation
Innes, C., Ireland, A., Lin, Y. & Ramamoorthy, S., 11 Jul 2023, TAS '23: Proceedings of the First International Symposium on Trustworthy Autonomous Systems. Association for Computing Machinery, 4Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile2 Citations (Scopus)46 Downloads (Pure) -
An Argumentation and Ontology Based Legal Support System for AI Vehicle Design
Lu, Y., Yu, Z., Lin, Y., Schafer, B., Ireland, A. & Urquhart, L., 5 Dec 2022, Legal Knowledge and Information Systems. Francesconi, E., Borges, G. & Sorge, C. (eds.). IOS Press, p. 213-218 6 p. (Frontiers in Artificial Intelligence and Applications; vol. 362).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile7 Citations (Scopus)161 Downloads (Pure) -
The Use of Automated Theory Formation in Support of Hazard Analysis
Ireland, A., Llano, M. T. & Colton, S., 11 Mar 2018, NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. Dutle, A., Munoz, C. & Narkawicz, A. (eds.). Springer, p. 237-243 7 p. (Lecture Notes in Computer Science; vol. 10811).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile1 Citation (Scopus)90 Downloads (Pure)