Results 41 to 50 of about 2,965,126 (259)
Formalization of Interstate Traffic Rules in Temporal Logic
2020 IEEE Intelligent Vehicles Symposium (IV), 2020 To allow autonomous vehicles to safely participate in traffic and to avoid liability claims for car manufacturers, autonomous vehicles must obey traffic rules.
Sebastian Maierhofer +3 more
semanticscholar +1 more source
Graph Representations for Higher-Order Logic and Theorem Proving [PDF]
AAAI Conference on Artificial Intelligence, 2019 This paper presents the first use of graph neural networks (GNNs) for higher-order proof search and demonstrates that GNNs can improve upon state-of-the-art results in this domain.
Aditya Sanjay Paliwal +4 more
semanticscholar +1 more source
Pengaruh Kecerdasan Logika Matematika Terhadap Disposisi Matematis Siswa
JRPM (Jurnal Review Pembelajaran Matematika), 2019 This study aims to determine the influence of logic smart on students' mathematical dispositions. The method is quantitative with ex post facto approach — the population of class XI MIPA MAN 2 Cirebon and three samples taken by random sampling.
Anah Maemanah, Widodo Winarso
doaj +1 more source
Sofia A. Yanovskaya: The Marxist Pioneer of Mathematical Logic in the Soviet Union [PDF]
, 2019 K. Marx’s 200th jubilee coincides with the celebration of the 85 years from the first publication of his “Mathematical Manuscripts” in 1933. Its editor, Sofia Alexandrovna Yanovskaya (1896–1966), was a renowned Soviet mathematician ...
Kilakos, Dimitris
core +2 more sources
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 +2 more
wiley +1 more source
$L^p-L^q$ estimates for non-local heat and wave type equations on locally compact groups
Comptes Rendus. MathématiqueWe prove the $L^p-L^q ...
Gómez Cobos, Santiago +2 more
doaj +1 more source
Formal logic: Classical problems and proofs [PDF]
, 2019 Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective.
Augusto, Luis M.
core
The Informal Logic of Mathematical Proof
, 2003 Informal logic is a method of argument analysis which is complementary to that of formal logic, providing for the pragmatic treatment of features of argumentation which cannot be reduced to logical form.
Brockriede Wayne +22 more
core +1 more source
Advanced Functional Materials, EarlyView.Electric control of magnetic tunnel junctions offers a path to drastically reduce the energy requirements of the device. Electric field control of magnetization can be realized in a multitude of ways. These mechanisms can be integrated into existing spintronic devices to further reduce the operational energy.
Will Echtenkamp +7 more
wiley +1 more source
From Logical Calculus to Logical Formality—What Kant Did with Euler’s Circles [PDF]
, 2017 John Venn has the “uneasy suspicion” that the stagnation in mathematical logic between J. H. Lambert and George Boole was due to Kant’s “disastrous effect on logical method,” namely the “strictest preservation [of logic] from mathematical encroachment ...
Lu-Adler, Huaping
core