| ABC Repair System for Datalog-like Theories. X Li, A Bundy, A Smaill KEOD, 333-340, 2018 | 21 | 2018 |
| LEKG: a system for constructing knowledge graphs from log extraction F Wang, A Bundy, X Li, R Zhu, K Nuamah, L Xu, S Mauceri, JZ Pan Proceedings of the 10th International Joint Conference on Knowledge Graphs …, 2021 | 13 | 2021 |
| The use of max-sat for optimal choice of automated theory repairs M Urbonas, A Bundy, J Casanova, X Li Artificial Intelligence XXXVII: 40th SGAI International Conference on …, 2020 | 10 | 2020 |
| Representational change is integral to reasoning A Bundy, X Li Philosophical Transactions of the Royal Society A 381 (2251), 20220052, 2023 | 8 | 2023 |
| Modelling Virtual Bargaining using Logical Representation Change. A Bundy, E Philalithis, X Li Human-like machine intelligence, 68-90, 2022 | 8 | 2022 |
| Kevin: A knowledge enhanced validity and novelty classifier for arguments A Saadat-Yazdi, X Li, S Chausson, V Belle, B Ross, JZ Pan, N Kökciyan Proceedings of the 9th Workshop on Argument Mining, 104-110, 2022 | 6 | 2022 |
| Automating the repair of faulty logical theories X Li The University of Edinburgh, 2021 | 6 | 2021 |
| An overview of the ABC Repair System for Datalog-like Theories X Li, A Bundy The 3rd International Workshop on Human-Like Computing 2022, 11-17, 2022 | 5 | 2022 |
| A closer look at probability calibration of knowledge graph embedding R Zhu, F Wang, A Bundy, X Li, K Nuamah, L Xu, S Mauceri, JZ Pan Proceedings of the 11th International Joint Conference on Knowledge Graphs …, 2022 | 4 | 2022 |
| Signature entrenchment and conceptual changes in automated theory repair X Li, A Bundy, E Philalithis arXiv preprint arXiv:2201.08340, 2022 | 4 | 2022 |
| ABC in Root Cause Analysis: Discovering Missing Information and Repairing System Failures X Li, A Bundy, R Zhu, F Wang, S Mauceri, L Xu, JZ Pan International Conference on Machine Learning, Optimization, and Data Science …, 2022 | 3 | 2022 |
| TREAT: automated construction and maintenance of probabilistic knowledge bases from logs R Zhu, X Li, F Wang, A Bundy, JZ Pan, K Nuamah, S Mauceri, L Xu International Conference on Machine Learning, Optimization, and Data Science …, 2022 | 2 | 2022 |
| Assessing the Quality of a Knowledge Graph via Link Prediction Tasks JZP Ricky Zhu, Alan Bundy, Fangrong Wang, Xue Li, Kuwabena Nuamah, Lei Xu ... 7th International Conference on Natural Language Processing and Information …, 2023 | 1* | 2023 |
| Logic and Theory Repair in Legal Modification Y Lu, Y Lin, X Li, A Bundy, B Schafer, A Ireland Cognitive AI 2023, 1-5, 2023 | 1 | 2023 |
| Benchmark based vitality of axioms and preconditions for datalog theory repair X Li, A Bundy, R Zhu, E AC The Tenth Annual Conf. on Advances in Cognitive Systems, 2022 | 1 | 2022 |
| Automating Theory Repair in First Order Logic T Wong, X Li, A Bundy Cognitive AI 2023, 1-8, 2023 | | 2023 |
| An Overview of Using Large Language Models for the Symbol Grounding Task in ABC Repair System. PY Chan, X Li, A Bundy COGAI@ IJCLR, 2023 | | 2023 |
| A Web-based Tool for Detecting Argument Validity and Novelty S Chausson, A Saadat-Yazdi, X Li, JZ Pan, V Belle, N Kokciyan, B Ross The 22nd International Conference on Autonomous Agents and Multiagent …, 2023 | | 2023 |
| Schema-aware Iterative Completion for Knowledge Graphs Revisited F Wang, A Bundy, X Li, R Zhu, K Nuamah, L Xu, S Mauceri, JZ Pan | | |
| The Use of Max-Sat for Optimal Choice of Automated Theory Repairs (Long Version) M Urbonas, A Bundy, J Casanova, X Li | | |
Alan BundyProfessor of Automated Reasoning, University of Edinburgh在 ed.ac.uk 的电子邮件经过验证
Alan BundyProfessor of Automated Reasoning, University of Edinburgh在 ed.ac.uk 的电子邮件经过验证
Kwabena NuamahSchool of Informatics, University of Edinburgh在 ed.ac.uk 的电子邮件经过验证