43 citations · 157 across the 25 of their papers we have counts for
1 paper · 2 filters
Yanhong A. Liu, Scott D. Stoller
Logic rules and inference are fundamental in computer science and have been studied extensively. However, prior semantics of logic languages can have subtle implications and can di…