Results 41 to 50 of about 1,497,677 (335)
Explicit Evidence Systems with Common Knowledge
Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms for individual agents as well as for common knowledge.
Alberucci L. +26 more
core +5 more sources
Embedding Logic Rules Into Recurrent Neural Networks
Incorporating prior knowledge into recurrent neural network (RNN) is of great importance for many natural language processing tasks. However, most of the prior knowledge is in the form of structured knowledge and is difficult to be exploited in the ...
Bingfeng Chen +6 more
doaj +1 more source
This study integrates transcriptomic profiling of matched tumor and healthy tissues from 32 colorectal cancer patients with functional validation in patient‐derived organoids, revealing dysregulated metabolic programs driven by overexpressed xCT (SLC7A11) and SLC3A2, identifying an oncogenic cystine/glutamate transporter signature linked to ...
Marco Strecker +16 more
wiley +1 more source
LOGICISM, INTERPRETABILITY, AND KNOWLEDGE OF ARITHMETIC [PDF]
AbstractA crucial part of the contemporary interest in logicism in the philosophy of mathematics resides in its idea that arithmetical knowledge may be based on logical knowledge. Here, an implementation of this idea is considered that holds that knowledge of arithmetical principles may be based on two things: (i) knowledge of logical principles and ...
openaire +4 more sources
Disjunctive Logic Programs with Inheritance
The paper proposes a new knowledge representation language, called ...
Buccafurri, Francesco +2 more
core +1 more source
This review summarizes artificial intelligence (AI)‐supported nonpharmacological interventions for adults with chronic rheumatic diseases, detailing their components, purpose, and current evidence base. We searched Embase, PubMed, Cochrane, and Scopus databases for studies describing AI‐supported interventions for adults with chronic rheumatic diseases.
Nirali Shah +5 more
wiley +1 more source
A specialization of definitions in common knowledge logic
It is known that one of main aims of specializations of derivations in nonclassical logics is the various tools which allow us to simplify the searching of termination of derivations.
Aurimas Paulius Girčys +1 more
doaj +1 more source
Implementing Default and Autoepistemic Logics via the Logic of GK [PDF]
The logic of knowledge and justified assumptions, also known as logic of grounded knowledge (GK), was proposed by Lin and Shoham as a general logic for nonmonotonic reasoning.
Ji, Jianmin, Strass, Hannes
core
Knowability Relative to Information [PDF]
We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information.
Berto, Franz, Hawke, Peter
core +2 more sources
Objective We aimed to validate the Pediatric Arthritis Ultrasound Scoring System (PAUSS) for upper extremity joints in children with juvenile idiopathic arthritis (JIA). Methods Children with JIA were evaluated for elbow, wrist, or finger arthritis by clinical examination (CE) and musculoskeletal ultrasound (MSUS) with images scored according to the ...
Patricia Vega‐Fernandez +12 more
wiley +1 more source

