Gonzalo A. Aranda Corral

  • Citations Per Year
Learn More
Knowledge Representation & Reasoning is a fundamental topic in Artificial Intelligence. Different systems exist to help to teach this, usually focused on proofs, but anyone on formalization, which is the hardest process for students to understand in logic and AI courses. In this work we present FITS (Formalization with an Intelligent Tutor System), the(More)
This paper re-analyzes the well-documented failure of a 30m deep braced excavation in underconsolidated marine clay using an advanced effective stress soil model (MIT-E3). The collapse of the Nicoll Highway during construction of cut-and cover tunnels for the new Circle Line in Singapore has been extensively investigated and documented. All prior analyses(More)
This paper begins with an overview of medical robotics and then describes an algorithm for automatic needle placement using a six degree of freedom (DOF) robot during minimally invasive spine procedures. The term fluoroscopy servoing is given to this process since an x-ray fluoroscope is used as the visualization tool. A software application was developed(More)
  • 1