Results 51 to 60 of about 366,917 (330)
Definiteness-indefiniteness category and logical quantification
Cognitive Studies | Études cognitives, 2015 Definiteness-indefiniteness category and logical quantification This work has been written within the “Logic and Language” project, realized under a cooperation agreement between the Institute of Slavic Studies of the Polish Academy of Sciences and the
Violetta Koseska-Toszewa
doaj +1 more source
Probabilities on Sentences in an Expressive Logic [PDF]
, 2012 Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly.
Hutter, Marcus +3 more
core +4 more sources
PASTA‐ELN: Simplifying Research Data Management for Experimental Materials Science
Advanced Engineering Materials, EarlyView.Research data management faces ongoing hurdles as many ELNs remain complex and restrictive. PASTA‐ELN offers an open‐source, cross‐platform solution that prioritizes simplicity, offline access, and user control. Its in tuitive folder structure, modular Python add‐ons, and open formats enable seamless documentation, FAIR data practices, and easy ...
S. Brinckmann, G. Winkens, R. Schwaiger
wiley +1 more source
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
A Tableau Prover for Natural Logic and Language [PDF]
Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, 2015 Modeling the entailment relation over sentences is one of the generic problems of natural language understanding. In order to account for this problem, we design a theorem prover for Natural Logic, a logic whose terms resemble natural language expressions.
openaire +2 more sources
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
Filosofia Unisinos, 2021 This paper gives a brief account of the main ideas of our book on “Lexical inferences and net-interpretation of predicates”. In their applications of modern formal logic in their work, linguists naturally adopt two typical options: sententialism ...
L. S. F. Olavo, Julio Cabrera
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
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
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