Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic.

Reza Basseda

Browse the full LPNMR paper archive.