Buscar
Mostrando ítems 1-10 de 438
Toward a Theory of Moral ReasoningHacia una teoría del razonamiento moral
(Universidad de Puerto Rico, Recinto de Río Piedras, 2023)
Abductive virtue and rule of hypothesis introduction in natural deduction La virtud abductiva y la[ Tr]egla de introducción de hipótesis en deducción natural
(Pontificia Universidade Catolica do Parana, 2014)
Since its creation by Peirce, the nature of abductive inference has been construed in many ways. Three construing are analyzed, and some of their derivatives, to then examine the possibility for considering abduction as ...
La virtud abductiva y la regla de introducción de hipótesis en deducción natural
(Pontificia Universidade Catolica do Parana, 2014)
Since its creation by Peirce, the nature of abductive inference has been construed in many ways. Three construing are analyzed, and some of their derivatives, to then examine the possibility for considering abduction as ...
A discussion on the origin of quantum probabilities
(Elsevier, 2013-11)
We study the origin of quantum probabilities as arising from non-Boolean propositional-operational structures. We apply the method developed by Cox to non distributive lattices and develop an alternative formulation of ...
Fundamentação cinética da estatística não gaussiana : efeitos em politrópicas
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em FísicaFísica da Matéria Condensada; Astrofísica e Cosmologia; Física da Ionosfera, 2011-09-19)
Considering a non-relativistic ideal gas, the standard foundations of
kinetic theory are investigated in the context of non-gaussian statistical mechanics
introduced by Kaniadakis. The new formalism is based on the ...
Unification modulo Presburger Arithmetic and other decidable theories
(2013-03-08)
We present a general unification algorithm modulo Presburger Arithmetic for a restricted class of modularly specified theories where function symbols of the target theory have non arithmetic codomain sorts. Additionally, ...
Process tracing. Inducción, deducción e inferencia causal
(Pontificia Universidad Católica de Chile, 2017)
El process tracing es un método para arribar a inferencias causales sólidas. Preocupados
por la fragmentación creciente de la literatura en torno a variantes de process
tracing, ponemos de relieve aquello que unifica el ...
Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías
(2014-03)
En esta tesis investigamos el uso de simetrías en el contexto de lógicas modales y de satisfacibilidad módulo teorías (SMT). Desarrollamos el marco teórico para utilizar las simetrías de
una fórmula modal utilizando el ...