2685 search results - page 293 / 537 » A Formal Semantics for SPKI |
173
click to vote
TMRA
2005
Springer
16 years 3 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...
211
click to vote
AMEC
2004
Springer
16 years 1 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...
162
click to vote
ATAL
2004
Springer
16 years 1 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...
154
click to vote
FOSSACS
2004
Springer
16 years 1 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...
136
click to vote
IBERAMIA
2004
Springer
16 years 1 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...