Skip to main content

Research & Innovation

Reasoning and Planning

The Reasoning and Planning (RAP) group researches symbolic models for reasoning involving argumentation, knowledge representation and planning, and the combination of reasoning, planning and machine learning approaches. Research within the RAP group considers both individual and multi-entity reasoning and planning, which may involve humans as well as AI systems.

Members

Mohammad Abdulaziz

Lecturer in Artificial Intelligence

Elizabeth Black

Elizabeth Black

Reader in Artificial Intelligence

Martim Brandão

Lecturer in Robotics and Autonomous Systems

Gerard Canal

RAEng UK IC Postdoctoral Research Fellow

Oana Cocarascu

Oana Cocarascu

Lecturer in Artificial Intelligence

Andrew Coles

Andrew Coles

Reader in Artificial Intelligence

Amanda Coles

Senior Lecturer in Computer Science

Jeroen Keppens

Jeroen Keppens

Senior Lecturer

Junho Lee

PhD Student

Matteo Leonetti

Matteo Leonetti

Lecturer in Autonomous Systems

Derek Long

Derek Long

Professor of Computer Science

Daniele Magazzeni

Daniele Magazzeni

Reader in Artificial Intelligence

Sanjay Modgil

Sanjay Modgil

Reader in Artificial Intelligence

Josh Murphy

Josh Murphy

Lecturer in Computer Science (Education)

Jeffery Raphael

Jeffery Raphael

Lecturer in Computer Science

Odinaldo Rodrigues

Odinaldo Rodrigues

Reader in Artificial Intelligence

Tommy Thompson

Tommy Thompson

Lecturer in Distance Learning Education

Efficient Temporal Piecewise-Linear Numeric Planning With Lazy Consistency Checking
Bajada, J., Fox, M. & Long, D., 1 Aug 2022, In: IEEE Transactions on Artificial Intelligence . 3, 4, p. 506-517 12 p. Research output: Contribution to journal › Article › peer-review. DOIs: https://doi.org/10.1109/TAI.2022.3146797
From Subsymbolic to Symbolic: A Blueprint for Investigation
Pober, J., Luck, M. & Rodrigues, O., 29 Jul 2022, (Accepted/In press) CEUR Workshop Proceedings: NESY 2022: 16th International Workshop on Neural-Symbolic Learning and Reasoning. Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Integrating quantitative and qualitative reasoning for value alignment
Szabo, J., Such, J., Criado Pacheco, N. & Modgil, S., 25 Jul 2022, (Accepted/In press) The 19th European Conference on Multi-Agent Systems. Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Towards Autonomous Collaborative Robots that Adapt and Explain
Tisnikar, P., Wachowiak, L., Canal, G., Coles, A., Leonetti, M. & Celiktutan, O., 9 Jun 2022, IEEE ICRA 2022 Workshop on Prediction and Anticipation Reasoning in Human Robot Interaction. Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Conflict-Based Multi-Robot Multi-Goal Task and Motion Planning
Lee, J. & Long, D., Jun 2022, 10th ICAPS Workshop on Planning and Robotics (PlanRob). 10 p. Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Towards Automatic State Recovery for Replanning
Bezrucav, S-O., Canal, G., Coles, A., Cashmore, M. & Corves, B., Jun 2022, ICAPS 2022 Workshop on Integrated Planning, Acting, and Execution (IntEx). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
The relationship of socio-demographic factors and patient attitudes to connected health technologies: a survey of stroke survivors
Drake, A., Sassoon, I., Balatsoukas, P., Porat, T., Ashworth, M., Wright, E., Curcin, V., Chapman, M., Kokciyan, N., Modgil, S., Sklar, E. & Parsons, S., Apr 2022, In: Health Informatics Journal. 28, 2 Research output: Contribution to journal › Article › peer-review. DOIs: https://doi.org/10.1177/14604582221102373
A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems
Vasileiou, S. L., Yeoh, W., Son, T. C., Kumar, A., Cashmore, M. & Magazzeni, D., 2022, In: Journal of Artificial Intelligence Research. 73, p. 1473-1534 62 p. Research output: Contribution to journal › Article › peer-review. DOIs: https://doi.org/10.1613/jair.1.13431
Analysing Eye Gaze Patterns during Confusion and Errors in Human–Agent Collaborations
Wachowiak, L., Tisnikar, P., Canal, G., Coles, A., Leonetti, M. & Celiktutan, O., 2022, (Accepted/In press) 2022 31st IEEE International Conference on Robot and Human Interactive Communication (RO-MAN). 6 p. Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Explainability in Multi-Agent Path/Motion Planning: User-study-driven Taxonomy and Requirements
Brandao, M., Mansouri, M., Mohammed, A., Luff, P. & Coles, A., 2022, (Accepted/In press) International Conference on Autonomous Agents and Multiagent Systems (AAMAS). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

View all publications

cyber force hero

Seminars

Upcoming seminars and events will be listed here.

Current vacancies in the group will be listed here.

Group lead

Sanjay-Modgil

Sanjay Modgil

Reader in Artificial Intelligence