Results 11 to 20 of about 366,917 (330)
Дискурс, 2020 Introduction. The article continues the series of publications on the linguistics of relations (hereinafter R–linguistics) and is devoted to an introduction to the logic of natural language in relation to the approach considered in the series.
O. M. Polyakov
doaj +1 more source
Language and the African Philosophical Traditions
Yoruba Studies Review, 2021 Are there universal principles, categories, or forms of reasoning that apply to all aspects of human experience—irrespective of culture and epoch? Numerous scholars have explored this very question from Africana perspectives: Kwasi Wiredu (1996) explored
Kọ́lá Abímbọ́lá
doaj +3 more sources
Linear Temporal Logic for Regular Cost Functions [PDF]
Logical Methods in Computer Science, 2014 Regular cost functions have been introduced recently as an extension to the notion of regular languages with counting capabilities, which retains strong closure, equivalence, and decidability properties.
Denis Kuperberg
doaj +1 more source
Formal Specifications from Natural Language [PDF]
arXiv.org, 2022 We study the generalization abilities of language models when translating natural language into formal specifications with complex semantics. In particular, we fine-tune language models on three datasets consisting of English sentences and their ...
Christopher Hahn +5 more
semanticscholar +1 more source
eLife, 2020 Despite the importance of programming to modern society, the cognitive and neural bases of code comprehension are largely unknown. Programming languages might ‘recycle’ neurocognitive mechanisms originally developed for natural languages.
Yun-Fei Liu +3 more
doaj +1 more source
A Survey and Classification of Controlled Natural Languages [PDF]
International Conference on Computational Logic, 2014 What is here called controlled natural language (CNL) has traditionally been given many different names. Especially during the last four decades, a wide variety of such languages have been designed. They are applied to improve communication among humans,
T. Kuhn
semanticscholar +1 more source
An abstract machine for restricted and-parallel execution of logic programs [PDF]
, 1986 Although the sequential execution speed of logic programs has been greatly improved by the concepts introduced in the Warren Abstract Machine (WAM), parallel execution represents the only way to increase this speed beyond the natural limits of sequential
Hermenegildo, Manuel V.
core +3 more sources
Nested Hoare Triples and Frame Rules for Higher-order Store [PDF]
Logical Methods in Computer Science, 2011 Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level languages with ML-style general (higher-order) storage, we investigate the ...
Jan Schwinghammer +3 more
doaj +1 more source
Knowledge Distillation-Based Multilingual Code Retrieval
Algorithms, 2022 Semantic code retrieval is the task of retrieving relevant codes based on natural language queries. Although it is related to other information retrieval tasks, it needs to bridge the gaps between the language used in the code (which is usually syntax ...
Wen Li, Junfei Xu, Qi Chen
doaj +1 more source
Formal consistency checking over specifications in natural languages [PDF]
Design, Automation and Test in Europe, 2014 Early stages of system development involve outlining desired features such as functionality, availability, or usability. Specifications are derived from these features that concretize vague ideas presented in natural languages.
Rongjie Yan +2 more
semanticscholar +1 more source