1742 search results - page 82 / 349 » An Applicative Module Calculus |
ECAI
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. Representing and reasoning about orientation information is an important aspect of qualitative spatial reasoning. We present a novel approach for dealing with intrinsic o...
EUSFLAT
2007
13 years 12 months ago
2007
The paper presents an overview of a computation friendly calculus of fuzzy relations. It is presented within the framework of an enriched generic algebra of relations that we have...
IJCAI
2001
13 years 11 months ago
2001
A technique is proposed for computing the weakest sufficient (wsc) and strongest necessary (snc) conditions for formulas in an expressive fragment of first-order logic using quant...
ENTCS
2008
13 years 10 months ago
2008
The better known methods of semantic tableaux for deciding satisfiability in propositional linear temporal logic generate graphs in addition to classical trees. The test of satisf...
ENTCS
2008
13 years 10 months ago
2008
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...