713 search results - page 56 / 143 » Syntax and Semantics of Babel-17 |
107
click to vote
TYPES
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents a new proof language for the Coq proof assistant. This language uses the declarative style. It aims at providing a simple, natural and robust alternative to the...
116
Voted
ASP
2005
Springer
15 years 6 months ago
2005
Springer
In previous work, action languages have predominantly been concerned with domains in which values are static unless changed by an action. Real domains, however, often contain value...
ESWS
2005
Springer
15 years 6 months ago
2005
Springer
The Resource Description Framework (RDF) is a metadata model and language recommended by the W3C. This paper presents a framework to incorporate temporal reasoning into RDF, yieldi...
106
Voted
CONCUR
2004
Springer
15 years 6 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...
91
Voted
DALT
2004
Springer
15 years 6 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...