Christopher Hampson

26 papers A 2B 5C 1Journal 11Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
CTC: Contribution to Classification of Complex Features.
CVPR Workshops
Sophia Kalanovska, Michael Luck, Christopher Hampson
2025 J jnl
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions.
CoRR
Alessandro Artale, Christopher Hampson, Roman Kontchakov, Andrea Mazzullo, Frank Wolter
2024 — conf
Experience Report of the AWS+KCL Impact Accelerator for Public Sector Engagement.
CSEE&T
Caitlin M. Bentley, Elena Simperl, Mike Bainbridge, Daisy Ogden, Stefanos Leonardos, Gunel Jahangirova, Joanna Walker, Wenjie Yin, Christopher Hampson
2023 — conf
Local Maximal Equality-Free Periodicities.
AIAI (Workshops)
Mai Alzamel, Jacqueline W. Daykin, Christopher Hampson, Costas S. Iliopoulos, Zara Lim, W. F. Smyth
2023 B conf
MUL-Tree Pruning for Consistency and Compatibility.
CPM
Christopher Hampson, Daniel J. Harvey, Costas S. Iliopoulos, Jesper Jansson, Zara Lim, Wing-Kin Sung
2023 J jnl
Maximal degenerate palindromes with gaps and mismatches.
Theor. Comput. Sci.
Mai Alzamel, Christopher Hampson, Costas S. Iliopoulos, Zara Lim, Solon P. Pissis, Dimitrios Vlachakis, Steven Watts
2023 J jnl
Preface: MatBio 2021 Special Section.
J. Comput. Biol.
Mai Alzamel, Christopher Hampson, Costas S. Iliopoulos, Fatima Vayani
2022 — conf
A Sound and Complete Dialogue System for Handling Misunderstandings.
SAFA
Andreas Xydis, Christopher Hampson, Sanjay Modgil, Elizabeth Black
2021 J jnl
On the termination and structural termination problems for counter machines with incrementing errors.
J. Comput. Syst. Sci.
Christopher Hampson
2021 — conf
Towards a Sound and Complete Dialogue System for Handling Enthymemes.
CLAR
Andreas Xydis, Christopher Hampson, Sanjay Modgil, Elizabeth Black
2020 C conf
Enthymemes in Dialogues.
COMMA
Andreas Xydis, Christopher Hampson, Sanjay Modgil, Elizabeth Black
2020 J jnl
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations.
Ann. Pure Appl. Log.
Christopher Hampson, Stanislav Kikot, Agi Kurucz, Sérgio Marcelino
2019 J jnl
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations.
CoRR
Christopher Hampson, Stanislav Kikot, Agi Kurucz, Sérgio Marcelino
2019 — conf
On the Termination Problem for Counter Machines with Incrementing Errors.
RP
Christopher Hampson
2018 J jnl
Decidable fragments of first-order modal logics with counting quantifiers over varying domains.
CoRR
Christopher Hampson
2018 B conf
The Bimodal Logic of Commuting Difference Operators Is Decidable.
Advances in Modal Logic
Christopher Hampson
2017 A conf
Planning for Persuasion.
AAMAS
Elizabeth Black, Amanda Jane Coles, Christopher Hampson
2016 B conf
Decidable first-order modal logics with counting quantifiers.
Advances in Modal Logic
Christopher Hampson
2016 A conf
Optimal Simple Strategies for Persuasion.
ECAI
Elizabeth Black, Amanda Jane Coles, Christopher Hampson
2016 J jnl
The Decision Problem of Modal Product Logics with a Diagonal, and Faulty Counter Machines.
Stud Logica
Christopher Hampson, Stanislav Kikot, Ágnes Kurucz
2016 — —
Two-dimensional modal logics with difference relations.
Christopher Hampson
2015 J jnl
The decision problem of modal product logics with a diagonal, and faulty counter machines.
CoRR
Christopher Hampson, Stanislav Kikot, Agi Kurucz
2015 J jnl
Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting.
ACM Trans. Comput. Log.
Christopher Hampson, Agi Kurucz
2014 J jnl
Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting.
CoRR
Christopher Hampson, Agi Kurucz
2013 B conf
One-variable first-order linear temporal logics with counting.
CSL
Christopher Hampson, Agi Kurucz
2012 B conf
On Modal Products with the Logic of 'Elsewhere'.
Advances in Modal Logic
Christopher Hampson, Agi Kurucz