AI RESEARCH
Neural Scalable Symbolic Search Framework for Complex Logical Queries with Multiple Free Variables
arXiv CS.AI
•
ArXi:2605.25985v1 Announce Type: new Complex Query Answering (CQA) is a fundamental knowledge representation and reasoning task over incomplete knowledge graphs (KGs). Answering existential first-order queries with $k$ free variables (i.e., $\text{EFO}_k$ queries) is a crucial yet challenging problem, as it requires ranking answer tuples in $\mathcal{E}^k$, where $\mathcal{E}$ denotes the entity set of a KG. This quickly becomes intractable as $k$ grows.