Comparing Planning Domain Models Using Answer Set Programming.

Luks Chrpa, Carmine Dodaro, Marco Maratea, Marco Mochi, Mauro Vallati

Browse the full JELIA paper archive.