2685 search results - page 293 / 537 » A Formal Semantics for SPKI |
191
click to vote
TMRA
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. This paper describes a query algebra for tolog, a query language for Topic Maps inspired by Prolog and very similar to Datalog. The language is based on binding variables...
234
click to vote
AMEC
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. We provide a formal scripting language to capture the semantics of market mechanisms. The language is based on a set of welldefined principles, and is designed to captur...
179
click to vote
ATAL
2004
Springer
16 years 20 days ago
2004
Springer
We propose a context-logic style formalism, Timed Reasoning Logics (TRL), to describe resource-bounded reasoners who take time to derive consequences of their knowledge. The seman...
180
click to vote
FOSSACS
2004
Springer
16 years 20 days ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
150
click to vote
IBERAMIA
2004
Springer
16 years 19 days ago
2004
Springer
Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards. Since CNC programs consist of a series of assembler-li...