An Answer Set Prolog formalization of shikake principles and examples - Methodology and lessons learned

Daniela Inclezan. An Answer Set Prolog formalization of shikake principles and examples - Methodology and lessons learned. AI Soc., 30(4):537-547, 2015. [doi]

Abstract

Abstract is missing.