Results 41 to 50 of about 73,209 (264)

Agent-Knowledge Logic for Alternative Epistemic Logic

Bulletin of the Section of Logic
Epistemic logic is known as a logic that captures the knowledge and beliefs of agents and has undergone various developments. In this paper, we propose a new logic called agent-knowledge logic by taking the product of individual knowledge structures and
Yuki Nishimura
doaj   +1 more source

Self‐Regulated Learning Meets AI: Reinterpreting Self‐Regulation, Co‐Regulation, and Socially Shared Regulation in Human–AI Interaction

New Directions for Adult and Continuing Education, EarlyView.
ABSTRACT Advancing artificial intelligence (AI) has transformed learning and work, yet higher education and professional development programs have not systematically equipped learners for AI‐prevalent environments. This lack of preparation creates uncertainty regarding control, responsibility, trust, and accountability.
Moon‐Heum Cho, Jerusalem Merkebu
wiley   +1 more source

Finite sum – product logic

Theory and Applications of Categories, 2001
Summary: In this paper we describe a deductive system for categories with finite products and coproducts, prove decidability of equality of morphisms via cut elimination, and prove a ``Whitman theorem'' for the free such categories over arbitrary base categories.
Cockett, J. R. B., Seely, R. A. G.
openaire   +2 more sources

Nationwide Survey of Association Between Fever and Epileptic Seizure in CDKL5 Deficiency Disorder Revealed Therapeutic Implications

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective CDKL5 deficiency disorder (CDD) is a rare, severe developmental and epileptic encephalopathy. There is a pressing need to develop effective and sustainable therapeutic strategies. We aimed to investigate the causal association between febrile episodes and epileptic seizures for therapeutic implications in CDD patients.
Siyi Wang, Jialin Du, Jinghui Liu, Dongmei Hu, Hongxin Wang, Xiaoxiao Man, Lehong Gao, Shimin Hu, Xianghong Meng, Hongyang Zhao, Minjing Hu, Yingxue Yang, Zhiqi Xiong, Liankun Ren   +13 more
wiley   +1 more source

A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems

International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.
A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam, Anthony Siming Chen, Guido Herrmann   +2 more
wiley   +1 more source

Complementary Logic Implementation for Antiferromagnet Field-Effect Transistors

IEEE Journal on Exploratory Solid-State Computational Devices and Circuits, 2018
In this paper, a compact and complementary logic implementation is proposed for antiferromagnet field-effect transistor (AFMFET) devices. The implementation enables a complete set of Boolean operations based on complementary logic as well as majority ...
Chenyun Pan, Azad Naeemi
doaj   +1 more source

FUZZY-MULTIPLE APPROACH TO RISK ASSESSMENT UNDER THE CONDITIONS OF MANAGEMENT DIGITALIZATION IN ENTERPRISE ACTIVITY

Фінансово-кредитна діяльність: проблеми теорії та практики, 2021
. The success of the enterprise in the market depends on the level of its competitiveness, which, in turn, is determined by the level of competitive advantages of products developed and supplied to the market.Constant updating of the product range by ...
A. Mazaraki , I. Fedulova, Yu. Drozdova, S. Bai   +3 more
doaj   +1 more source

Product of Graphs and Hybrid Logic

Electronic Notes in Theoretical Computer Science, 2009
AbstractLeft and right commutativity and the Church-Rosser and reverse Church-Rosser properties are necessary conditions for a graph (frame) to be a (non-trivial) product of two other graphs, but their conjunction is not a sufficient condition. This work presents a fifth property, called H-V intransitivity, that, when added to the four previous ...
Mario R. F. Benevides, Luis Menasché Schechter   +1 more
openaire   +1 more source

NFDI MatWerk Ontology (MWO): A BFO‐Compliant Ontology for Research Data Management in Materials Science and Engineering

Advanced Engineering Materials, EarlyView.
This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi, Ebrahim Norouzi, Kostiantyn Hubaiev, Jörg Waitelonis, Harald Sack   +4 more
wiley   +1 more source

Research on Data Organization Methods and Key Technologies for Product-Oriented Smart Steel Bar Processing Systems

ASEAN Journal on Science and Technology for Development
This paper addresses the issues in the data organization logic of existing intelligent steel bar processing systems, which are centered on construction projects.
Peijun Zhang, Lianxia Ma, Chunlei Zhang, Xinwu Zan   +3 more
doaj   +1 more source