Xue Li

According to our database, Xue Li authored at least 16 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Formalise Regulations for Autonomous Vehicles with Right-Open Temporal Deontic Defeasible Logic.

Pak Yin Chan, Xue Li, Yiwei Lu, Yuhui Lin, Alan Bundy

Proceedings of the Artificial Intelligence XLI, 2024

2023

Assessing the Quality of a Knowledge Graph via Link Prediction Tasks.

Ruiqi Zhu, Alan Bundy, Jeff Z. Pan, Kwabena Nuamah, Fangrong Wang, Xue Li, Lei Xu, Stefano Mauceri

Proceedings of the 2023 7th International Conference on Natural Language Processing and Information Retrieval, 2023

Automating Theory Repair in First Order Logic.

Wan Ki Wong, Xue Li, Alan Bundy

Proceedings of the International Workshop on Cognitive AI 2023 co-located with the 3rd International Conference on Learning & Reasoning (IJCLR 2023), 2023

Logic and Theory Repair in Legal Modification.

Yiwei Lu, Yuhui Lin, Xue Li, Alan Bundy, Burkhard Schäfer, Andrew Ireland

Proceedings of the International Workshop on Cognitive AI 2023 co-located with the 3rd International Conference on Learning & Reasoning (IJCLR 2023), 2023

An Overview of Using Large Language Models for the Symbol Grounding Task in ABC Repair System.

Pak Yin Chan, Xue Li, Alan Bundy

Proceedings of the International Workshop on Cognitive AI 2023 co-located with the 3rd International Conference on Learning & Reasoning (IJCLR 2023), 2023

A Web-based Tool for Detecting Argument Validity and Novelty.

Sandrine Chausson, Ameer Saadat-Yazdi, Xue Li, Jeff Z. Pan, Vaishak Belle, Nadin Kökciyan, Björn Ross

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Signature Entrenchment and Conceptual Changes in Automated Theory Repair.

Xue Li, Alan Bundy, Eugene Philalithis

CoRR, 2022

TREAT: Automated Construction and Maintenance of Probabilistic Knowledge Bases from Logs (Extended Abstract).

Ruiqi Zhu, Xue Li, Fangrong Wang, Alan Bundy, Jeff Z. Pan, Kwabena Nuamah, Stefano Mauceri, Lei Xu

Proceedings of the Machine Learning, Optimization, and Data Science, 2022

ABC in Root Cause Analysis: Discovering Missing Information and Repairing System Failures.

Xue Li, Alan Bundy, Ruiqi Zhu, Fangrong Wang, Stefano Mauceri, Lei Xu, Jeff Z. Pan

Proceedings of the Machine Learning, Optimization, and Data Science, 2022

A Closer Look at Probability Calibration of Knowledge Graph Embedding.

Ruiqi Zhu, Fangrong Wang, Alan Bundy, Xue Li, Kwabena Nuamah, Lei Xu, Stefano Mauceri, Jeff Z. Pan

Proceedings of the 11th International Joint Conference on Knowledge Graphs, 2022

An overview of the ABC Repair System for Datalog-like Theories.

Xue Li, Alan Bundy

Proceedings of the 3rd Human-Like Computing Workshop (HLC 2022) co-located with the 2nd International Joint Conference on Learning and Reasoning (IJCLR 2022), 2022

KEViN: A Knowledge Enhanced Validity and Novelty Classifier for Arguments.

Ameer Saadat-Yazdi, Xue Li, Sandrine Chausson, Vaishak Belle, Björn Ross, Jeff Z. Pan, Nadin Kökciyan

Proceedings of the 9th Workshop on Argument Mining, 2022

Modelling Virtual Bargaining using Logical Representation Change.

Alan Bundy, Eugene Philalithis, Xue Li

Proceedings of the Human-Like Machine Intelligence., 2022

2021

LEKG: A System for Constructing Knowledge Graphs from Log Extraction.

Fangrong Wang, Alan Bundy, Xue Li, Ruiqi Zhu, Kwabena Nuamah, Lei Xu, Stefano Mauceri, Jeff Z. Pan

Proceedings of the IJCKG'21: The 10th International Joint Conference on Knowledge Graphs, Virtual Event, Thailand, December 6, 2021

2020

The Use of Max-Sat for Optimal Choice of Automated Theory Repairs.

Marius Urbonas, Alan Bundy, Juan Casanova, Xue Li

Proceedings of the Artificial Intelligence XXXVII, 2020

2018

ABC Repair System for Datalog-like Theories.

Xue Li, Alan Bundy, Alan Smaill

Proceedings of the 10th International Joint Conference on Knowledge Discovery, 2018