Implementing an action language using a SAT solver.

Hidetomo Nabeshima, Katsumi Inoue, Hiromasa Haneda

Browse the full ICTAI paper archive.