Extending the constraint propagation of intervals

Authors:
Allen C. Ward;Tomas Lozano-Perez;Warren P. Seering
Affiliations:
Mechanical Engineering, Massachusetts Institute of Technology, Cambridge, MA;Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA;Mechanical Engineering, Massachusetts Institute of Technology, Cambridge, MA
Venue:
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Year:
1989

Citing 2
Cited 3

Constraint propagation with interval labels

Artificial Intelligence
Using Structural and Functional Information in Diagnostic Design

Using Structural and Functional Information in Diagnostic Design

Interval Constraints: Results and Perspectives

Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Universally Quantified Interval Constraints

CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Beyond NP: Arc-Consistency for Quantified Constraints

CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model-based revision of knowledge bases expressed as first-order theories was shown in [Winslett 88b] to be useful as a means of describing and reasoning about the effects of actions. This paper shows that model-based theory revision is actually expressible ...