F. Arlabosse, V. Duong, E. Gaussens, and P. L. Page, CELL-TISSUE: a control architecture for knowledgebased systems, Proceedings of the Eight International Workshop on Expert Systems and their Applications, 1988.

F. Arlabosse, V. Duong, E. Gaussens, and P. L. Page, Blackboard and alternative architectural design for two real-scale kbs industrial application, Blackboard Systems and Applications, 1989.

F. Arlabosse, V. Duong, E. Gaussens, and P. L. Page, Cell-tissue: une architecture de controle pour les systèmes a base de connaissance, TSI-Techniques et Science de l'Informatique, 1989.

G. Arvind, P. Kim, and . Plouffe, An Asynchronous Programming Language and Computing Machine, 1978.

J. Aubin, Theorie de la viabilité, CERE- MADE, 1989.

H. Berliner and G. Goetsch, The study of search methods: the effort of constraint satisfaction in adventurousness, Proc. of IJCAI-85, pp.1079-1082, 1985.

W. Bibel, Constraint satisfaction from a deductive Artificial Intelligence, pp.401-413, 1985.

P. Bonissone and K. P. Valavanis, A comparative study of different approaches to qualitative physics theories, Proceedings of the Second Conf. Artificial Intelligence Applications, 1985.

A. Borning and R. Duisberg, Constraint-based tools for building user interfaces, ACM Transactions on Graphics, vol.5, issue.4, pp.345-374, 1986.
DOI : 10.1145/27623.29354

B. Bredeweg and B. J. Wielinga, Integrating qualitative reasoning approaches, Proceedings of the European Conference on Artificial Intelligence ECAI-88, ECAI, 1988.

B. Lichtarge, B. Duncan, . Buchanan, and . Jardetzky, Application of Constraint Satisfaction Techniques to the Determination of Protein Tertiary Structure, 1986.

B. Buchberger, Gr??bner Bases: An Algorithmic Method in Polynomial Ideal Theory, Multidimensional Systems Theory, 1985.
DOI : 10.1007/978-94-009-5225-6_6

T. Bylander, A critique of qualitative simulation from a consolidation viewpoint, IEEE Transactions on Systems, Man, and Cybernetics, vol.18, issue.2, pp.18252-263, 1988.
DOI : 10.1109/21.3464

G. Caplain, Quelques Reflexions sur la Physique Qualitative, CERMA-Ecole Nationale des Ponts et Chaussées et Dept. Recherche et Développement Framentec, 1990.

S. E. Cross, Qualitative Reasoning in an Expert System

E. Davis, Constraint propagation with interval labels, Artificial Intelligence, vol.32, issue.3, pp.281-331, 1987.
DOI : 10.1016/0004-3702(87)90091-9

R. Dechter and J. Pearl, The anatomy of easy problems: a constraint-satisfaction formulation, Proc. of IJCAI-85, pp.1066-1072, 1985.

R. Dechter, Learning while searching in constraintsatisfaction problems, Proc. AAAI-86, pp.178-183, 1986.

A. Dechter and R. Decter, Removing redundencies in constraint networks, Proceedings AAAI-87, 1987.

R. Dechter and J. Pearl, Network-based heuristics for constraint satisfaction problems, Artificial Intelligence, 1987.

R. Dechter and J. Pearl, Tree clustering for constraint networks, Artificial Intelligence, vol.38, issue.3, 1989.
DOI : 10.1016/0004-3702(89)90037-4

J. De and K. , Qualitative and Quantitative Knowledge in Classical Mechanics, 1975.

J. De-kleer, Qualitative and quantitative reasoning in classical mechanics, Artificial Intelligence: An MIT Perspective, pp.9-30, 1979.

J. De-kleer and D. G. Bobrow, Qualitative reasoning with higher-order derivatives, Proc. AAAI-84 Nat'l Conf., AAAI, 1984.

J. De, K. , and J. Brown, A qualitative physics based on confluences, Artificial Intelligence, vol.24, pp.7-83, 1984.

J. De and K. , An assumption based truth maintenance system, Artificial Intelligence, vol.28, issue.2, pp.127-162, 1986.

J. De, K. , and J. Brown, Theories of causal ordering, Artificial Intelligence, vol.26, issue.1, pp.33-61, 1986.

J. De and K. , AMORD: A Deductive Procedure System, 1978.

J. B. Dennis, First version of a data flow procedure language, 1973.
DOI : 10.1007/3-540-06859-7_145

