Xue Li

17 papers A 1C 1Journal 1Unranked 13
YearRankTypeTitle / Venue / Authors
2024 — conf
Formalise Regulations for Autonomous Vehicles with Right-Open Temporal Deontic Defeasible Logic.
SGAI Conf. (2)
Pak Yin Chan, Xue Li, Yiwei Lu, Yuhui Lin, Alan Bundy
2024 — conf
MisCC: Misinformation Detection on Counterfactual Claims.
IJCLR
Xue Li, Vaishak Belle, Björn Ross
2023 A conf
A Web-based Tool for Detecting Argument Validity and Novelty.
AAMAS
Sandrine Chausson, Ameer Saadat-Yazdi, Xue Li, Jeff Z. Pan, Vaishak Belle, Nadin Kökciyan, Björn Ross
2023 — conf
An Overview of Using Large Language Models for the Symbol Grounding Task in ABC Repair System.
COGAI@IJCLR
Pak Yin Chan, Xue Li, Alan Bundy
2023 — conf
Assessing the Quality of a Knowledge Graph via Link Prediction Tasks.
NLPIR
Ruiqi Zhu, Alan Bundy, Jeff Z. Pan, Kwabena Nuamah, Fangrong Wang, Xue Li, Lei Xu, Stefano Mauceri
2023 — conf
Automating Theory Repair in First Order Logic.
COGAI@IJCLR
Wan Ki Wong, Xue Li, Alan Bundy
2023 — conf
Logic and Theory Repair in Legal Modification.
COGAI@IJCLR
Yiwei Lu, Yuhui Lin, Xue Li, Alan Bundy, Burkhard Schäfer, Andrew Ireland
2022 — conf
A Closer Look at Probability Calibration of Knowledge Graph Embedding.
IJCKG
Ruiqi Zhu, Fangrong Wang, Alan Bundy, Xue Li, Kwabena Nuamah, Lei Xu, Stefano Mauceri, Jeff Z. Pan
2022 — conf
ABC in Root Cause Analysis: Discovering Missing Information and Repairing System Failures.
LOD (1)
Xue Li, Alan Bundy, Ruiqi Zhu, Fangrong Wang, Stefano Mauceri, Lei Xu, Jeff Z. Pan
2022 — conf
An overview of the ABC Repair System for Datalog-like Theories.
HLC
Xue Li, Alan Bundy
2022 — conf
KEViN: A Knowledge Enhanced Validity and Novelty Classifier for Arguments.
ArgMining@COLING
Ameer Saadat-Yazdi, Xue Li, Sandrine Chausson, Vaishak Belle, Björn Ross, Jeff Z. Pan, Nadin Kökciyan
2022 — ch.
Modelling Virtual Bargaining using Logical Representation Change.
Human-Like Machine Intelligence
Alan Bundy, Eugene Philalithis, Xue Li
2022 J jnl
Signature Entrenchment and Conceptual Changes in Automated Theory Repair.
CoRR
Xue Li, Alan Bundy, Eugene Philalithis
2022 — conf
TREAT: Automated Construction and Maintenance of Probabilistic Knowledge Bases from Logs (Extended Abstract).
LOD (1)
Ruiqi Zhu, Xue Li, Fangrong Wang, Alan Bundy, Jeff Z. Pan, Kwabena Nuamah, Stefano Mauceri, Lei Xu
2021 — conf
LEKG: A System for Constructing Knowledge Graphs from Log Extraction.
IJCKG
Fangrong Wang, Alan Bundy, Xue Li, Ruiqi Zhu, Kwabena Nuamah, Lei Xu, Stefano Mauceri, Jeff Z. Pan
2020 — conf
The Use of Max-Sat for Optimal Choice of Automated Theory Repairs.
SGAI Conf.
Marius Urbonas, Alan Bundy, Juan Casanova, Xue Li
2018 C conf
ABC Repair System for Datalog-like Theories.
KEOD
Xue Li, Alan Bundy, Alan Smaill