2 citations · 2 across the 1 of their papers we have counts for
1 paper · 1 filter
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…