Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming.

Joaqun Arias, Manuel Carro, Gopal Gupta

Browse the full PADL paper archive.