Results 31 to 40 of about 421,883 (287)
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
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
Where Fail-Safe Default Logics Fail
, 2004 Reiter's original definition of default logic allows for the application of a default that contradicts a previously applied one. We call failure this condition.
Cholewinski P. +8 more
core +1 more source
Two Senses of Indian Theory of Polemics
RUDN Journal of Philosophy, 2018 The article identifies two senses of the theory of controversy developed in the traditional Indian culture - logical and religious-philosophical (metaphysical).
N A Kanaeva
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
IEEE Access, 2023 GPUs and programmable data planes have gone through an enormous evolution in the past years. GPUs can be used for modeling the real-world environment accurately, while programmable data planes can monitor the network in real-time and implement novel ...
Csaba Gyorgyi +4 more
doaj +1 more source
PASTA‐ELN: Simplifying Research Data Management for Experimental Materials Science
Advanced Engineering Materials, EarlyView.Research data management faces ongoing hurdles as many ELNs remain complex and restrictive. PASTA‐ELN offers an open‐source, cross‐platform solution that prioritizes simplicity, offline access, and user control. Its in tuitive folder structure, modular Python add‐ons, and open formats enable seamless documentation, FAIR data practices, and easy ...
S. Brinckmann, G. Winkens, R. Schwaiger
wiley +1 more source
BMC Genomics, 2022 Background During embryogenesis, the developmental potential of initially pluripotent cells becomes progressively restricted as they transit to lineage restricted states.
Kristin Johnson +3 more
doaj +1 more source
Auto‐Routing Fluidic Printed Circuit Boards
Advanced Robotics Research, EarlyView.This work introduces (STREAM) software tool for routing efficiently advanced macrofluidics, an open‐source software tool for automating the design of 3D‐printable fluidic circuit boards. STREAM streamlines tube routing and layout, enabling the rapid fabrication of fluidic networks for soft robotics, lab‐on‐a‐chip devices, microfluidics, and biohybrid ...
Savita V. Kendre +3 more
wiley +1 more source