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

Reader in Artificial Intelligence

Martim Brandão

Lecturer in Robotics and Autonomous Systems

Gerard Canal

RAEng UK IC Postdoctoral Research Fellow

Oana Cocarascu

Lecturer in Artificial Intelligence

Andrew Coles

Reader in Artificial Intelligence

Amanda Coles

Senior Lecturer in Computer Science

Jeroen Keppens

Senior Lecturer

Junho Lee

PhD Student

Matteo Leonetti

Lecturer in Autonomous Systems

Derek Long

Professor of Computer Science

Daniele Magazzeni

Reader in Artificial Intelligence

Sanjay Modgil

Reader in Artificial Intelligence

Josh Murphy

Lecturer in Computer Science (Education)

Jeffery Raphael

Lecturer in Computer Science

Odinaldo Rodrigues

Senior Lecturer in Computer Science

Tommy Thompson

Lecturer in Distance Learning Education

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
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., 21 Jun 2022, In: Health Informatics Journal. Research output: Contribution to journal › Article › 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
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
Merge and Shrink Abstractions for Temporal Planning
Brandao, M., Coles, A., Coles, A. & Hoffmann, J., 2022, (Accepted/In press) International Conference on Automated Planning and Scheduling (ICAPS). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
On the complexity of determining defeat relations consistent with abstract argumentation semantics
Mumford, J., Sassoon, I., Black, E. & Parsons, S., 2022, (Accepted/In press) Proceedings of COMMA 2022: 9th International Conference on Computational Models of Argument. IOS Press Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

View all publications

Seminars

Upcoming seminars and events will be listed here.

Current vacancies in the group will be listed here.