193 search results - page 27 / 39 » Modeling and Reasoning with Star Calculus |
RR
2009
Springer
14 years 4 months ago
2009
Springer
In this paper we present an embedding of propositional production systems into µ-calculus, and first-order production systems into fixed-point logic, with the aim of using these...
CONSTRAINTS
2006
13 years 10 months ago
2006
Topological relations are important in various tasks of spatial reasoning, scene description and object recognition. The RCC8 spatial constraint language developed by Randell, Cui...
JLP
2010
13 years 4 months ago
2010
The work presented here investigates the combination of Kleene algebra with the synchrony model of concurrency from Milner's SCCS calculus. The resulting algebraic structure ...
VLDB
1997
ACM
14 years 2 months ago
1997
ACM
We present a multi-dimensional database model, which we believe can serve as a conceptual model for On-Line Analytical Processing (OLAP)-based applications. Apart from providing t...
CALCO
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Monads are a well-established tool for modelling various computational effects. They form the semantic basis of Moggi’s computational metalanguage, the metalanguage of ...