A Formal Model for Metacognitive Reasoning in Intelligent Systems | Publicación