Results 41 to 50 of about 366,917 (330)
Between Codes and Palimpsest: Stephanie Strickland's Dragon Logic
Ex-centric Narratives: Journal of Anglophone Literature, Culture and Media, 2019 This article will study the impact of programming languages on poetic language in Stephanie Strickland’s print poetry collection Dragon Logic (2013). In this article, I argue that Dragon Logic not only ponders on the changes that occur in contemporary ...
Lizzy Pournara
doaj +1 more source
On Logics of Transitive Verbs With and Without Intersective Adjectives
Studia Humana, 2018 The purpose of this paper is to contribute to the natural logic program which invents logics in natural language. This study presents two logics: a logical system called d R(∀,∃) containing transitive verbs and a more expressive logical system R(∀,∃, IA)
Topal Selçuk
doaj +1 more source
Varieties of conventional implicature
Semantics and Pragmatics, 2010 This paper provides a system capable of analyzing the combinatorics of a wide range of conventionally implicated and expressive constructions in natural language via an extension of Potts's (2005) L_CI logic for supplementary conventional implicatures ...
Eric Scott McCready
doaj +1 more source
Descriptive complexity for pictures languages [PDF]
, 2012 This paper deals with logical characterizations of picture languages of any dimension by syntactical fragments of existential second-order logic. Two classical classes of picture languages are studied: - the class of "recognizable" picture languages, i ...
Grandjean, Etienne
core +1 more source
Mapping Natural Language to Description Logic [PDF]
, 2017 While much work on automated ontology enrichment has focused on mining text for concepts and relations, little attention has been paid to the task of enriching ontologies with complex axioms. In this paper, we focus on a form of text that is frequent in industry, namely system installation design principle (SIDP) and we present a framework which can be
Bikash Gyawali +4 more
openaire +1 more source
Richard Montague’s Turn Towards Natural Language
PhilosophiesRichard Montague (1930–1971) is known as a founding figure of natural language semantics, i.e., the formal study of the semantics of natural languages by means of tools from mathematical logic.
Ivano Caponigro
doaj +1 more source
On the Logic of Expansion in Natural Language
, 2016 AbstractWe consider, for intuitionistic categorial grammar, an iteration modality with a rule of Mingle and an infinitary left rule, similar to infinitary action logic. Newly, we give Curry-Howard labelling for the iteration modality, in terms of lists, and we prove soundness and completeness of displacement calculus with additives and this modality ...
Glyn Morrill, Oriol Valentín
openaire +1 more source
Directed evolution of enzymes at the crossroads of tradition and innovation
FEBS Open Bio, EarlyView.An iterative cycle of data‐driven enzyme optimization comprising four stages: genetic diversification of a template enzyme, expression of protein variants, high‐throughput evaluation, and machine‐learning‐guided redesign of the next variant library.
Maria Tomkova +2 more
wiley +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
A Knowledge‐Based Approach for Understanding and Managing Additive Manufacturing Data
Advanced Engineering Materials, EarlyView.Additive manufacturing processes generate a large amount of data. Effectively managing, understanding, and retrieving information from this data remains a major challenge. Therefore, we propose an ontology‐based approach to integrate heterogeneous data, enable semantic queries, and support decision‐making.
Mina Abd Nikooie Pour +5 more
wiley +1 more source