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://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 …
-
https://en.wikipedia.org/wiki/Semantics_(logic) — found via Wikipedia
Semantics (logic)
influential approaches, including model-theoretic semantics (pioneered by Alfred Tarski), proof-theoretic semantics (associated with Gerhard Gentzen and
-
https://arxiv.org/abs/2207.05946v1 — found via Mwmbl
[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…
-
http://lists.w3.org/Archives/Public/www-rdf-logic/2000Nov/0070.html — found via Mwmbl
Re: A Model Theoretic Semantics for DAML-ONT (now, an Axiomatic…
This message is to announce a new version of our document that specifies a formal semantics for the DAML-ONT language. The new document is available in 3…