| EP/W01081X/1 | Computational Agent Responsibility | (P) |
| EP/V026801/2 | UKRI Trustworthy Autonomous Systems Node in Verifiability | (C) |
| EP/W001128/1 | Robotics and Artificial Intelligence for Nuclear Plus (RAIN+) | (C) |
| EP/V026801/1 | UKRI Trustworthy Autonomous Systems Node in Verifiability | (C) |
| EP/R026092/1 | Future AI and Robotics Hub for Space (FAIR-SPACE) | (C) |
| EP/R026084/1 | Robotics and Artificial Intelligence for Nuclear (RAIN) | (C) |
| EP/R026173/1 | UK Robotics and Artificial Intelligence Hub for Offshore Energy Asset Integrity Management | (C) |
| EP/N007565/1 | Science of Sensor System Software | (C) |
| EP/M027309/1 | Network on the Verification and Validation of Autonomous Systems | (P) |
| EP/L024845/1 | Verifiable Autonomy | (P) |
| EP/K006193/1 | Trustworthy Robotic Assistants | (P) |
| EP/J011770/1 | Reconfigurable Autonomy | (P) |
| EP/G056927/1 | Formal Foundations of Autonomic Computing | (P) |
| EP/F037201/1 | Engineering Autonomous Space Software | (P) |
| EP/F033567/1 | Verifying Interoperability Requirements in Pervasive Systems | (P) |
| EP/D080282/1 | Tenth European Conference on Logics in Artificial Intelligence | (C) |
| EP/D052548/1 | Model Checking Agent Programming Languages | (P) |
| GR/S62727/01 | Virtual Organisations for e-Science | (C) |
| GR/R96514/01 | 9th International Symposium on Temporal Representation and Reasoning (TIME-2002) | (C) |
| GR/R45376/01 | Analysis and Mechanisation of Decidable First-Order Temporal Logics | (P) |
| GR/L87491/02 | DEVELOPING CLAUSAL RESOLUTION FOR THE TEMPORAL MU-CALCULUS | (P) |
| GR/M46631/02 | MECHANISING FIRST - ORDER TEMPORAL LOGIC | (P) |
| GR/M88761/01 | PROOF METHODS FOR MULTI-AGENT SYSTEMS | (C) |
| GR/N08117/01 | VISITING FELLOWSHIP FOR PROFESSOR REGIMANTAS PLIUSKEVICIUS | (P) |
| GR/M46631/01 | MECHANISING FIRST - ORDER TEMPORAL LOGIC | (P) |
| GR/M33723/01 | WORKSHOP OF UK SPECIAL INTEREST GROUP ON MULTI-AGENT SYSTEMS | (P) |
| GR/L87491/01 | DEVELOPING CLAUSAL RESOLUTION FOR THE TEMPORAL MU-CALCULUS | (P) |
| GR/L75092/01 | DEVELOPING A LOGIC-BASED FRAMEWORK FOR IMPLEMENTING MULTI-AGENT SYSTEMS | (C) |
| GR/K57282/01 | PROOF METHODS FOR TEMPORAL LOGICS OF KNOWLEDGE AND BELIEF | (P) |
| GR/J48979/01 | PARALLEL TEMPORAL THEOREM PROVING | (C) |