92 citations · 103 across the 11 of their papers we have counts for
3 papers · 1 filter
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…
Integrating Logic Rules with Everything Else, Seamlessly
Yanhong A. Liu, Scott D. Stoller, Yi Tong +1
This paper presents a language, Alda, that supports all of logic rules, sets, functions, updates, and objects as seamlessly integrated built-ins. The key idea is to support predica…
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…