51cg

The School of Natural and Computing Sciences

Publications

In this section
Publications
Currently viewing:
Filter by Publication Type

Page 1 of 4 Results 1 to 50 of 176

  • A Compositional Approach to Verifying Modular Robotic Systems

    Luckcuck, M., Farrell, M., Ferrando, A., Cardoso, R. C., Dennis, L. A., Fisher, M.
    Robotics and autonomous systems, vol. 205, 105648
    Contributions to Journals: Articles
    Digital Object Identifier
    Open Access

  • A multimodal dataset for environmental occupancy detection

    Deconto, G. D., Zorzo, A. F., Lunardi, R. C., Cardoso, R. C., Teixeira, L. d. S.
    Data in brief, vol. 67, 112948
    Contributions to Journals: Articles
    Digital Object Identifier
    Open Access

  • GasSentry: A Multi-Agent LLM Framework for Smart Contract Security Vulnerability Remediation and Gas Optimisation

    Abubakar, M., Castagna Lunardi, R., Cardoso, R. C.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

  • Multi-Agent Goal Recognition with Team- and Goal-Conditioned Reinforcement Learning and Factorized Branch-and-Bound

    Thomas, T., Ramos, G. d. O., Meneguzzi, F.
    Working Papers and Discussion Papers
    Open Access

  • A BDI Task-oriented Agent in Belief Space

    Ichida, A. Y., Meneguzzi, F.
    ACM Transactions on Autonomous and Adaptive Systems, vol. 21, no. 2, 17
    Contributions to Journals: Articles
    Digital Object Identifier
    Open Access
    Additional Links

  • RAGe: A Retrieval-Augmented Generation Evaluation Framework

    Guder, L., de Moura, J. P., Accorsi, A., do Amaral, G. L., Magnaguagno, M. C., Meneguzzi, F., Pinho, M. S., Griebler, D.
    Working Papers and Discussion Papers
    Open Access

  • Zero-Shot Goal Recognition with Large Language Models

    Gusmão, K. M. P., Gavenski, N., Oren, N., Meneguzzi, F.
    Working Papers and Discussion Papers
    Open Access

  • Online Goal Recognition using Path Signature and Dynamic Time Warping

    Tesch, D., Gavenski, N., Amado, L., Rodrigues, O., Meneguzzi, F.
    Working Papers and Discussion Papers
    Open Access
    Additional Links

  • 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
    Digital Object Identifier
    Open Access

  • 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
    Digital Object Identifier
    Open Access

  • 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
    Open Access

  • Beyond Mimicry: Toward Lifelong Adaptability in Imitation Learning

    Gavenski, N., Meneguzzi, F., Rodrigues, O.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
    Digital Object Identifier

  • Bounding Acceptability Degrees and Eliciting Initial Weights in Gradual Argumentation

    Oren, N., Yun, B.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
    Additional Links

  • Counterfactual Reasoning for Causal Responsibility Attribution in Probabilistic Multi-Agent Systems

    Mu, C., Najib, M.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
    Additional Links

  • GRAIL: Goal Recognition Alignment through Imitation Learning

    Elhadad, O., Meneguzzi, F., Mirsky, R.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
    Digital Object Identifier

  • HyperTensioN and Total-order Forward Decomposition Optimizations: JAAMAS Track

    Cecílio Magnaguagno, M., Meneguzzi, F., de Silva, L.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
    Digital Object Identifier

  • Online Goal Recognition using Path Signature and Dynamic Time Warping

    Meneguzzi, F.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
    Additional Links

  • You Can Go First: Planning For Social Law Synthesis In Asymmetric Multi-Agent Settings

    Sreedharan, S., Hopkins, P., Meneguzzi, F.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
    Digital Object Identifier

  • 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

  • Sentence representations for semantic textual similarity: A systematic review

    Guder, L., Aires, J. P., da Silva, H. U., Meneguzzi, F., Griebler, D.
    Computer Speech & Language, vol. 100, 101970
    Contributions to Journals: Articles
    Digital Object Identifier
    Open Access

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

    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, vol. 113, no. 11, pp. 1241 - 1250
    Contributions to Journals: Articles
    Digital Object Identifier
    Open Access
    Additional Links

  • Beyond Mimicry: Toward Lifelong Adaptability in Imitation Learning

    Gavenski, N., Meneguzzi, F., Rodrigues, O.
    Working Papers and Discussion Papers
    Digital Object Identifier
    Open Access

  • Grail: Goal Recognition Alignment through Imitation Learning

    Elhadad, O., Meneguzzi, F., Mirsky, R.
    Working Papers and Discussion Papers
    Digital Object Identifier
    Open Access

  • Towards AI-Sympathy Using Agents

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

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

    Libman, A., Oren, N., Yun, B.
    Journal of Artificial Intelligence Research, vol. 85, 42
    Contributions to Journals: Articles
    Digital Object Identifier
    Open Access

  • Evaluating BDI Agents in ROS: From Basic Integration to Fault Tolerant Multi-Robot Systems

    Du, Q., Cardoso, R. C.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
    Digital Object Identifier
    Open Access

  • Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning

    Varricchione, G., Alechina, N., Dastani, M., Logan, B.
    Journal of Artificial Intelligence Research, vol. 85, 38
    Contributions to Journals: Articles
    Digital Object Identifier
    Open Access

  • TrafficSim: A Simulation Framework for the Scottish Rail Network in ROS2

    Leslie, R., Earnshaw, C., Jam, F., Komnata, K., Maita, A., Cardoso, R. C.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
    Digital Object Identifier
    Open Access

  • Pushdown reward machines for reinforcement learning

    Varricchione, G., Klassen, T. Q., Alechina, N., Dastani, M., Logan, B., McIlraith, S. A.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
    Digital Object Identifier
    Open Access

  • Run-time verification of robot-assisted surgery using visual input

    Gogoladze, K., van Jaarsveld, R., Alechina, N., De Jong, R., Al Khalil, Y., Kuiper, G., Logan, B., Ruurda, J.
    Contributions to Journals: Conference Articles
    Online
    Open Access

  • Reliable Intention Selection in BDI Agents with Recovery Shields

    Ferrando, A., Cardoso, R. C.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
    Digital Object Identifier
    Open Access

  • Landmark Generation in HTN Planning, Revisited

    Putrich, V. S., Meneguzzi, F., Pereira, A. G.
    Contributions to Journals: Conference Articles
    Digital Object Identifier
    Additional Links

  • Preface special issue on agents and robots for reliable engineered autonomy (AREA 2023)

    Ferrando, A., Cardoso, R. C.
    Annals of Mathematics and Artificial Intelligence, vol. 93, pp. 517-518
    Contributions to Journals: Editorials
    Digital Object Identifier
    Additional Links

  • Patient-Centred Explainability in IVF Outcome Prediction

    Sivaprasad, A., Reiter, E., McLernon, D., Tintarev, N., Bhattacharya, S., Oren, N.
    Working Papers and Discussion Papers: Working Papers
    Digital Object Identifier

  • Generalised BDI Planning

    Meneguzzi, F., Pereira, R. F., Oren, N.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
    Online
    Digital Object Identifier
    Additional Links

  • Hypertension and total-order forward decomposition optimizations

    Cecílio Magnaguagno, M., Meneguzzi, F., de Silva, L.
    Autonomous Agents and Multi-Agent Systems, vol. 39, 24
    Contributions to Journals: Articles
    Digital Object Identifier
    Open Access
    Additional Links

  • Probabilistic Strategy Logic with Degrees of Observability

    Mu, C., Motamed, N., Alechina, N., Logan, B.
    Contributions to Journals: Conference Articles
    Digital Object Identifier
    Open Access

  • Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems

    Mu, C., Najib, M., Oren, N.
    Contributions to Journals: Conference Articles
    Digital Object Identifier
    Open Access
    Additional Links

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

    Gladyshev, M., Alechina, N., Dastani, M., Doder, D., Logan, B.
    Contributions to Journals: Conference Articles
    Digital Object Identifier
    Open Access
    Additional Links

  • Automated Planning for Optimal Data Pipeline Instantiation

    Amado, L. R., Vogel, A., Griebler, D., Licks, G. P., Simon, E., Meneguzzi, F.
    Working Papers and Discussion Papers
    Digital Object Identifier
    Open Access

  • Intention Recognition in Real-Time Interactive Navigation Maps

    Zhao, P., Arefin, Z., Meneguzzi, F., Pereira, R. F.
    Working Papers and Discussion Papers
    Digital Object Identifier
    Open Access

  • Towards partial monitoring: Never too early to give in

    Ferrando, A., Cardoso, R. C.
    Science of Computer Programming, vol. 240, 103220
    Contributions to Journals: Articles
    Digital Object Identifier
    Open Access
    Additional Links

  • Preface

    Ferrando, A., Cardoso, R. C.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
    Digital Object Identifier
    Additional Links

  • Synthesising Minimum Cost Dynamic Norms

    Alechina, N., Logan, B., Perelli, G.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
    Digital Object Identifier
    Open Access

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

    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
    Open Access

  • Farm Explorer: A Tool for Calculating Transparent Greenhouse Gas Emissions

    Markovic, M., Germano, S., Garijo, D., Edwards, P., Li, A., Ayall, T. A., Ramsey, R., Leontidis, G.
    Contributions to Journals: Conference Articles
    Online
    Open Access

  • Measuring Responsibility in Multi-Agent Systems

    Mu, C., Oren, N.
    Working Papers and Discussion Papers
    Digital Object Identifier
    Open Access
Show 10 | 25 | 50 | 100 results per page