The School of Natural and Computing Sciences

Publications

In this section
Publications
Currently viewing:
Filter by Publication Type

Page 1 of 17 Results 1 to 10 of 164

  • A Dual-System Neuro-Symbolic Framework with Accident Prediction for Autonomous Driving

    Wang, J., Amado, L., Cardoso, R. C.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

  • A Graphical Interface for Visualising and Debugging MASPY Agents

    Neres, G., Mellado, A. L. L., Cardoso, R. C., Borges, A. P., Alves, G. V.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

  • Neuro-Symbolic Pump Scheduling for Safe and Cost-efficient Water Distribution Networks

    Islam, M., Yao, F., Zhao, W., Cardoso, R. C., Xu, M.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

  • Towards Collaborative BDI Agents for Human-AI Teamwork

    Radeva, M., Cardoso, R. C.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

  • MASPY: A Python Framework for Developing BDI Agents with Reinforcement Learning

    Mellado, A. L. L., Neres, G., Borges, A. P., Cardoso, R. C., Alves, G. V.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
    Digital Object Identifier
    https://doi.org/10.65109/YIGW5980

  • Towards AI-Sympathy Using Agents

    Rodriguez, S., Logan, B., Thangarajah, J.
    Contributions to Conferences

  • Open-World Verification: A Grand Challenge for Autonomous System

    Leahy, K., Asgari, H., Dennis, L. A., Feather, M. S., Fisher, M., Ibanez-Guzman, J., Logan, B., I. Olszewska, J., Redfield, S.
    Proceedings of the IEEE
    Contributions to Journals: Articles
Show 10 | 25 | 50 | 100 results per page