92 citations · 394 across the 34 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…