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

Elizabeth Black

Elizabeth Black

Reader in Artificial Intelligence

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

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

Senior Lecturer in Computer Science

Tommy Thompson

Tommy Thompson

Lecturer in Distance Learning Education

Argumentation schemes for clinical decision support
Sassoon, I., Kökciyan, N., Modgil, S. & Parsons, S., 10 Nov 2021, In: Argument and Computation. 12, 3, p. 329-355 27 p. Research output: Contribution to journal › Article › peer-review. DOIs: https://doi.org/10.3233/AAC-200550
Contrastive explanations of plans through model restrictions
Krarup, B., Krivic, S., Magazzeni, D., Long, D., Cashmore, M. & Smith, D. E., 27 Oct 2021, In: Journal of Artificial Intelligence Research. 72, p. 533-612 80 p. Research output: Contribution to journal › Article › peer-review. DOIs: https://doi.org/10.1613/JAIR.1.12813
Towards a Sound and Complete Dialogue System for Handling Enthymemes
Xydis, A., Hampson, C., Modgil, S. & Black, E., 15 Oct 2021, (E-pub ahead of print) In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 437-456 20 p. Research output: Contribution to journal › Conference paper › peer-review. DOIs: https://doi.org/10.1007/978-3-030-89391-0_24
Efficient anytime computation and execution of decoupled robustness envelopes for temporal plans
Cashmore, M., Cimatti, A., Magazzeni, D., Micheli, A. & Zehtabi, P., 1 Sep 2021, 28th International Symposium on Temporal Representation and Reasoning, TIME 2021. Combi, C., Eder, J. & Reynolds, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 206). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review. DOIs: https://doi.org/10.4230/LIPIcs.TIME.2021.13
Task Plan verbalizations with causal justifications
Canal, G., Krivic, S., Luff, P. & Coles, A., 6 Aug 2021, ICAPS 2021 Workshop on Explainable AI Planning (XAIP). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Metareasoning for Situated Temporal Planning
Shperberg, S., Coles, A., Karpas, E., Ruml, W. & Shimony, S., 2 Aug 2021, Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press, 9 p. Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Argumentative explanations for interactive recommendations
Rago, A., Cocarascu, O., Bechlivanidis, C., Lagnado, D. & Toni, F., Jul 2021, In: ARTIFICIAL INTELLIGENCE. 296, 103506. Research output: Contribution to journal › Article › peer-review. DOIs: https://doi.org/10.1016/j.artint.2021.103506
Applying Metalevel Argumentation Frameworks to Support Medical Decision Making
Kokciyan, N., Sassoon, I., Sklar, E., Modgil, S. & Parsons, S., 1 Mar 2021, In: IEEE Intelligent Systems. 36, 2, p. 64-71 8 p., 9321341. Research output: Contribution to journal › Article › peer-review. DOIs: https://doi.org/10.1109/MIS.2021.3051420
Towards depth-bounded natural deduction for classical first-order logic
D’agostino, M., Larese, C. & Modgil, S., Mar 2021, In: IfCoLoG Journal of Logics and their Applications. 8, 2, p. 423-451 29 p. Research output: Contribution to journal › Article › peer-review
Argumentation-based dialogue
Black, E., Maudet, N. & Parsons, S., 2021, Handbook of Formal Argumentation, Volume 2. Gabbay, D., Giacomin, M., Simari, G. & Thimm, M. (eds.). College Publications, p. 511 576 p. Research output: Chapter in Book/Report/Conference proceeding › Chapter › 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 leads

Sanjay-Modgil

Sanjay Modgil

Reader in Artificial Intelligence