Barcenas, Everardo, Mexico

• Vol 21, No 3 (2017): Thematic issue: Advances in Logic-based Methods for Intelligent Systems (J. C. Nieves, E. Hermann Haeusler, B. Lopes) - Articles of the Thematic Issue
  Branching Path Planning with Modal Logics
  Abstract  PDF