Publications | The School of Natural and Computing Sciences

Probabilistic Strategy Logic with Degrees of Observability

2025

Mu, C., Motamed, N., Alechina, N., Logan, B.

Contributions to Journals: Conference Articles

Digital Object Identifier: https://doi.org/10.1609/aaai.v39i14.33655
Open Access: http://aura.abdn.ac.uk/bitstreams/04d9740e-e77e-4ae0-8eac-22c4d1f00fb7/download

Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems

2025

Mu, C., Najib, M., Oren, N.

Contributions to Journals: Conference Articles

Digital Object Identifier: https://doi.org/10.1609/aaai.v39i22.34492
Open Access: http://aura.abdn.ac.uk/bitstreams/f073fbff-d670-45d0-8f0c-8e06050015c6/download
Additional Links: https://aaai.org/aaai-publications/aaai-conference-proceedings/

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models

2025

Gladyshev, M., Alechina, N., Dastani, M., Doder, D., Logan, B.

Contributions to Journals: Conference Articles

Digital Object Identifier: https://doi.org/10.1609/aaai.v39i14.33639
Open Access: http://aura.abdn.ac.uk/bitstreams/1520e548-d47a-4e6f-8b7f-852f78bf07db/download
Additional Links: View publication in Scopus

Automated Planning for Optimal Data Pipeline Instantiation

2025

Amado, L. R., Vogel, A., Griebler, D., Licks, G. P., Simon, E., Meneguzzi, F.

Working Papers and Discussion Papers

Digital Object Identifier: https://doi.org/10.48550/arXiv.2503.12626
Open Access: http://aura.abdn.ac.uk/bitstreams/654a9ed6-43a7-4f81-b612-33cc91dea4da/download

Landmark Generation in HTN Planning, Revisited

2025 - Accepted/In press

Meneguzzi, F.

Contributions to Conferences: Papers

Intention Recognition in Real-Time Interactive Navigation Maps

2025

Zhao, P., Arefin, Z., Meneguzzi, F., Pereira, R. F.

Working Papers and Discussion Papers

Digital Object Identifier: https://doi.org/10.48550/arXiv.2502.17581
Open Access: http://aura.abdn.ac.uk/bitstreams/e650dd39-3329-41bb-aa7a-97c00c8e6dc7/download

Towards partial monitoring: Never too early to give in

2025

Ferrando, A., Cardoso, R. C.

Science of Computer Programming, vol. 240, 103220

Contributions to Journals: Articles

Digital Object Identifier: https://doi.org/10.1016/j.scico.2024.103220
Open Access: http://aura.abdn.ac.uk/bitstreams/86e0af6b-7ff4-447f-a1b7-6d110ce75c04/download
Additional Links: View publication in Scopus

Landmark Generation in HTN Planning Revisited

2025

Putrich, V. S., Meneguzzi, F., Pereira, A. G.

Contributions to Conferences

Digital Object Identifier: https://doi.org/10.1609/icaps.v35i1.36123
Additional Links: View publication in Scopus

Preface

2025

Ferrando, A., Cardoso, R. C.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier: https://doi.org/10.1007/978-3-031-73180-8
Additional Links: View publication in Scopus

Embedding AI-Enabled Data Infrastructures for Sustainability in Agri-Food: Soft-Fruit and Brewery Use Case Perspectives

2024

Markovic, M., Li, A. H., Ayall, T. A., Watson, N. J., Bowler, A. L., Woods, M., Edwards, P., Ramsey, R., Beddows, M. A., Kuhnert, M., Leontidis, G.

Sensors, vol. 24, no. 2024, 7327

Contributions to Journals: Articles

Digital Object Identifier: https://doi.org/10.3390/s24227327
Open Access: http://aura.abdn.ac.uk/bitstreams/56c28a6a-f00e-40ac-bba6-09604d02fea9/download