Results 21 to 30 of about 418,606 (284)
PRX Quantum, 2021 Quantum computers promise tremendous impact across applications—and have shown great strides in hardware engineering—but remain notoriously error prone.
Yuval Baum +8 more
doaj +1 more source
Compiling With Classical Connectives [PDF]
Logical Methods in Computer Science, 2020 The study of polarity in computation has revealed that an "ideal" programming language combines both call-by-value and call-by-name evaluation; the two calling conventions are each ideal for half the types in a programming language.
Paul Downen, Zena M. Ariola
doaj +1 more source
PLoS ONE, 2021 BackgroundHealthcare purchasers such as health insurers and governmental bodies are expected to strategically manage chronic care chains. In doing so, purchasers can contribute to the goal of improving task division and collaboration between chronic care
Bart A C Noort +2 more
doaj +1 more source
Bankruptcy Prediction of Industrial Industry in the UK
Sriwijaya International Journal of Dynamic Economics and Business, 2017 We make comparison between 6 models including (1) Altman's (1968) z-score; (2) Model 1: z-score model with adjusted coefficients; (3) Model 2: z-score model with modified variables; (4) Model 3: dynamic logic model; (5) Merton distance to default (DD ...
Wong Ming Nok
doaj +1 more source
Induction and Confirmation Theory: An Approach based on a Paraconsistent Nonmonotonic Logic [PDF]
Princípios, 2010 This paper is an effort to realize and explore the connections that exist between nonmonotonic logic and confirmation theory. We pick up one of the most wide-spread nonmonotonic formalisms – default logic – and analyze to what extent and under what ...
Ricardo Sousa Silvestre
doaj
An Implementation of a Non-monotonic Logic in an Embedded Computer for a Motor-glider [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 In this article we present an implementation of non-monotonic reasoning in an embedded system. As a part of an autonomous motor-glider, it simulates piloting decisions of an airplane.
José Luis Vilchis Medina +3 more
doaj +1 more source
Logic Programming with Default, Weak and Strict Negations [PDF]
, 2005 This paper treats logic programming with three kinds of negation: default, weak and strict negations. A 3-valued logic model theory is discussed for logic programs with three kinds of negation.
Yamasaki, Susumu
core +3 more sources
Cogent Business & Management, 2019 The construction of an internal rating model is the main task for the bank in the framework of the IRB-foundation approach the fact that it is necessary to determine the probability of default by rating class.
Mohamed Habachi, Saâd Benbachir
doaj +1 more source
Вестник Православного Свято-Тихоновского гуманитарного университета: Серия I. Богословие, философия, 2018 This article investigates the problems which arise when the concept of possible worlds is applied to modal and existential judgments about God.
Alexey Chernyak, Andrey Veretennikov
doaj +1 more source
A comparison of sceptical NAF-free logic programming approaches [PDF]
, 1999 Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language.
Antoniou, Grigoris +3 more
core +2 more sources