Results 31 to 40 of about 9,446 (176)
The SP Theory of Intelligence: An Overview
This article is an overview of the SP theory of intelligence, which aims to simplify and integrate concepts across artificial intelligence, mainstream computing and human perception and cognition, with information compression as a unifying theme.
J Gerard Wolff
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
Weak nonmonotonic probabilistic logics
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
Inductive equivalence in clausal logic and nonmonotonic logic programming [PDF]
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Sakama, Chiaki, Inoue, Katsumi
openaire +2 more sources
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
Progress in Strain Engineering of 2D‐Integrated Heterostructures for Ultrasensitive Sensors
. 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
Optimizing the computation of overriding
We introduce optimization techniques for reasoning in DLN---a recently introduced family of nonmonotonic description logics whose characterizing features appear well-suited to model the applicative examples naturally arising in biomedical domains and ...
BC Grau +17 more
core +1 more source
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
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 lexicographic closure as a revision process
The connections between nonmonotonic reasoning and belief revision are well-known. A central problem in the area of nonmonotonic reasoning is the problem of default entailment, i.e., when should an item of default information representing "if A is true ...
Booth, Richard
core +2 more sources

