Showing cs.AIShow 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.AI2025
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…