Results 21 to 30 of about 4,404 (137)
Advanced Science, EarlyView.Interpretable machine learning reveals how composition and processing govern the formation and microstructural burden of Fe‐rich intermetallic compounds in recycled Al–Si–Fe–Mn alloys. By separating morphology selection from morphology‐conditioned burden partitioning, this framework shows that identical Fe contents can yield different intermetallic ...
Jaemin Wang +2 more
wiley +1 more source
Adaptive logic characterizations of input/output logic [PDF]
, 2016 We translate unconstrained and constrained input/output logics as introduced by Makinson and van der Torre to modal logics, using adaptive logics for the constrained case. The resulting reformulation has some additional benefits. First, we obtain a proof-
Beirlaen, Mathieu +2 more
core +2 more sources
Progress in Strain Engineering of 2D‐Integrated Heterostructures for Ultrasensitive Sensors
Advanced Science, EarlyView.. ABSTRACT Two‐dimensional (2D) integrated heterostructures have emerged as a cornerstone in the advancement of next‐generation sensor technologies. These heterostructures, which combine materials with different dimensionalities, have led to significant breakthroughs in sensing performance and device integration.
That Buu Ton +4 more
wiley +1 more source
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
Philosophy East and West, 2004 Claus Oetke, in his "Ancient Indian Logic as a Theory of Non-monotonic Reasoning," presents a sweeping new interpretation of the early history of Indian logic. His main proposal is that Indian logic up until Dharmakirti was nonmonotonic in character-similar to some of the newer logics that have been explored in the field of Artificial Intelligence ...
openaire +3 more sources
Advanced Energy Materials, EarlyView.This work presents lightweight, lignin‐derived carbon fiber current collectors that enable controlled lithium deposition. Structural defects and intermediate‐sized pores stabilize pre‐nucleation quasi‐metallic lithium clusters, promoting uniform lithium plating and stripping.
Samantha L. S. Southern +13 more
wiley +1 more source
The Complexity of Reasoning for Fragments of Default Logic [PDF]
, 2009 Default logic was introduced by Reiter in 1980. In 1992, Gottlob classified the complexity of the extension existence problem for propositional default logic as $\SigmaPtwo$-complete, and the complexity of the credulous and skeptical reasoning problem as
A.L. Selman +15 more
core +4 more sources
A Unifying Approach to Self‐Organizing Systems Interacting via Conservation Laws
Advanced Intelligent Discovery, EarlyView.The article develops a unified way to model and analyze self‐organizing systems whose interactions are constrained by conservation laws. It represents physical/biological/engineered networks as graphs and builds projection operators (from incidence/cycle structure) that enforce those constraints and decompose network variables into constrained versus ...
F. Barrows +7 more
wiley +1 more source
Implementing Default and Autoepistemic Logics via the Logic of GK [PDF]
, 2014 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
Large-scale Parallel Stratified Defeasible Reasoning [PDF]
, 2012 We are recently experiencing an unprecedented explosion of available data from the Web, sensors readings, scientific databases, government authorities and more.
Antoniou, Grigoris +4 more
core +1 more source