GitHub topics: logic-query
linzhouzhi/corumMirror
昆仑镜 一站式查询平台（使用过程中有遇到问题可以 微信我 linzhouzhi99 ）
Language: JavaScript - Size: 5.35 MB - Last synced at: 12 months ago - Pushed at: almost 7 years ago - Stars: 9 - Forks: 1
HKUST-KnowComp/EFO-1-QA-benchmark
Benchmark for Answering Existential First Order Queries with Single Free Variable (NeurIPS dataset and benchmark 2021)
Language: Python - Size: 41.2 MB - Last synced at: 14 days ago - Pushed at: almost 2 years ago - Stars: 19 - Forks: 5
HKUST-KnowComp/LMPNN
Logical Message Passing Networks with One-hop Inference in Atomic Formulas (ICLR 2023)
Language: Python - Size: 10.7 MB - Last synced at: 12 months ago - Pushed at: almost 2 years ago - Stars: 13 - Forks: 2
UCLA-SEAL/RefFinder
Template-based Reconstruction of Complex Refactorings (ICSME 2010, Most Influential Paper Award
Language: Java - Size: 17.9 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
