4370 search results - page 112 / 874 » Algebra of Logic Programming |
CONCUR
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
CLIMA
2007
13 years 11 months ago
2007
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...
APLAS
2005
ACM
14 years 3 months ago
2005
ACM
FSS
2006
13 years 10 months ago
2006
In this paper we investigate the addition of arbitrary independent involutive negations to t-norm based logics. We deal with several extensions of MTL and establish general comple...
DOLAP
2004
ACM
14 years 3 months ago
2004
ACM
In today’s OLAP systems, integrating fast changing data, e.g., stock quotes, physically into a cube is complex and time-consuming. The widespread use of XML makes it very possib...