3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.PL2022★ 3 cited
Programming with rules and everything else, seamlessly
Yanhong A. Liu, Scott D. Stoller, Yi Tong +2
Logic rules are powerful for expressing complex reasoning and analysis problems. At the same time, they are inconvenient or impossible to use for many other aspects of applications…
cs.LO2019
Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees
K. Tuncay Tekle, Yanhong A. Liu
Given a set of Datalog rules, facts, and a query, answers to the query can be inferred bottom-up starting from the facts or top-down starting from the query. For efficiency, top-do…