There are two steps mentioned in the part of that paper--Modifying Jason.
Is there any extra steps?
If there is a separtate file for beliefs(as following) in constraint
solver ECLiPSe, how we write beliefs in .asl file of Jason? If there are
parameters for each actions in a plan, do we need to change the other
codes, which Jason did not deal with that?
By the way, is there any examples in Jason that refers to the applicable
Thanks for your help.