Results 1 -
3 of
3
The Origin of Relation Algebras in the Development and Axiomatization of the Calculus of Relations
, 1991
"... ..."
Introductory Course on Relation Algebras, Finite-Dimensional Cylindric Algebras, and Their Interconnections
- Algebraic Logic
, 1990
"... These are notes for a short course on relation algebras, finite-dimensional cylindric algebras, and their interconnections, delivered at the Conference on Algebraic Logic, Budapest, Hungary, August 8--14, 1988, sponsored by the the Janos Bolyai Mathematical Society. ..."
Abstract
-
Cited by 23 (3 self)
- Add to MetaCart
These are notes for a short course on relation algebras, finite-dimensional cylindric algebras, and their interconnections, delivered at the Conference on Algebraic Logic, Budapest, Hungary, August 8--14, 1988, sponsored by the the Janos Bolyai Mathematical Society.
Some Algebras And Algorithms For Reasoning About Time And Space
, 1990
"... Constraint networks over relation algebras are defined. Compass algebras are introduced for reasoning about space. They are related to the interval algebras, which are used for reasoning about time. The problem of determining whether a network has a closed zeroless reduction is shown to NP-complete ..."
Abstract
-
Cited by 7 (0 self)
- Add to MetaCart
Constraint networks over relation algebras are defined. Compass algebras are introduced for reasoning about space. They are related to the interval algebras, which are used for reasoning about time. The problem of determining whether a network has a closed zeroless reduction is shown to NP-complete for almost all compass and interval algebras. This implies constraint satisfaction for these algebras is NP-complete. x1.
