Results 21 to 30 of about 9,211 (158)
Choosing Your Nonmonotonic Logic: A Shopper’s Guide [PDF]
, 2018 The paper presents an exhaustive menu of nonmonotonic logics. The options are individuated in terms of the principles they reject. I locate, e.g., cumulative logics and relevance logics on this menu.
Hlobil, Ulf
core
Representation results for defeasible logic [PDF]
, 2000 The importance of transformations and normal forms in logic programming, and generally in computer science, is well documented. This paper investigates transformations and normal forms in the context of Defeasible Logic, a simple but efficient formalism ...
Antoniou, G. +3 more
core +7 more sources
Electrical Control of the Transduction Channels’ Gating Force in Mechanosensory Hair Cells
Advanced Science, EarlyView.The inner ear's hair cells rely on mechanosensitive ion channels to convert vibrations of their hair‐bundle into electrical signals. We show that varying the electrical potential (U) across the sensory epithelium modulates a key determinant of mechanosensitivity—the gating force (FG)—by modulating the gating swing (d), ranging from the size of the ...
Achille Joliot +2 more
wiley +1 more source
A Nonmonotonic Sequent Calculus for Inferentialist Expressivists [PDF]
, 2016 I am presenting a sequent calculus that extends a nonmonotonic consequence relation over an atomic language to a logically complex language. The system is in line with two guiding philosophical ideas: (i) logical inferentialism and (ii) logical ...
Hlobil, Ulf
core
Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME
, 2018 We present a heuristic based algorithm to induce \textit{nonmonotonic} logic programs that will explain the behavior of XGBoost trained classifiers.
Gupta, Gopal, Shakerin, Farhad
core +1 more source
An Elastocaloric Polymer with Ultra‐High Solid‐State Cooling via Defect Engineering
Advanced Science, EarlyView.This work reports a defect‐engineering strategy that enables a record‐high adiabatic temperature change of up to 8.14 ± 1.76 °C in elastomers at an elevated temperature above 65 °C. Combined experimental and theoretical efforts reveal that increasing dangling‐chain defects nonmonotonically impacts the elastocaloric cooling performance of polymers due ...
Zhaohan Yu +11 more
wiley +1 more source
Unveiling a Stable Polysulfide Transport Framework in a Fluorine‐Free Li‐S Batteries
Advanced Science, EarlyView.This work unveils a lithium thiophosphate reaction pathway activated by trigger P2S5 units, which initiate fast self‐assembly and shift the system away from conventional Li‐S reactions. The reversible Li‐P‐S framework delivers stability, safety, and high energy density, while enabling a distinct solid‐liquid hybrid electrochemical mode that provides a ...
Feng‐Yu Wu +3 more
wiley +1 more source
Embedded Direct‐Written Organic Micro‐TEGs for High‐Efficiency Skin‐Heat Harvesting
Advanced Electronic Materials, EarlyView.A finite‐element–guided design of direct‐written organic micro‐thermoelectric generators is presented for efficient skin‐heat harvesting. Embedding PEDOT:PSS/PBFDO thermoelectric legs within flexible substrates suppresses interfacial heat losses and enhances vertical heat flow.
Milad Jabri +4 more
wiley +1 more source
Advanced Energy Materials, EarlyView.Electric‐field‐driven carbon migration within an oxygen‐functionalized nanodiamond/carbon composite induces the formation of a vertically graded interphase that homogenizes Li‐ion flux and suppresses dendritic nucleation. This hierarchically organized structure stabilizes the electrode–electrolyte interface and delivers durable, dendrite‐free operation
Jaeseong Kim +9 more
wiley +1 more source
Advanced Intelligent Discovery, EarlyView.This article establishes a Taguchi–Bayesian sampling strategy to reconstruct polymer processing–property landscape at minimal sampling cost, generically building the roadmap for materials database construction from sampling their vast design space. This sampling strategy is featured by an alternating lesson between uniformity and representativeness ...
Han Liu, Liantang Li
wiley +1 more source