Query Answering in Normal Logic Programs under Uncertainty

We present a simple, yet general top-down query answering procedure for normal logic programs over lattices and bilattices, where functions may appear in the rule bodies. Its interest relies on the fact that many approaches to paraconsistency and uncertainty in logic programs with or without non-monotonic negation are based on bilattices or lattices, respectively

Carisma salesiano y educación superior

Las Instituciones Salesianas de Educación Superior (IUS) necesitamos generar una cultura universitaria que sea el resultado no solo de la experiencia, sino sobre todo del ejercicio de pensar cómo estamos haciendo educación superior. El punto nuclear de ese desafío es profundizar la riquísima relación entre carisma salesiano y el mundo universitario. Las IUS quieren ser un proyecto educativo que se inspira en los valores del Evangelio y en la pedagogía salesiana nacida del Sistema Preventivo vivido por Don Bosco. Pretenden caracterizarse por ser comunidades académicas que educan, unificadas en torno a un proyecto institucional definido al servicio de los jóvenes, especialmente de sectores populares, con una clara finalidad educativo-pastoral

A Multi-Adjoint Logic Approach to Abductive Reasoning

Multi-adjoint logic programs has been recently introduced [9, 10] as a generalization of monotonic logic programs [2, 3], in that simultaneous use of several implications in the rules and rather general connectives in the bodies are allowed. This pape