3 citations · 8 across the 3 of their papers we have counts for
3 papers
cs.PL2023★ 2 cited
Benchmarking for Integrating Logic Rules with Everything Else
Yanhong A. Liu, Scott D. Stoller, Yi Tong +1
Integrating logic rules with other language features is increasingly sought after for advanced applications that require knowledge-base capabilities. To address this demand, increa…
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★ 3 cited
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…