Abstract Semantics and Sound Type Systems
Abstract probabilistic semantics for the analysis of biological systems models
... reactions systems models when kinetic rates, expressing the propensity of the interaction events, are not expressed precisely as point values, but as ...an abstract semantics for such models and to ...
167
A Plausibility Semantics for Abstract Argumentation Frameworks
... of abstract argumen- tation theory, a coarse-grained high-level form of defeasible reasoning introduced by Dung [Dung ...argumentation systems, is to look for deeper unifying semantic foundations allowing ...
9
Abstract interpretation of resolution-based semantics
... the abstract interpretation point of view on context-free grammars by Cousot and Cousot to resolution-based logic programs and proof ...operational semantics of Prolog programs (akin to the Warren Machine), ...
23
Neurocognitive architecture of the semantics of abstract concepts
... of abstract concepts to the modality-specific systems is discussed ...of abstract concepts can only be coded by amodal or verbal-symbolic representations distinct from the sensory and motor ...
116
On the Semantics of Abstract Finals: 35 Years Later
... Other important properties of classi catory morphology are: that such systems are coherent but rarely complete, i.e., there are always forms in the class that make little or no sense, like color terms in the ...
The syntax and semantics of quantitative type theory
... between type formation and computational use of data is distinguishing between different kinds of computational use of ...these systems to dependent Type Theory is not straightforward due to the ...
10
A Vector Model for Type Theoretical Semantics
... certain type or as types themselves and provide a set of type formation, introduction, elimination and computation rules to be used in ...formal semantics is based on the simply typed lambda calculus ...
9
PORTABLE SOUND SYSTEMS
... For any situation where AC power may not be readily available, such as outdoor sports events, rodeos, political rallies, and even emergency public address, the Passport system can be powered from a 12 volt DC ...
15
Semantics-based Program Verification: an Abstract Interpretation Approach
... embedded systems often requires timing validation of hard/ firm real-time ...real-time systems and can be used both on the optimization of software and on efficient dimensioning of ...real-time ...
195
On the non-necessity of levels in phonology, grammar and ‘abstract semantics’
... ‘Translating’ into the specific technical terms of extended axiomatic func- tionnalism, the theory which is the focus of this paper, this means that the levels of ontidics (cenidics/phonidics, logidics/lexidics, ...
33
Extension Enforcement under Grounded Semantics in Abstract Argumentation
... in abstract argumentation gives rise to optimization problems that are NP-hard also under the grounded semantics, in contrast to argument acceptance prob- lems over argumentation frameworks ...ficient ...
5
Computational Syntax Semantics Interface with Type Theory of Acyclic Recursion for Underspecified Semantics
... The type-theory of acyclic recursion L λ ar , provides facility for representing major semantic ambiguities, as under- specification, at the object level of the formal language of L λ ar , without recourse of ...
12
Controlled vocabularies and semantics in systems biology
... Introduction: semantics in computational systems biology Models as abstract representations of observed or hypothe- sized phenomena are not new to the life ...in systems biology has changed ...
12
Underspecification and interpretive parallelism in Dependent Type Semantics
... language semantics and by viewing the ambiguity resolution for pronouns and indefinites as underspecification resolution that invokes extra proof search, a conceptually natural solution emerges for the problem of ...
9
A Type Driven Tensor Based Semantics for CCG
... Bos, 2005), but in this paper we have set out the theoretical framework for such an implementation. Finally, we repeat a comment made earlier that the compositional framework makes no assump- tions about the underlying ...
9
Type-Directed Operational Semantics for Gradual Typing
... no type annotations behaves as a dynamically typed program, whereas a fully annotated program behaves as a statically typed ...of sound gradual typing, where certain type safety properties, and other ...
30
Predictive Models and Abstract Argumentation: the case of High-Complexity Semantics
... compared systems, or a score of 0 if it fails in that ...the systems using the IPC score, a significant difference can be found between algorithm selection methods and single ...
26
Comparative branching-time semantics for Markov chains (extended abstract)
... transition systems has been defined in the literature, and their relationship has been studied by process algebraists, most notably by van Glabbeek ...“comparative” semantics have been ex- tended with ...
16
Feature economy in sound systems
... common type, involve modal voicing similar to that found in ordinary voiced stops, and contrast with voiceless (preglottalised) implosives in languages such as Owere Igbo, Ngiti, Lendu and ...
48
Blockchain Abstract Data Type
... of abstract data types all together with a hierarchy of consistency criteria that formally characterizes the histories admissible for distributed programs that use ...
30