Results 31 to 40 of about 991,150 (298)

Logicism in Logical Empiricism

, 2021
Logicism presents one of the cornerstones of logical empiricism. At the same time, the views defended by Carnap, Hahn, and Hempel, among others, differ significantly from Frege’s original thesis. The present chapter will focus on several accounts of logicism developed in logical empiricism between 1920 and 1940. The aim here is twofold.
openaire   +3 more sources

Completeness for game logic [PDF]

, 2019
Game logic was introduced by Rohit Parikh in the 1980s as a generalisation of propositional dynamic logic (PDL) for reasoning about outcomes that players can force in determined 2-player games.
Johannes Marti, Kupke, Clemens (author), Sebastian Enqvist, Venema, Yde (author), Clemens Kupke, Yde Venema, Hansen, Helle Hvid, Enqvist, Sebastian, Enqvist, Sebastian (author), Venema, Y., Hansen, H.H., Kupke, C., Marti, J., Kupke, Clemens, Venema, Yde, Hansen, H.H. (author), Marti, Johannes (author), Marti, Johannes, Helle Hvid Hansen, Enqvist, S.   +19 more
core   +2 more sources

Artificial intelligence as a scaffolding tool for self-directed learning in ODeL environments: an instrumental case study of Zimbabwe Open University

Frontiers in Education
Artificial Intelligence (AI) is increasingly integrated into Open and Distance eLearning (ODeL) environments, yet limited empirical research explains how AI functions as a scaffolding mechanism to support self-directed learning (SDL), particularly in ...
Logic Magwa
doaj   +1 more source

Exploiting parallelism in coalgebraic logic programming [PDF]

, 2014
We present a parallel implementation of Coalgebraic Logic Programming (CoALP) in the programming language Go. CoALP was initially introduced to reflect coalgebraic semantics of logic programming, with coalgebraic derivation algorithm featuring both ...
Schmidt, Martin, Heras, Jonathan, Heras, J. [0000-0003-4775-1306], Komendantskaya, Ekaterina, Komendantskaya, E. [0000-0002-3240-0987], Schmidt, M.   +5 more
core   +1 more source

Using theoretical frameworks to analyze democratic student–teacher engagement and autonomous learning for academic achievement in Zimbabwe

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

Modelling stem cell differentiation related processes—A practical overview for biologists

FEBS Letters, EarlyView.
Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar, Xinqi Yan, Lucas F. Jansen Klomp, Stefano Schivo, Janine N. Post   +4 more
wiley   +1 more source

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, Nina Gierasimczuk, Sonja Smets   +2 more
doaj   +1 more source

‘Guide and Prejudice’— How Argonautes recognize targets across domains of life

FEBS Letters, EarlyView.
Argonaute proteins use short nucleic‐acid guides to locate and regulate specific targets across all domains of life. Despite striking diversity—from human gene silencing to bacterial immune defence—all Argonautes share a conserved three‐stage recognition logic: guide‐directed sampling, progressive target pairing with a conformational checkpoint and ...
Jack P. K. Bravo
wiley   +1 more source

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, Mario Bendra, Johannes Ender, Roberto L. de Orio, Wolfgang Goes, Siegfried Selberherr, Viktor Sverdlov   +6 more
doaj   +1 more source

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, Razvan Veliche, Jared Bennett, Hamilton Scott Clouse   +3 more
doaj   +1 more source