Constraint propagation with interval labels

Waltz, 1975, Understanding line drawings of scenes with shadows Stefik, 1981, Planning with constraints (MOLGEN: Part 1), Artificial Intelligence, 16, 111, 10.1016/0004-3702(81)90007-2 de Kleer, 1984, A qualitative physics based on confluences, Artificial Intelligence, 24, 7, 10.1016/0004-3702(84)90037-7 Davis, 1983, Diagnosis via causal reasoning: Paths of interaction and the locality principle, 88 Kuipers, 1984, Commonsense reasoning about causality: Deriving behavior from structure, Artificial Intelligence, 24, 169, 10.1016/0004-3702(84)90039-0 Simmons, 1986, ‘Commonsense’ arithmetic reasoning Brooks, 1981, Symbolic reasoning among 3-D models and 2-D images, Artificial Intelligence, 17, 285, 10.1016/0004-3702(81)90028-X Ambler, 1975, Inferring the positions of bodies from specified spatial relationships, Artificial Intelligence, 6, 157, 10.1016/0004-3702(75)90007-7 Lozano-Perez, 1976, The design of a mechanical assembly system Taylor, 1976, A synthesis of manipulator control programs from task-level specifications Sutherland, 1963, SKETCHPAD: A man-machine graphical communication system, 10.1145/1461551.1461591 Borning, 1977, ThingLab—An object oriented system for building simulations using constraints, 497 Sussman, 1980, CONSTRAINTS—A language for expressing almost hierarchical descriptions, Artificial Intelligence, 14, 1, 10.1016/0004-3702(80)90032-6 Southwell, 1940 Hummel, 1983, On the foundations of relaxation labeling processes, IEEE Trans. Patt. Anal. Mach. Intell., 5, 267, 10.1109/TPAMI.1983.4767390 McDermott, 1984, Planning routes through uncertain territory, Artificial Intelligence, 22, 107, 10.1016/0004-3702(84)90045-6 Davis, 1984, Representing and acquiring geographic knowledge Mackworth, 1985, The complexity of some polynomial network consistency algorithms for constraint satisfaction problems, Artificial Intelligence, 25, 65, 10.1016/0004-3702(85)90041-4 Mackworth, 1977, Consistency in networks of relations, Artificial Intelligence, 8, 99, 10.1016/0004-3702(77)90007-8 Freuder, 1978, Synthesizing constraint expressions, Commun. ACM, 21, 958, 10.1145/359642.359654 McDermott, 1980, Spatial inferences with ground, metric formulas on simple objects Boggess, 1979, Computational interpretation of English spatial prepositions Dean, 1985, Temporal imagery: An approach to reasoning about time for planning and problem solving Alefeld, 1983 Winograd, 1972 Forbus, 1984, Qualitative process theory, Artificial Intelligence, 24, 85, 10.1016/0004-3702(84)90038-9 Sacerdoti, 1977 Vere, 1983, Planning in time: Windows and durations for activities and goals, IEEE Trans. Patt. Anal. Mach. Intell., 5, 246, 10.1109/TPAMI.1983.4767389 Fahlman, 1974, A planning system for robot contruction tasks, Artificial Intelligence, 5, 1, 10.1016/0004-3702(74)90008-3 Malik, 1983, Reasoning in time and space, 343 Allen, 1983, Maintaining knowledge about temporal intervals, Commun. ACM, 26, 832, 10.1145/182.358434 Vilain, 1986, Constraint propagation algorithms for temporal reasoning Williams, 1984, Qualitative analysis of MOS circuits, Artificial Intelligence, 24, 281, 10.1016/0004-3702(84)90041-9 Yemini, 1979, Some theoretical aspects of position-location problems, 1 Kozen, 1985, Algebraic cell decomposition in NC, 515 Richardson, 1968, Some undecidable problems involving elementary functions of a real variable, J. Symbolic Logic, 33, 514, 10.2307/2271358 Karmakar, 1984, A new polynomial time algorithm for linear programming, 302 Garey, 1979 McAllester, 1980, An outlook on truth maintenance Luenberger, 1973 Davis, 1981, Organizing spatial knowledge Kahn, 1977, Mechanizing temporal knowledge, Artificial Intelligence, 9, 87, 10.1016/0004-3702(77)90015-7 Dean, 1984, Planning and temporal reasoning under uncertainty Doyle, 1979, A truth-maintenance system, Artificial Intelligence, 12, 231, 10.1016/0004-3702(79)90008-0 McDermott, 1983, Data dependencies on inequalities, 266 Kuipers, B., Personal communication. Pratt, 1977, Two easy theories whose combination is hard Shostak, 1981, Deciding linear inequalities by computing loop residues, J. ACM, 28, 769, 10.1145/322276.322288 Aho, 1974 Fredman, 1984, Fibonacci heaps and their uses in improved network optimization algorithms, 338 Allen, 1985, A model of naive temporal reasoning, 251