2 citations · 4 across the 3 of their papers we have counts for
3 papers
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.AI2025★ 2 cited
Action Language BC+
Joseph Babb, Joohyung Lee
Action languages are formal models of parts of natural language that are designed to describe effects of actions. Many of these languages can be viewed as high level notations of a…
cs.AI2012★ 2 cited
Module Theorem for The General Theory of Stable Models
Joseph Babb, Joohyung Lee
The module theorem by Janhunen et al. demonstrates how to provide a modular structure in answer set programming, where each module has a well-defined input/output interface which c…