J. De, K. , and G. J. Sussman, Propagation of constraints applied to circuit synthesis, Circuit Theory and Applications, vol.8, pp.127-144, 1980.

J. De, K. , and B. C. Williams, Diagnosing multiple faults, Artificial Intelligence, vol.32, issue.1, pp.97-130, 1987.

O. Dordan, Analyse Qualitative, 1990.

J. Luc and D. , Resolution Qualitative : Completude, Interpretation Physique et Contrôle. Mise en Oeuvre dans un langage a base de regles: BOOJUM, 1987.

J. Doyle and M. I. , Truth Maintenance Systems for Problem Solving, 1977.

J. Doyle, A truth maintenance system, Artificial Intelligence, vol.12, issue.3, pp.231-272, 1979.
DOI : 10.1016/0004-3702(79)90008-0

J. Doyle, Amord: explicit control on reasoning, Proceedings AI and Programming Languages Conference, pp.116-125, 1977.

C. Brian, R. S. Falkenhainer, and . Michalski, Integrating quantitative and qualitative discovery: the abacus system, Machine Learning, pp.367-401, 1986.

B. C. Falkenhainer and K. D. Forbus, Setting up Large-Scale Qualitative Models, AAAI-88, AAAI, 1988.
DOI : 10.1016/B978-1-4832-1447-4.50055-9

A. Farquhar, B. J. Kuipers, and D. Throop, QSIM user's Manual and Maintainer's Guide, 1990.

K. D. Forbus, Qualitative reasoning about physical processes, IJCAI-81, IJCAI, 1981.

K. D. Forbus, A Study of Qualitative and Geometric Knowledge in Reasoning about Motion

K. D. Forbus, Measurement interpretation in qualitative process theory, Proc. IJCAI-83, pp.315-320, 1983.

K. D. Forbus, Qualitative process theory, Artificial Intelligence, vol.24, issue.1-3, pp.85-168, 1984.
DOI : 10.1016/0004-3702(84)90038-9

D. Kenneth and . Forbus, The Qualitative Process Engine: A Study in Assumption based Truth Maintenance, 1987.

D. Kenneth, J. Forbus, and . De-kleer, Focusing the atms, Proceedings on the Eightth National Conference on Artificial Intelligence, AAAI, 1988.

M. S. Fox, B. Allen, and G. Strohm, Job-shop scheduling: an investigation in constraint-directed reasoning, Proc

M. S. Fox, B. Allen, S. Smith, and G. Strohm, Isis: a constraint-directed search approach to job-shop scheduling, Proc. IEEE Computer Society Trends and Applications, 1983.

E. C. Freuder, Synthetizing constraint expression, Communication of the ACM, 1978.

E. C. Freuder, A sufficient condition of backtrackfree search, 1982.

E. Freuder and M. Quinn, Taking advantage of stable sets of variables in constraint satisfaction problems, Proc. of IJCAI-85, pp.1076-1078, 1985.

E. C. Freuder, A sufficient condition for backtrackbounded search, 1985.

E. C. Freuder, Partial constraint satisfaction, Proceedings IJCAI-89, 1985.

R. W. Grossman, Some Data Base Applications of Constraints Expressions, 1976.

R. M. Haralick, L. S. Davis, and A. Rosenfeld, Reduction operations for constraint satisfaction, Information Sciences, vol.14, issue.3, 1978.
DOI : 10.1016/0020-0255(78)90043-9

R. M. Haralick and G. L. Elliott, Increasing tree search efficiency for constraint satisfaction problems, Artificial Intelligence, vol.14, issue.3, pp.263-313, 1980.
DOI : 10.1016/0004-3702(80)90051-X

P. J. Hayes, The second naive physics manisfesto, Theories of the Commonsense World, pp.1-36, 1985.

B. Hayes-roth, The Blackboard Architecture: A General Framework for Problem Solving?, 1983.

B. Hayes-roth, A blackboard architecture for control, Artificial Intelligence, vol.26, issue.3, pp.251-321, 1985.
DOI : 10.1016/0004-3702(85)90063-3

G. Hu and G. Stockman, 3-D surface solution using structured light and constraint propagation, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.11, issue.4, pp.390-402, 1989.
DOI : 10.1109/34.19035

Y. Iwasaki and H. A. Simon, Causality in device behavior, Artificial Intelligence, vol.29, issue.1, pp.3-32, 1986.
DOI : 10.1016/0004-3702(86)90089-5

