Results 261 to 270 of about 1,585,173 (321)
Some of the next articles are maybe not open access.
Formal Foundations of Operational Semantics
Higher-Order and Symbolic Computation, 2003zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jonathan Ford, Ian A. Mason
openaire +2 more sources
Synthese, 1963
My purpose in this paper is to present an account of certain of the principal results that have been obtained in the field of formal semantics. These results will be stated in what from the logician’s point of view is an informal way; that is, in stating them there will be little or no use of a precisely formalized language (though we shall of course ...
openaire +2 more sources
My purpose in this paper is to present an account of certain of the principal results that have been obtained in the field of formal semantics. These results will be stated in what from the logician’s point of view is an informal way; that is, in stating them there will be little or no use of a precisely formalized language (though we shall of course ...
openaire +2 more sources
ON FORMAL AND COGNITIVE SEMANTICS FOR SEMANTIC COMPUTING
International Journal of Semantic Computing, 2010Semantics is the meaning of symbols, notations, concepts, functions, and behaviors, as well as their relations that can be deduced onto a set of predefined entities and/or known concepts. Semantic computing is an emerging computational methodology that models and implements computational structures and behaviors at semantic or knowledge level beyond ...
openaire +1 more source
On the formalization of semantic conventions
Journal of Symbolic Logic, 1990AbstractThis paper discusses six formalization techniques, of varying strengths, for extending a formal system based on traditional mathematical logic. The purpose of these formalization techniques is to simulate the introduction of new syntactic constructs, along with associated semantics for them.
openaire +2 more sources
2000
We extend the logic and semantics of authorization due to Abadi, Lampson, et al. to support restricted delegation. Our formal model provides a simple interpretation for the variety of constructs in the Simple Public Key Infrastructure (SPKI), and lends intuition about possible extensions.
Jon Howell, David Kotz
openaire +1 more source
We extend the logic and semantics of authorization due to Abadi, Lampson, et al. to support restricted delegation. Our formal model provides a simple interpretation for the variety of constructs in the Simple Public Key Infrastructure (SPKI), and lends intuition about possible extensions.
Jon Howell, David Kotz
openaire +1 more source
Proceedings of 7th IEEE International Conference on Tools with Artificial Intelligence, 2002
A formal declarative semantics of the rule-based language mOPS5 is defined. As the name of the language implies, it is a simplified version of OPS5. First we describe this language informally, the semantics of mOPS5 is then defined in terms of Datalog, a logic programming language, which has a well-defined minimal model semantics and fixpoint semantics.
openaire +1 more source
A formal declarative semantics of the rule-based language mOPS5 is defined. As the name of the language implies, it is a simplified version of OPS5. First we describe this language informally, the semantics of mOPS5 is then defined in terms of Datalog, a logic programming language, which has a well-defined minimal model semantics and fixpoint semantics.
openaire +1 more source
Formal Semantics and Ontologies
2008Formal ontology relies on representation languages for expressing ontologies. This involves the formal semantics of these languages which is typically based on a limited set of abstract mathematical notions. In this paper, we discuss the interplay between formal semantics and the intended role of ontologies as semantic foundation.
Frank Loebe, Heinrich Herre
openaire +1 more source
Formal semantics of speech acts for argumentative dialogues
Adaptive Agents and Multi-Agent Systems, 2014In this paper, we give formal semantics to speech acts for argumentative dialogues in the context of an agent-oriented programming language. Our approach to giving formal semantics to such speech acts uses operational semantics and builds upon existing ...
Alison R. Panisson +4 more
semanticscholar +1 more source
Formal Semantics of Hybrid Chi
2004The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Semantics (SOS) and a number of associated functions. The χ syntax and semantics can also deal with local scoping of variables and/or channels, implicit differential algebraic equations ...
Schiffelers, R.R.H. +4 more
openaire +2 more sources
2010
In his classic paper on frame semantics, Charles Fillmore says that it comes from traditions of empirical semantics rather than formal semantics. In this paper we will try to draw a closer connection between empirical and formal semantics and suggest that a notion of frame closely related to that found in FrameNet can be usefully exploited in formal ...
openaire +1 more source
In his classic paper on frame semantics, Charles Fillmore says that it comes from traditions of empirical semantics rather than formal semantics. In this paper we will try to draw a closer connection between empirical and formal semantics and suggest that a notion of frame closely related to that found in FrameNet can be usefully exploited in formal ...
openaire +1 more source