There are 1 repository under logic-query topic.
Benchmark for Answering Existential First Order Queries with Single Free Variable (NeurIPS dataset and benchmark 2021)
Logical Message Passing Networks with One-hop Inference in Atomic Formulas (ICLR 2023)
昆仑镜 一站式查询平台(使用过程中有遇到问题可以 微信我 linzhouzhi99 )
Template-based Reconstruction of Complex Refactorings (ICSME 2010, Most Influential Paper Award