Results 11 to 20 of about 3,424,284 (379)
Progressive changes in descriptive discourse in First Episode Schizophrenia: a longitudinal computational semantics study. [PDF]
Schizophrenia (Heidelb), 2022 Computational semantics, a branch of computational linguistics, involves automated meaning analysis that relies on how words occur together in natural language. This offers a promising tool to study schizophrenia. At present, we do not know if these word-
Alonso-Sánchez MF +5 more
europepmc +4 more sources
Contextual Inference in Computational Semantics [PDF]
Context, 1999 In this paper, an application of automated theorem proving techniques to computational semantics is considered. In order to compute the presuppositions of a natural language discourse, several inference tasks arise. Instead of treating these inferences independently of each other, we show how integrating techniques from formal approaches to context ...
Christof Monz
semanticscholar +7 more sources
A computational semantics for natural language [PDF]
Annual Meeting of the Association for Computational Linguistics, 1985 In the new Head-driven Phrase Structure Grammar (HPSG) language processing system that is currently under development at Hewlett-Packard Laboratories, the Montagovian semantics of the earlier GPSG system (see [Gawron et al.
Lewis G. Creary, Carl Pollard
openalex +2 more sources
Relating Structure and Power: Comonadic Semantics for Computational Resources [PDF]
Annual Conference for Computer Science Logic, 2018 Combinatorial games are widely used in finite model theory, constraint satisfaction, modal logic and concurrency theory to characterize logical equivalences between structures.
Samson Abramsky, Nihil Shah
openalex +3 more sources
On infinite computations in denotational semantics
Theoretical Computer Science, 1983 AbstractFinite and, especially, infinite computations in languages with iteration or recursion are studied in the framework of denotational semantics, and a theorem is proved which relates their syntactic and semantic characterizations. A general proof method is presented to establish this type of relations, and it is shown how—in an induction on the ...
J. W. de Bakker +2 more
openaire +3 more sources
Computational Semantics for Monadic Quantifiers [PDF]
J. Appl. Non Class. Logics, 1998 This paper gives a survey of known results related to computational devices (finite and push-down automata) recognising monadic generalised quantifiers infinite models.
Marcin Mostowski
openalex +2 more sources
Bicategorical Semantics for Nondeterministic Computation
Electronic Notes in Theoretical Computer Science, 2013 We outline a bicategorical syntax for the interaction between public and private information in classical information theory. We use this to give high-level graphical definitions of encrypted communication and secret sharing protocols, including a characterization of their security properties.
Jamie Vicary, Jamie Vicary, Michael Stay
openaire +5 more sources
An extensible toolkit for computational semantics [PDF]
International Conference on Computational Semantics, 2009 In this paper we focus on the software for computational semantics provided by the Python-based Natural Language Toolkit (nltk). The semantics modules in nltk are inspired in large part by the approach developed in Blackburn and Bos (2005) (henceforth ...
Dan Garrette, Ewan Klein
openalex +2 more sources
The semantics of Chemical Markup Language (CML) for computational chemistry : CompChem
Journal of Cheminformatics, 2012 This paper introduces a subdomain chemistry format for storing computational chemistry data called CompChem. It has been developed based on the design, concepts and methodologies of Chemical Markup Language (CML) by adding computational chemistry ...
Phadungsukanan Weerapong +3 more
doaj +2 more sources