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 | 20 | 2015 |
Enthymemes in Dialogues. A Xydis, C Hampson, S Modgil, E Black COMMA, 395-402, 2020 | 14 | 2020 |
Decidable first-order modal logics with counting quantifiers. C Hampson Advances in Modal Logic 11, 2016 | 9 | 2016 |
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 |
On Modal Products with the Logic of 'Elsewhere'. C Hampson, A Kurucz Advances in Modal Logic 9, 2012 | 7 | 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 |