Results 11 to 20 of about 352,054 (291)

Knowledge Distillation-Based Multilingual Code Retrieval

open access: yesAlgorithms, 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

An abstract machine for restricted and-parallel execution of logic programs [PDF]

open access: yes, 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

The natural logic of language and cognition [PDF]

open access: yesPragmatics. Quarterly Publication of the International Pragmatics Association (IPrA), 2022
This paper aims at an explanation of the discrepancies between natural intuitions and standard logic in terms of a distinction between NATURAL and CONSTRUCTED levels of cognition, applied to the way human cognition deals with sets. NATURAL SET THEORY (NST) restricts standard set theory cutting it down to naturalness.
openaire   +2 more sources

Compound nouns do not always fulfill the conjunction thesis: An analysis using the mental model theory

open access: yesLenguaje, 2021
This paper is intended to show that the properties classical logic attributes to conjunction are not always found in real compound nouns in natural language. This fact is described by means of several examples taken from different natural languages.
Miguel López-Astorga
doaj   +1 more source

Logica, retorica e linguistica = Logic, Rhetoric and Grammar

open access: yesH-ermes: Journal of Communication, 2014
Logic, Rhetoric and Grammar. The connection between Logic, Rhetoric, and Grammar, a connection well-known to the ancients, is also prominent in the modern theory of argumentation, in which the field of Logic – in the nineteenth century restricted to ...
S. De Masi
doaj   +1 more source

Generalizing input-driven languages: theoretical and practical benefits [PDF]

open access: yes, 2017
Regular languages (RL) are the simplest family in Chomsky's hierarchy. Thanks to their simplicity they enjoy various nice algebraic and logic properties that have been successfully exploited in many application fields.
Mandrioli, Dino, Pradella, Matteo
core   +2 more sources

Henkin semantics for reasoning with natural language

open access: yesJournal of Language Modelling, 2016
The frequency of intensional and non-first-order definable operators in natural languages constitutes a challenge for automated reasoning with the kind of logical translations that are deemed adequate by formal semanticists.
Michael Hahn, Frank Richter
doaj   +1 more source

Fuzzy Linguistic Logic Programming and its Applications [PDF]

open access: yes, 2009
The paper introduces fuzzy linguistic logic programming, which is a combination of fuzzy logic programming, introduced by P. Vojtas, and hedge algebras in order to facilitate the representation and reasoning on human knowledge expressed in natural ...
Le, Van Hung, Liu, Fei, Tran, Dinh Khang
core   +1 more source

Chinese Studies on the Logic of Natural Language

open access: yesAsian Studies, 2022
This paper makes a historic review on the development of the Logic of Natural Language (LNL) in China, which can be roughly divided into three periods: the first period which spanned from the late 1950s to the late 1980s was the initial period of LNL in China; the second period, a transitional period from the preliminarily integrated mode of LNL to the
Chongli Zou, Kesheng Li
openaire   +3 more sources

Combining Semantic Wikis and Controlled Natural Language [PDF]

open access: yes, 2008
We demonstrate AceWiki that is a semantic wiki using the controlled natural language Attempto Controlled English (ACE). The goal is to enable easy creation and modification of ontologies through the web.
Kuhn, Tobias
core   +3 more sources

Home - About - Disclaimer - Privacy