92 citations · 394 across the 34 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2025
Cumulative-Time Signal Temporal Logic
Hongkai Chen, Zeyu Zhang, Shouvik Roy +4
Signal Temporal Logic (STL) is a widely adopted specification language in cyber-physical systems for expressing critical temporal requirements, such as safety conditions and respon…
cs.LO2019★ 7 cited
Knowledge of Uncertain Worlds: Programming with Logical Constraints
Yanhong A. Liu, Scott D. Stoller
Programming with logic for sophisticated applications must deal with recursion and negation, which together have created significant challenges in logic, leading to many different,…
cs.LO2016★ 12 cited
Founded Semantics and Constraint Semantics of Logic Rules
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…