Solving Vehicle Equipment Specification Problems with Answer Set Programming.

Raito Takeuchi, Mutsunori Banbara, Naoyuki Tamura, Torsten Schaub

Browse the full PADL paper archive.