Dr Mengwei Xu

  • Research Associate (School of Computing Science)

Publications

List by: Type | Date

Jump to: 2022 | 2021 | 2019 | 2018
Number of items: 7.

2022

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2022) Verifying BDI Agents in Dynamic Environments. In: 34th International Conference on Software Engineering & Knowledge Engineering, Pittsburgh, USA, 01-10 Jul 2022, (Accepted for Publication)

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2022) Modelling and verifying BDI agents with bigraphs. Science of Computer Programming, 215, 102760. (doi: 10.1016/j.scico.2021.102760)

2021

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2021) Probabilistic BDI Agents: Actions, Plans, and Intentions. In: SEFM 2021, 6-10 Dec 2021, pp. 262-281. ISBN 9783030921231 (doi: 10.1007/978-3-030-92124-8_15)

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2021) Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming. In: Third Workshop on Formal Methods for Autonomous Systems (FMAS 2021), 21-22 Oct 2021, pp. 167-175. (doi: 10.4204/EPTCS.348.12)

2019

Xu, M. , McAreavey, K., Bauters, K. and Liu, W. (2019) Intention Interleaving Via Classical Replanning. In: 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI), Portland, OR, USA, 04-06 Nov 2019, pp. 85-92. ISBN 9781728137988 (doi: 10.1109/ICTAI.2019.00021)

2018

Xu, M. , Bauters, K., McAreavey, K. and Liu, W. (2018) A Framework for Plan Library Evolution in BDI Agent Systems. In: 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI), Volos, Greece, 05-07 Nov 2018, pp. 414-421. ISBN 9781538674499 (doi: 10.1109/ICTAI.2018.00071)

Xu, M. , Bauters, K., McAreavey, K. and Liu, W. (2018) A formal approach to embedding first-principles planning in BDI agent systems. In: Ciucci, D., Pasi, G. and Vantaggi, B. (eds.) Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings. Series: Lecture notes in computer science (11142). Springer: Cham, pp. 333-347. ISBN 9783030004606 (doi: 10.1007/978-3-030-00461-3_23)

This list was generated on Tue Jun 28 20:04:15 2022 BST.
Number of items: 7.

Articles

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2022) Modelling and verifying BDI agents with bigraphs. Science of Computer Programming, 215, 102760. (doi: 10.1016/j.scico.2021.102760)

Book Sections

Xu, M. , Bauters, K., McAreavey, K. and Liu, W. (2018) A formal approach to embedding first-principles planning in BDI agent systems. In: Ciucci, D., Pasi, G. and Vantaggi, B. (eds.) Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings. Series: Lecture notes in computer science (11142). Springer: Cham, pp. 333-347. ISBN 9783030004606 (doi: 10.1007/978-3-030-00461-3_23)

Conference Proceedings

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2022) Verifying BDI Agents in Dynamic Environments. In: 34th International Conference on Software Engineering & Knowledge Engineering, Pittsburgh, USA, 01-10 Jul 2022, (Accepted for Publication)

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2021) Probabilistic BDI Agents: Actions, Plans, and Intentions. In: SEFM 2021, 6-10 Dec 2021, pp. 262-281. ISBN 9783030921231 (doi: 10.1007/978-3-030-92124-8_15)

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2021) Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming. In: Third Workshop on Formal Methods for Autonomous Systems (FMAS 2021), 21-22 Oct 2021, pp. 167-175. (doi: 10.4204/EPTCS.348.12)

Xu, M. , McAreavey, K., Bauters, K. and Liu, W. (2019) Intention Interleaving Via Classical Replanning. In: 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI), Portland, OR, USA, 04-06 Nov 2019, pp. 85-92. ISBN 9781728137988 (doi: 10.1109/ICTAI.2019.00021)

Xu, M. , Bauters, K., McAreavey, K. and Liu, W. (2018) A Framework for Plan Library Evolution in BDI Agent Systems. In: 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI), Volos, Greece, 05-07 Nov 2018, pp. 414-421. ISBN 9781538674499 (doi: 10.1109/ICTAI.2018.00071)

This list was generated on Tue Jun 28 20:04:15 2022 BST.