Y. Iwasaki and H. A. Simon, Theories of Causal Ordering: Reply to de Kleer and Brown, Artificial Intelligence, vol.29, issue.l, pp.63-72, 1986.
DOI : 10.1016/B978-1-4832-1447-4.50069-9

Y. Iwasaki and I. Bhandari, Formal basis for abstraction of dynamic systems, Proceedings of the AAAI 88, AAAI, 1988.

S. Kasif, On the parallel complexity of some constraint satisfaction problems, Proc. AAAI-86, pp.349-353, 1986.

J. Benjamin and . Kuipers, The limits of qualitative simulation, Proceedings of the Ninth International Joint Conference on Artificial Intelligence IJCAI-85, 1985.

B. J. Kuipers, Getting the envisionnement right, Proc. of IJCAI-85, pp.128-136, 1985.

J. Benjamin and . Kuipers, Qualitative simulation, Intelligence, vol.29, issue.3, pp.289-338, 1986.

J. Benjamin and . Kuipers, Abstraction by time-scale in qualitative simulation, Proceedings of the Seventh National Conference on Artificial Intelligence AAAI-87, pp.621-625, 1987.

J. Benjamin and . Kuipers, Qualitative simulation as causal explanation, IEEE Transactions on Systems, Man and Cybernetics, 1987.

B. J. Kuipers and J. P. Kassirer, Knowledge Acquisition by Analysis of Verbatim Protocols, Knowledge Acquisition for Expert Systems, 1987.
DOI : 10.1007/978-1-4613-1823-1_3

B. J. Kuipers and W. W. Lee, Non-intersection of trajectories in qualitative phase space: a global constraint for qualitative simulation, Proceedings of AAAI-88, 1988.

B. J. Kuipers and D. Dvorak, Model-based monitoring of dynamic systems, Proc. IJCAI-89, IJCAI, 1989.

A. V. Lensky, A. M. Lizunov, A. B. , A. Yu, and . Schneider, Manipulator motion along a constraint, Robotica, vol.2, issue.04, pp.247-254, 1986.
DOI : 10.1016/0094-114X(83)90116-7

G. David and . Lowe, The viewpoint consistency constraint, International Journal of Computer Vision, issue.l, pp.57-72, 1987.

A. K. Mackworth, Consitency in network of relations, Artificial Intelligence, 1977.

A. K. Mackworth and E. C. Freuder, The complexity of some polynomial network consistency algorithms for constraint satisfaction problems, Artificial Intelligence, vol.25, issue.1, 1985.
DOI : 10.1016/0004-3702(85)90041-4

M. L. Maher and S. J. Fenves, Hi-rise: an expert system for the preliminary structural design of high-rise buildings, In Knowledge Engineering in Computer Aided Design, J. Gero. North Holland, 1984.

]. M. Mavrovouniotis and G. Stephanopoulos, Formal order-of-magnitude reasoning in process engineering, Computers and Chemical Engineering, vol.12, pp.9-10867, 1988.

A. David and . Mcallester, An Outlook on Truth Maintenance Technical Report memo-551, M.I.T. -The Artificial Intelligence Laboratory, 1980.

A. David and . Mcallester, The Use of Equality in Deduction and Knowledge Representation, 1980.

J. Mohammed and R. Simmons, Qualitative simulation of semiconductor fabrication, Proc. AAAI-86, pp.794-799, 1986.

R. Mohr and T. C. Henderson, Arc and path consistency revisited, Artificial Intelligence, vol.28, issue.2, 1986.
DOI : 10.1016/0004-3702(86)90083-4

URL : https://hal.archives-ouvertes.fr/inria-00548487

R. Mohr and G. Masini, Good old discrete relaxation, Proceedings of ECAI 88, 1988.
URL : https://hal.archives-ouvertes.fr/inria-00548479

. David-dalle-molle, Qualitative Simulation of Dynamic Chemical Processes, 1989.

U. Montanari, Networks of constraints: Fundamental properties and applications to picture processing, Information Sciences, vol.7, 1974.
DOI : 10.1016/0020-0255(74)90008-5

A. Morgan, Solving Polynomial Systems Using Continuation for Engineering and Scientific Problems
DOI : 10.1137/1.9780898719031

M. Morgenstern, Constraint equations: a concise compilable representation for quantified relational constraints in semantic networks, AAAI-84 Nat'I Conf., AAAI, 1984.

