546 search results - page 55 / 110 » Substructural Operational Semantics as Ordered Logic Program... |
116
click to vote
JELIA
2000
Springer
15 years 4 months ago
2000
Springer
We present a framework for decision making with the possibility to express circumstance-dependent preferences among different alternatives for a decision. This new formalism, Order...
102
Voted
SEMWEB
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The Rule Interchange Format Production Rule Dialect (RIFPRD) is a W3C Recommendation to define production rules for the Semantic Web, whose semantics is defined operation...
131
click to vote
ARTS
1997
Springer
15 years 4 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
107
click to vote
TYPES
2004
Springer
15 years 6 months ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspecifications, we present a particular instance concerned with the optimized compilation of a lazy language (called...
109
click to vote
TLCA
2005
Springer
15 years 6 months ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...