Search
The School of Natural and Computing Sciences

Publications

In this section
Publications
Currently viewing:
Filter by Publication Type

Page 1 of 16 Results 1 to 10 of 157

  • 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

  • Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning

    Varricchione, G., Alechina, N., Dastani, M., Logan, B.

    Journal of Artificial Intelligence Research

    Contributions to Journals: Articles

  • A Multi-Robot Architecture for Continuous Planning and Execution using BDI Agents

    Silva, C. J., Ralha, C. G., Santos, R. M., Cardoso, R. C.

    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

  • An ML-BDI Reasoner to Support Crime Investigation in Digital Forensics

    Dall'Agnol Deconto, G., dos Santos Teixeira, L., Castagna Lunardi, R., Cardoso, R. C., Meneguzzi, F., Zorzo, A. F.

    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

  • Bases for Weighted Gradual Semantics and Inverse Problems in Argumentation Theory

    Libman, A., Oren, N., Yun, B.

    Journal of Artificial Intelligence Research

    Contributions to Journals: Articles

Show 10 | 25 | 50 | 100 results per page