| Planning for persuasion E Black, AJ Coles, C Hampson Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017 | 28 | 2017 |
| Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting C Hampson, A Kurucz ACM Transactions on Computational Logic (TOCL) 16 (3), 1-36, 2015 | 18 | 2015 |
| Enthymemes in Dialogues. A Xydis, C Hampson, S Modgil, E Black COMMA, 395-402, 2020 | 14 | 2020 |
| Towards a sound and complete dialogue system for handling enthymemes A Xydis, C Hampson, S Modgil, E Black Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou …, 2021 | 7 | 2021 |
| Decidable first-order modal logics with counting quantifiers. C Hampson Advances in Modal Logic 11, 2016 | 6 | 2016 |
| On Modal Products with the Logic of 'Elsewhere'. C Hampson, A Kurucz Advances in Modal Logic 9, 2012 | 6 | 2012 |
| Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations C Hampson, S Kikot, A Kurucz, S Marcelino Annals of Pure and Applied Logic 171 (5), 102786, 2020 | 5 | 2020 |
| A Sound and Complete Dialogue System for Handling Misunderstandings. A Xydis, C Hampson, S Modgil, E Black SAFA@ COMMA, 19-32, 2022 | 4 | 2022 |
| The decision problem of modal product logics with a diagonal, and faulty counter machines C Hampson, S Kikot, A Kurucz Studia Logica 104, 455-486, 2016 | 4 | 2016 |
| Two-dimensional modal logics with difference relations C Hampson King's College London, 2016 | 3 | 2016 |
| One-variable first-order linear temporal logics with counting C Hampson, A Kurucz Computer Science 23, 348-362, 2013 | 3 | 2013 |
| Optimal simple strategies for persuasion E Black, A Coles, C Hampson ECAI 2016, 1736-1737, 2016 | 2 | 2016 |
| Technical report: A sound and complete dialogue system for handling misunderstandings A Xydis, C Hampson, S Modgil, E Black | 1 | 2022 |
| On the termination problem for counter machines with incrementing errors C Hampson Reachability Problems: 13th International Conference, RP 2019, Brussels …, 2019 | 1 | 2019 |
| Maximal degenerate palindromes with gaps and mismatches M Alzamel, C Hampson, CS Iliopoulos, Z Lim, S Pissis, D Vlachakis, ... Theoretical Computer Science 978, 114182, 2023 | | 2023 |
| Local Maximal Equality-Free Periodicities M Alzamel, JW Daykin, C Hampson, CS Iliopoulos, Z Lim, WF Smyth IFIP International Conference on Artificial Intelligence Applications and …, 2023 | | 2023 |
| Preface: MatBio 2021 Special Section M Alzamel, C Hampson, C Iliopoulos, F Vayani Journal of computational biology: a journal of computational molecular cell …, 2023 | | 2023 |
| Ink: Non-repudiation for Large Language Models (LLMs) in Healthcare M Chapman, E Fairweather, C Hampson | | 2023 |
| MUL-Tree Pruning for Consistency and Compatibility C Hampson, DJ Harvey, CS Iliopoulos, J Jansson, Z Lim, WK Sung 34th Annual Symposium on Combinatorial Pattern Matching (CPM 2023), 2023 | | 2023 |
| On the termination and structural termination problems for counter machines with incrementing errors C Hampson Journal of Computer and System Sciences 120, 149-161, 2021 | | 2021 |
Elizabeth BlackDepartment of Informatics, King's College LondonDirección de correo verificada de kcl.ac.uk
