Buscar
Mostrando ítems 1-3 de 3
Artículo
Razonamiento explicativo y evolución de lógicas: Una aproximación desde la semántica de mundos posibles
(Universidad de Málaga, 2013)
Realizamos un acercamiento al razonamiento explicativo mediante estructuras modales. Usamos el formalismo bien conocido de los marcos de Kripke, pero asociamos a cada mundo, no una interpretación, sino una lógica. De este ...
Artículo
A colouring protocol for the generalized Russian cards problem
(Elsevier, 2013)
In the generalized Russian cards problem, Alice, Bob and Cath draw a, b and c cards, respectively, from a deck of size a + b + c. Alice and Bob must then communicate their entire hand to each other, without Cath learning ...
Artículo
Correspondence and Independence of Numerical Evaluations of Algorithmic Information Measures
(IOS Press, 2013)
We show that real-value approximations of Kolmogorov-Chaitin complexity K(s) using the algorithmic coding theorem, as calculated from the output frequency of a large set of small deterministic Turing machines with up to 5 ...