Sentence examples for semantic foundations from inspiring English sources

Second, there has been ongoing interest in semantic foundations for default logic.

We revisit the issue of epistemological and semantic foundations for autoepistemic and default logics, two leading formalisms in nonmonotonic reasoning.

We investigate the semantic foundations of a method for modeling agents as entities with a mental state which was suggested by McCarthy and by Newell.

Abstract state machines are known for their semantic foundations for architectures, languages, and protocols, including some of the most prominent ones such as Java, SDL, and VHDL [15 20].

We describe a distributed logical framework designed to serve as a declarative semantic foundation for Networked Cyber-Physical Systems.

This new situation demands new features from transformation tools, and a solid semantic foundation to understand and classify these features.

We propose a semantic foundation of interface specifications where any MIOD is equipped with a model-theoretic semantics describing the class of its correct implementation models.

Unifying Theories of Programming (UTP) provide a formal semantic foundation not only for programming languages but also for various expressive specification languages.

This model can be used as a semantic foundation for proving properties of connectors, such as equivalence and refinement relations between connectors.

It can also be used as a semantic foundation for proving properties of connectors, such as equivalence and refinement relations between connectors.

From a philosophical point of view, however, it usually would be preferable to have a semantic foundation for a system of MVL which uses a single characteristic logical matrix.