Barcenas, Everardo, CONACYT, Mexico

• Vol 19, No 2 (2015): 19(2) April-June 2015 - Report on PhD Thesis
  A Counting Logic for Trees
  Abstract  PDF
• 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