713 search results - page 38 / 143 » Viewcharts: Syntax and Semantics |
100
click to vote
CONCUR
2004
Springer
15 years 5 months ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
DALT
2004
Springer
15 years 5 months ago
2004
Springer
This article investigates the intensional programming paradigm for agent communication by introducing context as a first class object in the intensional programming language Lucid...
MKM
2004
Springer
15 years 5 months ago
2004
Springer
We describe an extension of first-order logic with sequence variables and sequence functions. We define syntax, semantics and inference system for the extension so that Completen...
SEMWEB
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper describes a method for converting existing thesauri and related resources from their native format to RDF(S) and OWL. The method identifies four steps in the ...
CIE
2010
Springer
15 years 4 months ago
2010
Springer
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...