Mwmbl - context theoretic semantics

Welcome to Mwmbl! Feel free to submit a site to crawl. Please read the guidelines before editing results.

To contribute to the index you can get our Firefox Extension here. For recent crawling activity see stats.

https://en.wikipedia.org/wiki/Operational_semantics — found via Wikipedia

Operational semantics

Operational semantics is a category of formal programming language semantics in which certain desired properties of a program, such as correctness, safety

Semantics Davidson's Truth-Theoretic Semantics. Clarendon. ISBN 978-0-191-53749-3. Retrieved 2024-02-23. Lewis, David (2012). "General Semantics". In Davidson, Donald;

Denotational semantics In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings

Formal semantics (natural language) Formal semantics is the study of grammatical meaning in natural languages using formal concepts from logic, mathematics and theoretical computer science

Opposite (semantics) In lexical semantics, opposites are words lying in an inherently incompatible binary relationship. For example, something that is male entails that it
https://arxiv.org/abs/2009.10542 — found via Mwmbl

[2009.10542] Context-theoretic Semantics for Natural Language: an Algebraic Framework

Abstract:Techniques in which words are represented as vectors have proved useful in many applications in computational linguistics, however there is curre…

[2207.05946] Distribution Theoretic Semantics for Non-Smooth Dif… Abstract: With the wide spread of deep learning and gradient descent inspired optimization algorithms, differentiable programming has gained traction. Now…

[2207.05946v1] Distribution Theoretic Semantics for Non-Smooth D… Abstract: With the wide spread of deep learning and gradient descent inspired optimization algorithms, differentiable programming has gained traction. Now…

[1602.05400] Category theoretic semantics for theorem proving in… Abstract:A propositional logic program $P$ may be identified with a $P_fP_f$-coalgebra on the set of atomic propositions in the program. The correspondin…

[1602.05400v1] Category theoretic semantics for theorem proving … Abstract:A propositional logic program $P$ may be identified with a $P_fP_f$-coalgebra on the set of atomic propositions in the program. The correspondin…
https://doi.org/10.1023%2FA%3A1005607111810 — found via Mwmbl

Optimality Theoretic Semantics | SpringerLink

The aim of this article is to elucidate the processes that characterize natural language interpretation. The basic hypothesis is that natural language int…
https://translate.google.com/website?sl=es&tl=pt&hl=es&u=http://www.daml.org/2001/03/model-theoretic-semantics.html — found via Mwmbl

A Model-Theoretic Semantics for DAML+OIL (March 2001)

A Model-Theoretic Semantics for DAML+OIL (March 2001) This document provides a terse specification of the model-theoretic semantics for DAML+OIL. A DAML+…

Direct Model-Theoretic Semantics for OWL 3. Direct Model-Theoretic Semantics (Normative) This model-theoretic semantics for OWL goes directly from ontologies in the OWL DL abstract syntax, which…

RDF-Compatible Model-Theoretic Semantics for OWL 5. RDF-Compatible Model-Theoretic Semantics (Normative) This model-theoretic semantics for OWL is an extension of the semantics defined in the RDF semant…
https://surface.syr.edu/eecs_techreports/173 — found via Mwmbl

"General Model Theoretic Semantics for Higher-Order Horn Logic P…

Document Type Date Keywords Language Disciplines Description/Abstract We introduce model-theoretic semantics [6] for Higher-Order Horn logic programming …