2272 search results - page 190 / 455 » A Calculus for |
145
click to vote
SPATIALCOGNITION
2004
Springer
15 years 10 months ago
2004
Springer
Allen’s interval calculus is one of the most prominent formalisms in the domain of qualitative spatial and temporal reasoning. Applications of this calculus, however, are restric...
139
click to vote
TAMC
2010
Springer
15 years 9 months ago
2010
Springer
We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least ...
112
click to vote
FOSSACS
1998
Springer
15 years 8 months ago
1998
Springer
We introduce a calculus describing the movement of processes and devices, including movement through administrative domains.
130
click to vote
CADE
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...
135
click to vote
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
stract Semantics of Additive Aspects by Translation S. B. Sanjabi C.-H. L. Ong Oxford University Computing Laboratory We study the denotational semantics of an aspect calculus by ...