Kevin Leo

16 papers A* 2A 4B 1Misc 1Journal 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
MATA: A Trainable Hierarchical Automaton System for Multi-Agent Visual Reasoning.
CoRR
Zhixi Cai, Fucai Ke, Kevin Leo, Sukai Huang, Maria Garcia de la Banda, Peter J. Stuckey, Hamid Rezatofighi
2025 J jnl
NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions.
IEEE Robotics Autom. Lett.
Zhixi Cai, Cristian Rojas Cardenas, Kevin Leo, Chenyuan Zhang, Kal Backman, Hanbing Li, Boying Li, Mahsa Ghorbanali, Stavya Datta, Lizhen Qu, Julian Gutierrez, Alexey Ignatiev, Yuan-Fang Li, Mor Vered, Peter J. Stuckey, Maria Garcia de la Banda, Hamid Rezatofighi
2024 A* conf
Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning.
AAAI
Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace
2024 J jnl
NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions.
CoRR
Zhixi Cai, Cristian Rojas Cardenas, Kevin Leo, Chenyuan Zhang, Kal Backman, Hanbing Li, Boying Li, Mahsa Ghorbanali, Stavya Datta, Lizhen Qu, Julian Gutierrez Santiago, Alexey Ignatiev, Yuan-Fang Li, Mor Vered, Peter J. Stuckey, Maria Garcia de la Banda, Hamid Rezatofighi
2023 J jnl
Human-centred feasibility restoration in practice.
Constraints An Int. J.
Ilankaikone Senthooran, Matthias Klapperstück, Gleb Belov, Tobias Czauderna, Kevin Leo, Mark Wallace, Michael Wybrow, Maria Garcia de la Banda
2022 J jnl
Globalizing constraint models.
Artif. Intell.
Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda
2021 A conf
Human-Centred Feasibility Restoration.
CP
Ilankaikone Senthooran, Matthias Klapperstück, Gleb Belov, Tobias Czauderna, Kevin Leo, Mark Wallace, Michael Wybrow, Maria Garcia de la Banda
2020 A conf
Core-Guided Model Reformulation.
CP
Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace
2018 A conf
Towards Semi-Automatic Learning-Based Model Transformation.
CP
Kiana Zeighami, Kevin Leo, Guido Tack, Maria Garcia de la Banda
2017 B conf
Debugging Unsatisfiable Constraint Models.
CPAIOR
Kevin Leo, Guido Tack
2017 — —
Making the Most of Structure in Constraint Models.
Kevin Leo
2016 J jnl
DASH: Dynamic Approach for Switching Heuristics.
Eur. J. Oper. Res.
Giovanni M. Di Liberto, Serdar Kadioglu, Kevin Leo, Yuri Malitsky
2015 A* conf
Multi-Pass High-Level Presolving.
IJCAI
Kevin Leo, Guido Tack
2015 Misc conf
Optimised Robust Treatment Plans for Prostate Cancer Focal Brachytherapy.
ICCS
John M. Betts, Christopher Mears, Hayley M. Reynolds, Guido Tack, Kevin Leo, Martin A. Ebert, Annette Haworth
2013 J jnl
DASH: Dynamic Approach for Switching Heuristics.
CoRR
Giovanni M. Di Liberto, Serdar Kadioglu, Kevin Leo, Yuri Malitsky
2013 A conf
Globalizing Constraint Models.
CP
Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda