Blai Bonet

icon indicating a website link bonetblai.github.io icon indicating an email [email protected]

icon company Universidad Simon Bolivar icon location Venezuela icon location Researcher at University Pompeu Fabra. Retired Professor at Universidad Simon Bolivar

Results 1 issues of Blai Bonet

Unchecked use of inexistent parameters in actions

1 comment

I just noticed that the parser accepts action schemas where the atoms make reference to inexistent variables. For example, if the parameters are (?x ?y), the schema may have a...