2 papers
cs.AI2025
Can LLMs Solve ASP Problems? Insights from a Benchmarking Study (Extended Version)
Lin Ren, Guohui Xiao, Guilin Qi +2
Answer Set Programming (ASP) is a powerful paradigm for non-monotonic reasoning. Recently, large language models (LLMs) have demonstrated promising capabilities in logical reasonin…
cs.AI2025
Harnessing Diverse Perspectives: A Multi-Agent Framework for Enhanced Error Detection in Knowledge Graphs
Yu Li, Yi Huang, Guilin Qi +7
Knowledge graphs are widely used in industrial applications, making error detection crucial for ensuring the reliability of downstream applications. Existing error detection method…