Results 181 to 190 of about 270,225 (234)
Some of the next articles are maybe not open access.
An empirical and axiomatic comparison of ranking-based semantics for abstract argumentation
J. Appl. Non Class. Logics, 2023Argumentation is the process of evaluating and comparing a set of arguments. A way to compare them consists in using a ranking-based semantics which rank-order arguments from the most to the least acceptable ones.
Elise Bonzon +3 more
semanticscholar +1 more source
An Axiomatic Semantics of Concurrent Programming Languages
Logics and Models of Concurrent Systems, 1989L. Lamport
semanticscholar +2 more sources
Axiomatic semantics for “escape” statements
Information Processing Letters, 1991zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Olsson, Ronald A., Huang, Daniel T.
openaire +2 more sources
IEEE Transactions on Systems, Man, and Cybernetics: Systems
Consistency is usually associated with transitive properties, among which the additive transitivity is one of the most popular methods. Although various linguistic additive consistency measurements have been proposed in the literature, the existing ...
Yao Li +4 more
semanticscholar +1 more source
Consistency is usually associated with transitive properties, among which the additive transitivity is one of the most popular methods. Although various linguistic additive consistency measurements have been proposed in the literature, the existing ...
Yao Li +4 more
semanticscholar +1 more source
Axiomatization of trace semantics for stochastic nondeterministic processes
First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings., 2004We give a complete axiomatization of trace distribution precongruence for probabilistic nondeterministic processes based on a process algebra that includes internal behavior and recursion. The axiomatization is given for two different semantics of the process algebra that are consistent with the alternating model of Hansson and the non-alternating ...
PARMA, Augusto, SEGALA, Roberto
openaire +2 more sources
Fen—an axiomatic basis for program semantics
Communications of the ACM, 1973A formal system is presented which abstracts the notions of data item, function, and relation. It is argued that the system is more suitable than set theory (or its derivatives) for the concise and accurate description of program semantics. It is shown how the system can be used to build composite data types out of simpler ones with the operations of ...
openaire +2 more sources
1988
This paper discusses some fundamental issues related to the construction of semantically based axiomatic proof systems for reasoning about program behavior. We survey foundational work in this area, especially early work of Hoare and Cook on while-programs, and we try to pinpoint the principal ideas contained in this work and to suggest criteria for an
openaire +1 more source
This paper discusses some fundamental issues related to the construction of semantically based axiomatic proof systems for reasoning about program behavior. We survey foundational work in this area, especially early work of Hoare and Cook on while-programs, and we try to pinpoint the principal ideas contained in this work and to suggest criteria for an
openaire +1 more source
Axiomatic definitions for data model semantics
Information Systems, 1982Abstract The axiomatic method, a widely accepted technique for the precise (formal) definition of programming language semantics, is used to define data model semantics. First, a definition of the term “data model” is developed. The strong relationship between database and programming language concepts is discussed.
openaire +2 more sources
A complete axiomatic semantics of spawning
Distributed Computing, 1991zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
A semantic model for axiomatic systems design
Proceedings of the Institution of Mechanical Engineers, Part C: Journal of Mechanical Engineering Science, 2017Design of large-scale engineering systems such as an automobile, satellite, or airplane is a process to satisfy requirements by making various decisions. Design axioms provide system designers with a theoretical background to make right decisions.
Haoqi Wang +3 more
openaire +1 more source