Results 21 to 30 of about 2,799,711 (314)
Frontiers in Education, 2022 Positive student–teacher engagement that fosters independent and supported learning is the fulcrum for academic success. This paper investigates stakeholder opinions on the intrinsic importance of a democratic student–teacher relationship and autonomous ...
Logic Magwa, Kamleshie Mohangi
doaj +1 more source
On the Concept of a Notational Variant [PDF]
, 2017 In the study of modal and nonclassical logics, translations have frequently been employed as a way of measuring the inferential capabilities of a logic.
C Caleiro +14 more
core +1 more source
Quantum logic as a dynamic logic [PDF]
Synthese, 2010 We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others (Among whom we may count or not E. W. Beth, depending on how we interpret some of his statements), our answer is a clear “no”.
Baltag, A., Smets, S.
openaire +5 more sources
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020 We propose a logic of directions for points (LD) over 2D Euclidean space, which formalises primary direction relations east (E), west (W), and indeterminate east/west (Iew), north (N), south (S) and indeterminate north/south (Ins). We provide a sound and complete axiomatisation of it, and prove that its satisfiability problem is NP-complete.
Heshan Du +2 more
openaire +4 more sources
Static Seeding and Clustering of LSTM Embeddings to Learn From Loosely Time-Decoupled Events
IEEE Access, 2023 Humans learn from the occurrence of events at different places and times to predict similar trajectories of events. We define loosely decoupled time (LDT) phenomena as two or more events that could occur in different places and across different timelines
Christian G. Manasseh +3 more
doaj +1 more source
Continuous first order logic and local stability [PDF]
, 2008 We develop continuous first order logic, a variant of the logic described in \cite{Chang-Keisler:ContinuousModelTheory}. We show that this logic has the same power of expression as the framework of open Hausdorff cats, and as such extends Henson's logic ...
Usvyatsov, Alexander, Yaacov, Itaï Ben
core +5 more sources
On the Solvability of Inductive Problems: A Study in Epistemic Topology [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 We investigate the issues of inductive problem-solving and learning by doxastic agents. We provide topological characterizations of solvability and learnability, and we use them to prove that AGM-style belief revision is "universal", i.e., that every ...
Alexandru Baltag +2 more
doaj +1 more source
The expressive power of modal logic with inclusion atoms [PDF]
, 2015 Modal inclusion logic is the extension of basic modal logic with inclusion atoms, and its semantics is defined on Kripke models with teams. A team of a Kripke model is just a subset of its domain. In this paper we give a complete characterisation for the
Hella, Lauri, Stumpf, Johanna
core +2 more sources
Notre Dame Journal of Formal Logic, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Spin and charge drift-diffusion in ultra-scaled MRAM cells
Scientific Reports, 2022 Designing advanced single-digit shape-anisotropy MRAM cells requires an accurate evaluation of spin currents and torques in magnetic tunnel junctions (MTJs) with elongated free and reference layers.
Simone Fiorentini +6 more
doaj +1 more source