A. K. Mulder, J. A. Mackworth, and W. S. Havens, Knowledge structuring and constraint satisfaction: the Mapsee approach, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.10, issue.6, pp.10866-879, 1988.
DOI : 10.1109/34.9108

R. Philip and . Nachtcheim, Solving constraint satisfaction problems, AI Expert, vol.4, issue.6, pp.30-35, 1989.

M. A. Oyeleye and . Kramer, Qualitative simulation of chemical process systems: Steady-state analysis, AIChE Journal, vol.34, issue.9, pp.1441-1459, 1988.
DOI : 10.1002/aic.690340906

J. Y. Pan and . Tenenbaum, PIES: an engineer's do-it-yourself knowledge system for interpretation of parametric test data, Proceedings of the Sixth National Conference on Artificial Intelligence, AAAI, 1986.

N. Porte, S. Boucheron, J. Sallantin, and F. Arlabosse, An algorithmic view at causal ordering, Proceedings of the Second Qualitative Physics Workshop, 1988.

M. and R. Quillian, Semantic Memory, Sematic Information Processing, 1968.
DOI : 10.1016/B978-1-4832-1446-7.50013-3

E. P. Sacks, Qualitative mathematical reasoning, Proc. of IJCAI-85, pp.137-139, 1985.

E. P. Sacks, Qualitative analysis by piecewise linear approximation, Artificial Intelligence in Engineering, vol.3, issue.3, pp.151-155, 1988.
DOI : 10.1016/0954-1810(88)90031-3

E. P. Sacks, Automatic qualitative analysis of dynamic systems using piecewise linear approximations, Artificial Intelligence, vol.41, issue.3, pp.313-364, 1990.
DOI : 10.1016/0004-3702(90)90047-4

D. Sriram, Knowledge-based expert systems in structural design, NASA conference on Advances in Structural Mechanisms, 1984.

M. Richard, G. J. Stallman, and . Sussman, Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis, Artificial Intelligence, vol.9, pp.135-196, 1977.

M. Richard, G. J. Stallman, and . Sussman, Problem solving about electrical circuit, Artificial Intelligence

G. Lewis-steele-jr, The Definition and Implementation of a Computer Programming Language based on Constraints, 1980.

A. Kent and . Stevens, The line of curvature constraint and the interpretation of 3-d shape from parallel surface contours

P. Struss, Mathematical aspects of qualitative reasoning, Artificial Intelligence in Engineering, vol.3, issue.3, 1987.
DOI : 10.1016/0954-1810(88)90032-5

P. Struss, Multiple Representation of Structure and Function, Expert Systems in Computer Aided Design, 1987.

P. Struss, Global Filters for Qualitative Behaviors, Proceedings on the Eighth National Conference on Artificial Intelligence AAAI-88, 1988.
DOI : 10.1016/B978-1-4832-1447-4.50021-3

J. Gerald, G. L. Sussman, and . Steele-jr, CONSTRAINTS -a language for expressing almost-hierarchical descriptions, Artificial Intelligence, vol.14, issue.l, p.39, 1980.

L. David and . Waltz, Generating Semantic Descriptions from Drawings of Scenes With Shadows, M.I.T. Artificial Inteligence Laboratory, 1972.

S. David and . Weld, The use of aggregation in causal simulation, Artificial Intelligence, vol.30, issue.1, 1986.

S. David and . Weld, Choices for comparative analysis : dq analysis or exaggeration, Artificial Intelligence in Engineering, vol.3, issue.3, pp.174-180, 1988.

C. Brian and . Williams, The use of continuity in a qualitative physics, Proc. AAAI-84, 1984.

]. B. Williams, Doing Time: Putting Qualitative Reasoning on Firmer Ground, Proc. AAAI-86, pp.105-112, 1986.
DOI : 10.1016/B978-1-4832-1447-4.50032-8

C. Brian and . Williams, Beyond Qualitative Reasoning, Technical Report Extended Abstract, M.I.T. Artificial Intelligence Lab, 1987.

K. Yip, Extracting Qualitative Dynamics from Numerical Experiments, Technical Report Draft, M.I.T. Artificial Intelligence Lab, 1987.

W. Steven, S. Zucker, and . Davis, Points and endpoints: a size/spacing constraint for dot grouping, Perception, vol.17, issue.2, pp.229-247, 1988.

U. Exemple, Le Modèle de Désenfumage d'un Local Incendié, p.135

L. Causal, Exemple de difficulté d'interprétation, p.120