48 citations · 174 across the 27 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.AI2026
Cplus2ASP: Computing Action Language C+ in Answer Set Programming
Joseph Babb, Joohyung Lee
We present Version 2 of system Cplus2ASP, which implements the definite fragment of action language C+. Its input language is fully compatible with the language of the Causal Calcu…
cs.AI2026★ 44 cited
Weighted Rules under the Stable Model Semantics
Joohyung Lee, Yi Wang
We introduce the concept of weighted rules under the stable model semantics following the log-linear models of Markov Logic. This provides versatile methods to overcome the determi…