Results 51 to 60 of about 150,993 (319)

Temporalised Normative Positions in Defeasible Logic [PDF]

, 2005
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of temporalised agency and temporalised normative positions.
Governatori, G., Rotolo, A., Sartor, G.
core   +3 more sources

Single‐Step Synthesis of In‐plane 1T'‐2H Heterophase MoTe2 for Low‐Resistance Contacts

Advanced Functional Materials, EarlyView.
A single‐step CVD method is developed to synthesize seamless in‐plane 1T'‐2H MoTe2 heterophase junctions with precise phase control and uniform large‐area coverage. The resulting transistors, incorporating 1T' MoTe2 contacts and 2H MoTe2 channels, exhibit ultralow contact resistance, offering a scalable solution to the long‐standing challenge of ...
Ye Lin, Hanwool Lee, Junzhe Kang, Zhiyu Wang, Richard T. Haasch, Stasiu T. Chyczewski, Zetai Liu, Huai‐Chung Chuang, Jun‐Fei Zheng, Wenjuan Zhu   +9 more
wiley   +1 more source

Functional Materials for Environmental Energy Harvesting in Smart Agriculture via Triboelectric Nanogenerators

Advanced Functional Materials, EarlyView.
This review explores functional and responsive materials for triboelectric nanogenerators (TENGs) in sustainable smart agriculture. It examines how particulate contamination and dirt affect charge transfer and efficiency. Environmental challenges and strategies to enhance durability and responsiveness are outlined, including active functional layers ...
Rafael R. A. Silva, Giulio Fatti, Emanuel Carlos, Guilherme Ferreira, Sumita Goswami, Suman Nandy, Luiz H. C. Mattoso, Elvira Fortunato, Caio G. Otoni, Rodrigo Martins   +9 more
wiley   +1 more source

In Materia Shaping of Randomness with a Standard Complementary Metal‐Oxide‐Semiconductor Transistor for Task‐Adaptive Entropy Generation

Advanced Functional Materials, EarlyView.
This study establishes a materials‐driven framework for entropy generation within standard CMOS technology. By electrically rebalancing gate‐oxide traps and Si‐channel defects in foundry‐fabricated FDSOI transistors, the work realizes in‐materia control of temporal correlation – achieving task adaptive entropy optimization for reinforcement learning ...
Been Kwak, Ryun‐Han Koo, Youngchan Cho, Changhyeon Han, Dongbin Kim, Soi Jeong, Yunho Shin, Joonhyeok Choi, Jiseong Im, Jonghyun Ko, Jong‐Ho Lee, Jangsaeng Kim, Youngho Kang, Wonjun Shin, Daewoong Kwon   +14 more
wiley   +1 more source

Game Semantics for Non-monotonic Intensional Logic Programming

Annals of Pure and Applied Logic, 2013
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Galanaki, C., Nomikos, C., Rondogiannis, P.   +2 more
openaire   +3 more sources

The Gödel and the Splitting Translations [PDF]

, 2010
When the new research area of logic programming and non-monotonic reasoning emerged at the end of the 1980s, it focused notably on the study of mathematical relations between different non-monotonic formalisms, especially between the semantics of stable ...
Pearce, David Andrew
core  

Observation of Relativistic Domain Wall Motion in Amorphous Ferrimagnets

Advanced Functional Materials, EarlyView.
Domain walls in ferrimagnets and antiferromagnets move as relativistic sine‐Gordon solitons, with the spin‐wave velocity setting their speed limit. Such relativistic domain‐wall motion is demonstrated in amorphous GdFeCo near angular momentum compensation, where current‐driven walls reach 90% of the 2 kms−1 spin‐wave speed, enabling ultrafast, device ...
Pietro Diona, Luca Maranzana, Sergey Artyukhin, Giacomo Sala   +3 more
wiley   +1 more source

Diverging Approaches to Skeptical Inference in Non-monotonic Reasoning

Principia: An International Journal of Epistemology
Our paper addresses the problem of a two-fold approach to skeptical inferences in the context non-monotonic logics. We tackle the problem through the analysis of ambiguous theories, such as the Nixon Diamond, as instantiated in non-monotonic inheritance ...
Jorge Andrés Morales Delgado
doaj   +1 more source

Belief Change and Non-Monotonic Reasoning Sans Compactness

AAAI Conference on Artificial Intelligence, 2019
Belief change and non-monotonic reasoning are arguably different perspectives on the same phenomenon, namely, jettisoning of currently held beliefs in response to some incompatible evidence.
Jandson S. Ribeiro, Abhaya C. Nayak, Renata Wassermann   +2 more
semanticscholar   +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