380 search results - page 12 / 76 » Operational Semantics for Declarative Networking |
130
click to vote
DLOG
1997
15 years 3 months ago
1997
Abstract. In this short paper we describe the DFL hybrid knowledge base, that integrates descriptions with expressive object-oriented rules. The knowledge base manages a database o...
110
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
The paper presents a simple and concise proof of correctness of the magic transformation. We believe it may provide a useful example of formal reasoning about logic programs. The ...
173
click to vote
CIDR
2009
15 years 3 months ago
2009
Recent excitement in the database community surrounding new applications--analytic, scientific, graph, geospatial, etc.--has led to an explosion in research on database storage sy...
116
click to vote
POPL
1992
ACM
15 years 6 months ago
1992
ACM
Jade is a language designed to support coarse-grain parallelism on both shared and distributed addressspace machines. Jade is data-oriented: a Jade programmer simply augments a se...
118
click to vote
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...