Search
Now showing items 1-2 of 2
A Generalised Semantics for Belief Updates An Equivalence-based Approach
(2011)
As suggested in the literature, revising and updating beliefs and knowledge bases is an important unsolved topic in knowledge representation and reasoning that requires a solid theoretical basis, particularly in current ...
Algoritmo para la generación de laberintos de conexión múltiple en 2D
(2011)
En el presente trabajo se hace el análisis de los algoritmos para la construcción de Laberintos de Conexión Múltiple (LCM). Estos algoritmos construyen partes del laberinto con áreas inaccesibles ocasionando desperdicio ...