Search
Search Results
-
Elucidating the semantics-topology trade-off for knowledge inference-based pharmacological discovery
Leveraging AI for synthesizing the deluge of biomedical knowledge has great potential for pharmacological discovery with applications including...
-
Insertion Semantics of VHDL as Electronic Design Languge
The paper considers the problem of insertion semantics of hardware specifications, in particular, the VHDL language. The creation of semantics is...
-
Development and Analysis of a Sentence Semantics Representation Model
The authors overview an efficient and simple representation model of sentence semantics in the context of a paraphrase identification problem. A...
-
Implicational Partial Galois Logics: Relational Semantics
Implicational tonoid logics and their relational semantics have been introduced by Yang and Dunn. This paper extends this investigation to...
-
Implicational Tonoid Logics: Algebraic and Relational Semantics
This paper combines two classes of generalized logics, one of which is the class of weakly implicative logics introduced by Cintula and the other of...
-
-
Compositional Vector Semantics in Spiking Neural Networks
Categorical compositional distributional semantics is an approach to modelling language that combines the success of vector-based models of meaning... -
A Reinterpretation of the Semilattice Semantics with Applications
In the early 1970s, Alasdair Urquhart proposed a semilattice semantics for relevance logic which he provided with an influential informational...
-
Universal Algebraic Geometry: Syntax and Semantics
In this paper, we give a general insight into the ideas that make ground for the develo** of universal algebraic geometry and logical geometry. We...
-
Functorial Semantics Category
This chapter presents the category of functorial semantics, which formalizes the semiotic objects together with the connecting morphisms. These... -
An Enriched Category Theory of Language: From Syntax to Semantics
State of the art language models return a natural language text continuation from any piece of input text. This ability to generate coherent text...
-
The Social Constitution of Mathematical Knowledge: Objectivity, Semantics, and Axiomatics
The philosophy of mathematical practice sometimes investigates the social constitution of mathematics but does not always make explicit the... -
The Social Constitution of Mathematical Knowledge. Objectivity, Semantics, and Axiomatics
The philosophy of mathematical practice sometimes investigates the social constitution of mathematics but does not always make explicit the... -
\(\pi \)HyFlow: formalism, semantics, and applications
Simulation models have been described using different perspectives, or worldviews. In the process interaction world view (PI), every entity is...
-
Recursive Rules with Aggregation: A Simple Unified Semantics
Complex reasoning problems are most clearly and easily specified using logical rules, but require recursive rules with aggregation such as counts and... -
Behaviour equivalent max-plus automata for timed petri nets under open-loop race-policy semantics
Timed Petri nets and max-plus automata are well known modelling frameworks for timed discrete-event systems. In this paper we present an iterative...
-
A Bitstring Semantics for Calculus CL
The aim of this chapter is to develop a semantics for Calculus CL. CL is a diagrammatic calculus based on a logic machine presented by Johann... -
Soundness and Completeness Results for LEA and Probability Semantics
In [2], a logical system called the logic of evidence aggregation (LEA) was introduced, along with an intended semantics for it called probability... -
Proportions, Constraints and Semantics for a Parametric Model
An approach to digitally model the decorative elements window’s of architectural heritage—the College of Nobles, Turin—in HBIM, by applying De Luca’s...
-
An Essay in Matrix Semantics for Consequence Relations
The objective of this chapter is to study abstract sentential calculi (alternatively, abstract propositional logics) construed as pairs...