A
Menu
February 21, 2016 conference-paper Open access

Decidable Verification of Golog Programs over Non-Local Effect Actions

Proceedings of the AAAI Conference on Artificial Intelligence

DOI: 10.1609/aaai.v30i1.10109 Full text (OA) OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 3 stored of 15

3 results

References 0