Results 1 to 10 of about 176,906 (321)
Computational semantics in clinical text. [PDF]
Biomed Inform Insights, 2013 This special issue of Biomedical Informatics Insights presents the full paper proceedings of the first workshop on Computational Semantics in Clinical Text (CSCT), held in 2013. Along with Nigam Shah and Kevin Bretonnel Cohen, my co-organizers, I am grateful for BII’s willingness to produce this forward-looking publication.
Wu S.
europepmc +7 more sources
Is semantics computational? [PDF]
Theoretical Linguistics, 2006 Abstract 1. Introduction Both formal semantics and cognitive semantics are the source of important insights about language. By developing precise statements of the rules of meaning in fragmentary, abstract languages, formalists have been able to offer perspicuous accounts of how we might ...
Mark Steedman, Matthew Stone
openaire +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 +4 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
Contextual Inference in Computational Semantics
, 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
openaire +6 more sources
Progressive changes in descriptive discourse in First Episode Schizophrenia: a longitudinal computational semantics study. [PDF]
Schizophrenia (Heidelb), 2022 Alonso-Sánchez MF +5 more
europepmc +3 more sources
Using logical constraints to validate statistical information about disease outbreaks in collaborative knowledge graphs: the case of COVID-19 epidemiology in Wikidata [PDF]
PeerJ Computer Science, 2022 Urgent global research demands real-time dissemination of precise data. Wikidata, a collaborative and openly licensed knowledge graph available in RDF format, provides an ideal forum for exchanging structured data that can be verified and consolidated ...
Houcemeddine Turki +10 more
doaj +2 more sources