Results 61 to 70 of about 938,794 (293)
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic
, 1998 When reasoning about complex domains, where information available is usually only partial, nonmonotonic reasoning can be an important tool. One of the formalisms introduced in this area is Reiter's Default Logic (1980).
Joeri Engelfriet, Jan Treur
core +2 more sources
A simulation-based approach to calibrating target fund levels for investor compensation schemes
Ekonomski VjesnikPurpose: Investor compensation schemes (ICSs) provide a safety net for retail investors when investment firms fail. However, the optimal level of ex-ante funding remains largely undefined.
Petar-Pierre Matek +2 more
doaj +1 more source
Negation by default and unstratifiable logic programs [PDF]
, 1991 The default approach to the theory of logic programs (and deductive databases) is based on the interpretation of negation by default rules. Default logic is a well-suited formalism to express the Closed World Assumption and to define the declarative ...
Bidoít, Nicole, Froidevaux, Christine
core +1 more source
Advanced Science, EarlyView.An integrative single‐cell atlas across multiple metabolic diseases reveals coordinated metabolic modules and disease‐shared versus disease‐specific pathway activities. By systematically comparing scoring strategies, a robust RankAve framework is established. Coupled with network analysis and drug‐target prediction, this resource uncovers cross‐disease
Kuan Yang +10 more
wiley +1 more source
Reifying default reasons in justification logic [PDF]
, 2019 The main goal of this paper is to argue that justification logic advances the formal study of default reasons. After introducing a variant of justification logic with default reasons, we first show how the logic can be used to model undercutting attacks ...
Pandzic, Stipe
core +7 more sources
Conceptual thinking in Hegel’s [PDF]
Argument, 2013 Analytical philosophy after Frege’s logicism and Russell’s logical atomism presupposes sortal domains of individual “entities” for which we already have defined their identities and elementary predicates. Such “things” exist only in ideal “possible world”
Pirmin STEKELER-WEITHOFER
doaj
Restricted Four-Valued Logic for Default Reasoning
, 2015 In Reiter's default logic, it is possible that no useful information can be brought from inconsistent knowledge or no extension of incoherent default theories exists.
Chen Chen +3 more
core +1 more source
Logic Programming as Constructivism [PDF]
, 1989 The features of logic programming that seem unconventional from the viewpoint of classical logic can be explained in terms of constructivistic logic. We motivate and propose a constructivistic proof theory of non-Horn logic programming.
Bry, François
core +1 more source
Advanced Science, EarlyView.Autonomous laboratories can now synthesize materials faster than experts can interpret the resulting diffraction data. A probabilistic framework combines refinement‐fit metrics with large language model‐derived chemical reasoning to rank competing phase interpretations and flag those unsuitable for autonomous use.
Olympia Dartsi +7 more
wiley +1 more source
Advanced Science, EarlyView.Using grilled lamb skewers as a model system, this work builds a multiscale coupling framework from oral processing to retronasal aroma perception, reveals dual‐kinetic release patterns and Electroencephalogram‐characterized central encoding features, and proposes an interpretable physics‐guided deep learning model validated by multiphysics simulation,
Che Shen +12 more
wiley +1 more source