Results 31 to 40 of about 8,603 (263)
ACC Journal, 2023 The author’s dissertation deals with the contemporary styles of Russian and Czech scientific prose in natural sciences. The aim of the research is to provide a detailed description of the language means of functional-semantic categories such as ...
Matyášková Gabriela
doaj +1 more source
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
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
Notre Dame Journal of Formal Logic, 1991 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
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
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I) [PDF]
Logical Methods in Computer Science, 2018 There are two natural and well-studied approaches to temporal ontology and reasoning: point-based and interval-based. Usually, interval-based temporal reasoning deals with points as a particular case of duration-less intervals.
Willem Conradie +2 more
doaj +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
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
New Directions for Adult and Continuing Education, EarlyView.ABSTRACT Advancing artificial intelligence (AI) has transformed learning and work, yet higher education and professional development programs have not systematically equipped learners for AI‐prevalent environments. This lack of preparation creates uncertainty regarding control, responsibility, trust, and accountability.
Moon‐Heum Cho, Jerusalem Merkebu
wiley +1 more source
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