Roger D. Maddux  Home/Search
Context Related
| iastate.edu/maddux/papers/cmps4.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: iastate.edu/maddux/apage (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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. (Update)
Cited by: More
Query Pre-Processing of Topological Constraints.. - Rodriguez, Egenhofer, .. (Correct)
Active bibliography (related documents): More All
2.7: Introductory Course on Relation Algebras, Finite-Dimensional.. - Maddux (1990) (Correct)
2.4: Relation-Algebraic Semantics - Maddux (1996) (Correct)
1.9: The Origin Of Relation Algebras In The Development And.. - Maddux (1991) (Correct)
Similar documents based on text: More All
0.4: Relation Algebras for Reasoning about Time and Space - Maddux (1993) (Correct)
0.3: Pair-Dense Relation Algebras - Maddux (1991) (Correct)
0.3: Unknown - (Correct)
BibTeX entry: (Update)
Maddux, R.: Some Algebras and Algorithms for Reasoning about Time and Space. Department of Mathematics, Iowa State University: Ames, IO, (1990) http://citeseer.ist.psu.edu/maddux90some.html More
@misc{ maddux89some,
author = "Roger D. Maddux",
title = "Some algebras and algorithms for reasoning about time and space",
howpublished = "Presented on April 5, 1989 to the Applied Mathematics-Engineering Colloquium, Iowa State University",
year = "1989",
url = "citeseer.ist.psu.edu/maddux90some.html" }
Citations (may not include all citations):702 Consistency in networks of relations (context) - Mackworth - 1977
307 Networks of constraints: fundamental properties and applicat.. (context) - Montanari - 1974
284 Constraint propagation algorithms for temporal reasoning (context) - Vilain, Kautz - 1986
185 The complexity of some polynomial network consistency algori.. (context) - Mackworth, Freuder - 1985
108 The Journal of Symbolic Logic (context) - Tarski, calculus et al. - 1941
97 A Formalization of Set Theory without Variables (context) - Tarski, Givant
96 A Guide to the Theory of NP-Completeness (context) - Garey, Johnson et al. - 1979
85 Planning using a temporal world model (context) - Allen, Koomen
69 A commonsense theory of time (context) - Allen, Hayes - 1985
48 An interval-based representation of temporal knowledge (context) - Allen - 1981
48 The representation of relational algebras (context) - Lyndon - 1950
42 Distributive and modular laws in the arithmetic of relation .. (context) - Chin, Tarski - 1951
29 Encyclopedia of Artificial Intelligence (context) - satisfaction - 1987
26 North-Holland (context) - Algebras - 1985
26 Topics in Relation Algebras (context) - Maddux - 1978
22 Reasoning in time and space (context) - Malik, Binford
20 Transactions of the American Mathematical Society (context) - containing, algebras - 1982
15 American Journal of Mathematics (context) - with, Part - 1952
14 American Journal of Mathematics (context) - algebra, logic
11 and Alfred Tarski (context) - Henkin, Monk - 1971
11 Cambridge University Press (context) - Whitehead, Russell et al.
9 A formal logic of plans in temporally rich domains (context) - Pelavin, Allen - 1986
9 Transactions of the Cambridge Philosophical Society (context) - syllogism, IV et al.
9 The algebra of convex time intervals - Ladkin, Maddux - 1987
8 Department of Computer Science (context) - points, interval-based et al. - 1987
7 Varieties of relation algebras (context) - J'onsson - 1982
6 Communications of the Association for Computing Machinery (context) - Freuder, networks - 1978
6 and the application of the theory of probabilities to some q.. (context) - De Morgan, symbols et al.
6 The consistent labelling problem in temporal reasoning (context) - Tsang - 1987
6 Vorlesungen uber die Algebra der Logik (context) - Schroder - 1966
5 edited by Charles Hartshorne and Paul Weiss (context) - Papers - 1933
5 edited by Edward C (context) - Charles, Peirce et al. - 1984
4 a contribution to the philosophy of notation (context) - algebra, logic
4 Representation problems for relation algebras (context) - J'onsson, Tarski - 1948
4 in Universal Algebra and Lattice Theory (context) - relation, Universal et al.
4 Information Processing Letters (context) - Ligozat, Bestougeff et al.
4 resulting from an amplification of the conceptions of Boole'.. (context) - Peirce, of et al.
3 The Journal of Symbolic Logic (context) - results, cylindric et al. - 1989
3 Formal Theories of the Commonsense World (context) - Allen, Kautz et al. - 1985
3 with an Introduction by Max H (context) - the, relatives et al. - 1983
3 Constraint satisfaction in time intervals structures I: conv.. (context) - Ladkin - 1987
2 Artificial Intelligence - theory, action - 1984
2 by Peter Heath (context) - Syllogism, Writings et al. - 1966
2 The use of quantitative and qualitative simulations (context) - Simmons
1 Technical Report KES (context) - reasoning, time - 1988
1 Technical Report KES (context) - constraint - 1988
1 Communications of the Association for Computing Machinery (context) - about, intervals - 1983
1 Points et intervalles combinatoirs (context) - Ligozat - 1986
1 Seminar fur naturliche-sprachliche Systeme (context) - categoricity, interval et al. - 1986
1 An exact algorithm for interval-based temporal information (context) - Schulz - 1986
1 Parameterized abstract objects for linguistic information pr.. (context) - Bestougeff, Ligozat - 1985
1 Outils logiques pour le traitement du temps: de la linguisti.. (context) - logiques, du et al. - 1989
1 Forschungsstelle fur naturliche-sprachliche Systeme (context) - interval, comparison - 1987
1 Spatio-temporal reasoning and linear inequalities (context) - Vald'es-P'erez - 1986
1 Transactions of the American Mathematical Society (context) - algebras
1 Towards the minimum set of primitive relations in temporal l.. (context) - Zhu, Loh et al. - 1987
Documents on the same site (http://www.math.iastate.edu/maddux/apage.html): More
Finite, Integral, And Finite-Dimensional Relation Algebras: A.. - Maddux (Correct)
The Origin Of Relation Algebras In The Development And.. - Maddux (1991) (Correct)
Representations for Small Relation Algebras - Andréka, Maddux (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC