Results 31 to 40 of about 91,019 (215)
Stable Model Counting and Its Application in Probabilistic Logic Programming [PDF]
, 2014 Model counting is the problem of computing the number of models that satisfy a given propositional theory. It has recently been applied to solving inference tasks in probabilistic logic programming, where the goal is to compute the probability of given ...
Aziz, Rehan Abdul +3 more
core +1 more source
There Is No Pure Empirical Reasoning [PDF]
, 2017 The justificatory force of empirical reasoning always depends upon the existence of some synthetic, a priori justification. The reasoner must begin with justified, substantive constraints on both the prior probability of the conclusion and certain ...
Ayer +44 more
core +1 more source
Financial and Non-Financial Information Seeking: The Role of Managing Anger and Fear in Investment Strategies and Decision-making [PDF]
تحقیقات مالیObjectiveIn Iran's capital market, investors get the information they need to make decisions from various sources. Affected by different emotions, decision-making is considered one of the most complex psychological issues.
Vahid Oskou +2 more
doaj +1 more source
On the role of explanatory and systematic power in scientific reasoning [PDF]
, 2015 The paper investigates measures of explanatory power and how to define the inference schema “Inference to the Best Explanation”. It argues that these measures can also be used to quantify the systematic power of a hypothesis and the inference schema ...
Brössel, Peter
core +2 more sources
Theism and the Cumulative Argument [PDF]
Pizhūhish/hā-yi Falsafī- KalāmīIn recent scholarly discourse, natural theology’s forefront initiative has been the construction of theistic arguments grounded in empirical observations. A notable focus within this domain is the cumulative argument (CA) approach.
Ahmad Ebadi, Mohammad Emdadi Masuleh
doaj +1 more source
Algorithmic Randomness as Foundation of Inductive Reasoning and Artificial Intelligence [PDF]
, 2010 This article is a brief personal account of the past, present, and future of algorithmic randomness, emphasizing its role in inductive inference and artificial intelligence.
Hutter, Marcus
core +3 more sources
On Probability and Cosmology: Inference Beyond Data? [PDF]
, 2017 Modern scientific cosmology pushes the boundaries of knowledge and the knowable. This is prompting questions on the nature of scientific knowledge. A central issue is what defines a 'good' model.
Sahlen, Martin
core +2 more sources
Specifying and Verifying Properties of Space - Extended Version [PDF]
, 2014 The interplay between process behaviour and spatial aspects of computation has become more and more relevant in Computer Science, especially in the field of collective adaptive systems, but also, more generally, when dealing with systems distributed in ...
Ciancia, Vincenzo +3 more
core +2 more sources
Quantum Programming Made Easy [PDF]
, 2019 We present IQu, namely a quantum programming language that extends Reynold's Idealized Algol, the paradigmatic core of Algol-like languages. IQu combines imperative programming with high-order features, mediated by a simple type theory. IQu mildly merges
Paolini, Luca +2 more
core +2 more sources
Bayes and health care research. [PDF]
, 2005 Bayes’ rule shows how one might rationally change one’s beliefs in the light of evidence. It is the foundation of a statistical method called Bayesianism.
A. Chalmers +34 more
core +1 more source