Results 41 to 50 of about 352,054 (291)
Manuscrito, 2018 In this paper, I argue that a number of influential Millian responses to Frege’s puzzle, which consist in denying that Frege’s data apply to natural languages (and thinking), are not viable if logic is to play its role in legitimizing the logical ...
Emiliano Boccardi
doaj +1 more source
2D Magnetic and Topological Quantum Materials and Devices for Ultralow Power Spintronics
Advanced Functional Materials, EarlyView.2D magnets and topological quantum materials enable ultralow‐power spintronics by combining robust magnetic order with symmetry‐protected, Berry‐curvature‐driven transport. Fundamentals of 2D anisotropy and spin‐orbit‐coupling induced band inversion are linked to scalable growth and vdW stacking.
Brahmdutta Dixit +5 more
wiley +1 more source
Automated Generation of OCL Constraints: NL based Approach vs Pattern Based Approach [PDF]
Mehran University Research Journal of Engineering and Technology, 2017 This paper presents an approach used for automated generations of software constraints. In this model, the SBVR (Semantics of Business Vocabulary and Rules) based semi-formal representation is obtained from the syntactic and semantic analysis of a NL ...
IMRAN SARWAR BAJWA +1 more
doaj
A FRAMEWORK FOR ASPECT BASED SENTIMENT ANALYSIS USING FUZZY LOGIC
ICTACT Journal on Soft Computing, 2018 Sentiment Analysis (SA) is the study of people’s opinions, emotions, and appraisals toward products and events. In the past years, it fascinated a great deal of attentions from both industry and academia for a variety of applications.
A Jenifer Jothi Mary, L Arockiam
doaj +1 more source
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 In the plethora of fragments of Halpern and Shoham's modal logic of time intervals (HS), the logic AB of Allen's relations Meets and Started-by is at a central position.
Laura Bozzelli +4 more
doaj +1 more source
Metalinguistic Monstrosity and Displaced Communications
Dialectica, 2022 David Kaplan's semantic theory for indexicals yields a distinct logic for indexical languages that generates contingent a priori truths. These special truths of the logic of indexicals include examples like "I am here now", an utterance of which ...
Graham Stevens
doaj +1 more source
Entanglement as a semantic resource [PDF]
, 2010 The characteristic holistic features of the quantum theoretic formalism and the intriguing notion of entanglement can be applied to a field that is far from microphysics: logical semantics. Quantum computational logics are new forms of quantum logic that
Dalla Chiara, ML +3 more
core +1 more source
Multi‐Scale Interface Engineering of MXenes for Multifunctional Sensory Systems
Advanced Functional Materials, EarlyView.MXenes, as two‐dimensional transition metal carbides and nitrides, demonstrate remarkable capabilities for multifunctional sensing applications. This review systematically examines multi‐scale interface engineering approaches that enhance sensing performance, enable diverse detection functionalities, and improve system‐level compatibility in MXene ...
Jiaying Liao, Sin‐Yi Pang, Jianhua Hao
wiley +1 more source
The difference between natural and artificial intelligence patterns: From micro to macro level [PDF]
Известия Саратовского университета. Новая серия: Серия Философия. Психология. ПедагогикаIntroduction. The convergence between brain science and artificial intelligence technologies makes the relationship between human thinking and AI systems relevant. Theoretical analysis. The formation of artificial and natural intelligences takes place in
Duplinskya, Yuliya Mikhailovna +1 more
doaj +1 more source
RuleCNL: A Controlled Natural Language for Business Rule Specifications
, 2014 Business rules represent the primary means by which companies define their business, perform their actions in order to reach their objectives. Thus, they need to be expressed unambiguously to avoid inconsistencies between business stakeholders and ...
Abed, Walid El +3 more
core +1 more source