Results 111 to 120 of about 26,020 (289)
Modeling simultaneous events with default reasoning and tight derivations
, 1990 This report describes how an arbitrator for the game of Diplomacy was implemented in PROLOG, and discusses the advantages of logic programming for this type of problem. The design of the program is greatly simplified by using a default reasoning style to
Van Gelder, Allen
core +1 more source
Enhancing CAR‐T Cell Efficacy in Solid Tumors by Inhibiting CCL5/VEGF‐Mediated Angiogenesis
Advanced Science, EarlyView.This study reveals that CAR‐T cells in solid tumors produce CCL5, which paradoxically induces VEGF and angiogenesis to promote tumor growth. Blocking CCL5/VEGF signaling—through gene knockout, or the CCR5 inhibitor maraviroc—significantly enhances the antitumor efficacy of CAR‑T therapy (the diagram was created in Biorender).
Shishuo Sun +15 more
wiley +1 more source
New Tractable Cases in Default Reasoning from Conditional Knowledge Bases
, 2000 We present new tractable cases for default reasoning from conditional knowledge bases. In detail, we introduce q-Horn conditional knowledge bases, which allow for a limited use of disjunction.We show that previous tractability results for epsilon ...
Eiter, Thomas +3 more
core +1 more source
Traction Force Microscopy for Viscoelastic Substrates: A Semi‐Analytical Method
Advanced Science, EarlyView.A semi‐analytical viscoelastic traction force microscopy framework is introduced for quantifying time‐resolved cell tractions on flat finite‐thickness substrates. The method generalizes elastic traction force microscopy to Generalized Maxwell materials, identifies when elastic approximations remain valid and, when they do not, shows that inferred ...
Adrià Villacrosa‐Ribas +10 more
wiley +1 more source
ON THE CONNECTION BETWEEN NORMAL DEFAULT REASONING AND CONDITIONAL LOGIC
, 2012 Conditional logic plays an important role in recent attempts to investigate default reasoning. In this paper we show that normal default reasoning can be captured in the conditional logic CL: Reiter extensions of a normal default theory delta = <D, W ...
Obeid, Nadim
core
Reasoning without Data, Default Assumptions
Ecology and Society, 2000 Michael Tillotson
doaj +1 more source
Personalized Network‐Guided Neuromodulation Enhances Human Working Memory
Advanced Science, EarlyView.A personalized neuromodulation framework combining individualized functional brain network targeting with real‐time neural decoding is introduced. Using concurrent TMS–fMRI, participant‐specific stimulation targets and optimal frequencies are identified. Only optimal‐frequency stimulation improves working memory across sessions.
Ahsan Khan +13 more
wiley +1 more source
Towards efficient default reasoning [PDF]
, 1995 A decision method for Reiter's default logic is developed. It can determine whether a default theory has an extension, whether a formula is in some extension of a default theory and whether a formula is in every extension of a default theory.
Ilkka Niemelä
core
Advanced Science, EarlyView.Molecular, genetic, virological, and biochemical analysis in combination with global proteome and phosphoproteome profiling and functional assays were applied to study the role of PR130 in the context of HSV‐1 replication. The observations reveal that host‐intrinsic mechanisms regulate HSV‐1 replication and highlight PR130 as a susceptibility factor of
Johannes Jungwirth +10 more
wiley +1 more source
Connections between default reasoning and partial constraint satisfaction
, 1999 This paper provides the foundation of connections between default reasoning and constraint satisfaction. Such connections are important because they combine fields with different strengths that complement each other: default reasoning is broadly seen as ...
Goebel, RG +3 more
core +1 more source