Results 51 to 60 of about 719,711 (199)

Executable Temporal Logic for Nonmonotonic Reasoning

, 1996
this paper we view nonmonotonic reasoning as a (special kind of) process. As temporal logic is a common formalism to specify and derive properties of processes, we introduce a variant of temporal logic as a general specification language for reasoning ...
Joeri Engelfriet, Jan Treur, Treur, Jan; id_orcid, Engelfriet, Joeri   +3 more
core   +1 more source

Efficient Computation of the Well-Founded Semantics over Big Data [PDF]

, 2014
Data originating from theWeb, sensor readings and social media result in increasingly huge datasets. The so called Big Data comes with new scientific and technological challenges while creating new opportunities, hence the increasing interest in academia
Faber, Wolfgang, Tachmazidis, Ilias, Antoniou, Grigoris   +2 more
core   +1 more source

“When life was in the home circle” in the conditional reasonings of Fregean mad-humans and logical penalists

Слово.ру: балтийский акцент
We advocate an idea that a necessary condition for a dispute about truth amounts not to the carriers of non-ideal logical thought, but to a variety of approaches to reconstructing the logical form of conditional reasoning, which implies diversification ...
Elena N. Lisanyuk
doaj   +1 more source

Recent progress of the exchange bias based on 2D van der Waals ferromagnet

InfoScience, EarlyView.
Ultrathin magnetic materials could help make smaller, energy‐efficient memories, but their magnetic states must remain stable and controllable. This review brings together recent research on exchange bias, a magnetic pinning effect in layered materials, and explains how interfaces and electrical, thermal or mechanical controls can tune it, with optical
Wajahat Ali, Shaojie Hu
wiley   +1 more source

Nonmonotonic Logics and Their Algebraic Foundations [PDF]

, 2006
The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the emergence of nonmonotonic logics and introduce two major nonmonotonic formalisms, default and autoepistemic logics.
openaire   +1 more source

Organic electrochemical transistors for neural recording and modulation: From mixed‐conduction physics to closed‐loop biointerfaces

InfoMat, EarlyView.
OECT‐based neural interfaces integrate mixed ionic‐electronic transduction, soft biointegration, multimodal sensing, and closed‐loop modulation, enabling adaptive recording, neurochemical monitoring, and intelligent therapeutic strategies. Abstract Next‐generation neural interfaces increasingly aim to couple neural recording with local processing and ...
Chao Zhao, Zhongqing Sun, Shijie Wang, Bingjun Wang, Zixuan Yuan, Yaomin Guo, Jie Zhao, Leyuan Li, Xiaomu Wang, Wen Jiang, Wei Ma   +10 more
wiley   +1 more source

Mechanical memory in aging: From adaptive sensing to pathological entrenchment

Interdisciplinary Medicine, EarlyView.
Mechanical memory in aging operates through four temporal tiers, from cytoskeletal remodeling to metabolic reprogramming. Aging disrupts this cascade through three distinct decoupling patterns: sensor degradation, conduction blockade, and execution failure, leading to irreversible pathological entrenchment across multiple organ systems.
Mingyang Huang, Xiaoyu Ma, Ruiqi Gao, Qichen Miao, Guoqing Wang, Ziyuan Liu, Kun Wang, Ming Luo   +7 more
wiley   +1 more source

Vascular Smooth Muscle Cell Migration and P70S6K: Key Players in Intimal Hyperplasia Development

Journal of the American Heart Association: Cardiovascular and Cerebrovascular Disease
Background Vascular smooth muscle cell (VSMC) recruitment and activation by vessel injury cause intimal hyperplasia (IH) and restenosis. Drug‐eluting stents releasing mTOR (mechanistic target of rapamycin) blockers (sirolimus, everolimus [EV]) improve ...
Sara Moreno‐Estar, Pilar Cidad, Marycarmen Arevalo‐Martinez, Ana M. Portillo, Marcos Sacristan‐Moraleda, Esperanza Alonso, Jose R. Lopez‐Lopez, M. Teresa Perez‐Garcia   +7 more
doaj   +1 more source

Novel Ensemble Prediction Framework for Fast and Accurate Phase Prediction in FeNiCoCrAlCu High‐Entropy Alloys by Integrating Data Augmentation and Interpretable Methods

Materials Genome Engineering Advances, EarlyView.
A physics‐informed machine learning framework is established for phase prediction in FeNiCoCrAlCu HEA. Limited experimental data are expanded through GMM‐based augmentation, followed by descriptor calculation, Pearson‐PCA feature optimization, stacking ensemble classification, and SHAP interpretation, enabling accurate phase identification and ...
Ruixiao Zhang, Biao Chen, Ruihao Yuan, Yi Williams Wang, Jun Wang, Jinshan Li   +5 more
wiley   +1 more source

Reasoning about minimal knowledge in nonmonotonic modal logics

, 1999
We study the problem of embedding Halpern and Moses's modal logic of minimal knowledge states into two families of modal formalism for nonmonotonic reasoning, McDermott and Doyle's nonmonotonic modal logics and ground nonmonotonic modal logics. First, we
ROSATI, Riccardo
core   +1 more source