Results 21 to 30 of about 47,006 (154)

Changing a semantics: opportunism or courage?

, 2014
The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic.
A. Chagrov, A. Gil-Luezas, A. Mann, A. Mostowski, A. Pasztor, B. Davey, B. Ganter, B. Jónsson, B. ten Cate, D. Cantone, D. Gallin, D. Harel, D. Hilbert, D. Kozen, E. Bishop, E. Lopez-Escobar, G. Bezhanishvili, G. Sambin, H. Andréka, H. Andréka, H. Andréka, H. Andréka, H. Enderton, H.-D. Ebbinghaus, H.A. Priestley, H.A. Priestley, I. Walukiewicz, J. Akkanen, J. Barwise, J. Barwise, J. Barwise, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Hintikka, J. Madarász, J. Väänänen, J. Väänänen, J. Väänänen, K. Kunen, L. Csirmaz, L. Esakia, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Humberstone, L. Santocanale, L. Santocanale, M. Dunn, M. Dunn, M. Gehrke, M. Kracht, M. Manzano, M. Manzano, M.O. Rabin, N. Bezhanishvili, N. Bezhanishvili, N. Galatos, P. Blackburn, P. Hájek, R. Kaye, R. Montague, R.L. Vaught, S. Ambler, S. Feferman, S. Simpson, S.K. Thomason, T. Gergely, T. Hyttinen, V. Marra, V. Stebletsova, W. Blok, W. Holliday, W. Walkoe, Y. Venema, Y. Venema   +84 more
core   +1 more source

Semantic primitives and compositionality: An Annual Review of Information Science and Technology (ARIST) paper

Journal of the Association for Information Science and Technology, EarlyView.
Abstract The term semantic primitives refers to a set of basic, atomic concepts from which all other (compound) concepts are constructed. It presupposes the principle of compositionality—the idea that complex items or expressions can be formed by combining simpler constituents.
Birger Hjørland
wiley   +1 more source

Artificial intelligence in preclinical epilepsy research: Current state, potential, and challenges

Epilepsia Open, EarlyView.
Abstract Preclinical translational epilepsy research uses animal models to better understand the mechanisms underlying epilepsy and its comorbidities, as well as to analyze and develop potential treatments that may mitigate this neurological disorder and its associated conditions. Artificial intelligence (AI) has emerged as a transformative tool across
Jesús Servando Medel‐Matus, Cesar Santana‐Gomez, Ruby G. Escalante, Dominique Duncan, Pedro F. Viana, Giulia Sofia Cereda, Naoto Kuroda, Aristea S. Galanopoulou   +7 more
wiley   +1 more source

Modeling Nonintersective Adjectives Using Operator Logics [PDF]

, 2003
Our topic is one that involves the interface between natural language and mathematical logic. First-order predicate language/logic does a good job approximating many parts of (English) speech, i.e., nouns, verbs and prepositions, but fails decidedly when
Bankston, Paul
core   +1 more source

Teaching Students to Understand Knowledge: Stress‐Testing the ‘Justified True Belief Account’ for Critical Thinking

Future in Educational Research, EarlyView.
ABSTRACT This conceptual essay, grounded in a close reading of Plato's Theaetetus, argues that before educators can effectively operationalise critical thinking as the rigorous evaluation ('stress‐testing') of competing knowledge claims, university students must first understand foundational epistemological principles rooted in Plato's tripartite ...
Gerry Dunne
wiley   +1 more source

Assortment Planning in Omnichannel Retailing Under Product Returns and Showcase Capacity

Naval Research Logistics (NRL), EarlyView.
ABSTRACT We investigate the assortment planning decisions of a retailer that operates an online sales channel and a brick‐and‐mortar store. We explicitly investigate the impact of product returns, which is a norm in modern retailing and a factor for lost profit.
Amin Aslani, Osman Alp
wiley   +1 more source

Generalised quantum weakest preconditions

, 2009
Generalisation of the quantum weakest precondition result of D'Hondt and Panangaden is presented. In particular the most general notion of quantum predicate as positive operator valued measure (POVM) is introduced.
B. Simon, B. Ömer, C. Hoare, D. Kielpinski, E. D’Hondt, E.W. Dijkstra, F. Brennecke, F. Buscemi, G. Birkhoff, G. Mackey, H.A. Carteret, J. Gruska, J.W. Bakker de, K. Hennessy, K. Kraus, M. Nielsen, M. Sawerwain, M.D. Choi, M.L. Dalla Chiara, Marek Sawerwain, P. Piron, P. Selinger, P. Zuliani, Roman Gielerak, S. Betelli, S.J. Gay, S.L. Braunstein, S.L. Braunstein, T.C. Ralph, V. Paulsen, W.A. Majewski, Z. Ficek   +31 more
core   +1 more source

The Emotional Valence of Hyperrationality in STEM Learning: Reinscriptions and Contestations of Coloniality

Science Education, EarlyView.
ABSTRACT As part of the special issue Centering Affect and Emotion Toward Justice and Dignity in Science Education, this paper examines the emergence and performance of hyperrationality in STEM classrooms. Hyperrationality describes verbal and embodied expressions whereby learners try to maintain an appearance of neutrality and emotional distance to ...
Natalie R. Davis, Thomas M. Philip
wiley   +1 more source

Resource redeployment as an entry advantage in resource‐poor settings

Strategic Management Journal, EarlyView.
Abstract Research Summary Scarcity of productive factors poses a challenge for firms entering underdeveloped regions. We theorize that incumbent firms can overcome scarcity of skilled human capital in local labor markets by redeploying workers from existing units.
Jasmina Chauvin, Carlos Inoue, Christopher Poliquin   +2 more
wiley   +1 more source