Achieving Completeness in Bounded Model Checking of Action Theories in ASP.

Laura Giordano, Alberto Martelli, Daniele Theseider Dupr

Browse the full KR paper archive.