Results 11 to 20 of about 352,054 (291)
Knowledge Distillation-Based Multilingual Code Retrieval
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]
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]
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
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
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]
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
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]
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
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]
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

