CELL-TISSUE: a control architecture for knowledgebased systems, Proceedings of the Eight International Workshop on Expert Systems and their Applications, 1988. ,
Blackboard and alternative architectural design for two real-scale kbs industrial application, Blackboard Systems and Applications, 1989. ,
Cell-tissue: une architecture de controle pour les systèmes a base de connaissance, TSI-Techniques et Science de l'Informatique, 1989. ,
An Asynchronous Programming Language and Computing Machine, 1978. ,
Theorie de la viabilité, CERE- MADE, 1989. ,
The study of search methods: the effort of constraint satisfaction in adventurousness, Proc. of IJCAI-85, pp.1079-1082, 1985. ,
Constraint satisfaction from a deductive Artificial Intelligence, pp.401-413, 1985. ,
A comparative study of different approaches to qualitative physics theories, Proceedings of the Second Conf. Artificial Intelligence Applications, 1985. ,
Constraint-based tools for building user interfaces, ACM Transactions on Graphics, vol.5, issue.4, pp.345-374, 1986. ,
DOI : 10.1145/27623.29354
Integrating qualitative reasoning approaches, Proceedings of the European Conference on Artificial Intelligence ECAI-88, ECAI, 1988. ,
Application of Constraint Satisfaction Techniques to the Determination of Protein Tertiary Structure, 1986. ,
Gr??bner Bases: An Algorithmic Method in Polynomial Ideal Theory, Multidimensional Systems Theory, 1985. ,
DOI : 10.1007/978-94-009-5225-6_6
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
Quelques Reflexions sur la Physique Qualitative, CERMA-Ecole Nationale des Ponts et Chaussées et Dept. Recherche et Développement Framentec, 1990. ,
Qualitative Reasoning in an Expert System ,
Constraint propagation with interval labels, Artificial Intelligence, vol.32, issue.3, pp.281-331, 1987. ,
DOI : 10.1016/0004-3702(87)90091-9
The anatomy of easy problems: a constraint-satisfaction formulation, Proc. of IJCAI-85, pp.1066-1072, 1985. ,
Learning while searching in constraintsatisfaction problems, Proc. AAAI-86, pp.178-183, 1986. ,
Removing redundencies in constraint networks, Proceedings AAAI-87, 1987. ,
Network-based heuristics for constraint satisfaction problems, Artificial Intelligence, 1987. ,
Tree clustering for constraint networks, Artificial Intelligence, vol.38, issue.3, 1989. ,
DOI : 10.1016/0004-3702(89)90037-4
Qualitative and Quantitative Knowledge in Classical Mechanics, 1975. ,
Qualitative and quantitative reasoning in classical mechanics, Artificial Intelligence: An MIT Perspective, pp.9-30, 1979. ,
Qualitative reasoning with higher-order derivatives, Proc. AAAI-84 Nat'l Conf., AAAI, 1984. ,
A qualitative physics based on confluences, Artificial Intelligence, vol.24, pp.7-83, 1984. ,
An assumption based truth maintenance system, Artificial Intelligence, vol.28, issue.2, pp.127-162, 1986. ,
Theories of causal ordering, Artificial Intelligence, vol.26, issue.1, pp.33-61, 1986. ,
AMORD: A Deductive Procedure System, 1978. ,
First version of a data flow procedure language, 1973. ,
DOI : 10.1007/3-540-06859-7_145
Propagation of constraints applied to circuit synthesis, Circuit Theory and Applications, vol.8, pp.127-144, 1980. ,
Diagnosing multiple faults, Artificial Intelligence, vol.32, issue.1, pp.97-130, 1987. ,
Analyse Qualitative, 1990. ,
Resolution Qualitative : Completude, Interpretation Physique et Contrôle. Mise en Oeuvre dans un langage a base de regles: BOOJUM, 1987. ,
Truth Maintenance Systems for Problem Solving, 1977. ,
A truth maintenance system, Artificial Intelligence, vol.12, issue.3, pp.231-272, 1979. ,
DOI : 10.1016/0004-3702(79)90008-0
Amord: explicit control on reasoning, Proceedings AI and Programming Languages Conference, pp.116-125, 1977. ,
Integrating quantitative and qualitative discovery: the abacus system, Machine Learning, pp.367-401, 1986. ,
Setting up Large-Scale Qualitative Models, AAAI-88, AAAI, 1988. ,
DOI : 10.1016/B978-1-4832-1447-4.50055-9
QSIM user's Manual and Maintainer's Guide, 1990. ,
Qualitative reasoning about physical processes, IJCAI-81, IJCAI, 1981. ,
A Study of Qualitative and Geometric Knowledge in Reasoning about Motion ,
Measurement interpretation in qualitative process theory, Proc. IJCAI-83, pp.315-320, 1983. ,
Qualitative process theory, Artificial Intelligence, vol.24, issue.1-3, pp.85-168, 1984. ,
DOI : 10.1016/0004-3702(84)90038-9
The Qualitative Process Engine: A Study in Assumption based Truth Maintenance, 1987. ,
Focusing the atms, Proceedings on the Eightth National Conference on Artificial Intelligence, AAAI, 1988. ,
Job-shop scheduling: an investigation in constraint-directed reasoning, Proc ,
Isis: a constraint-directed search approach to job-shop scheduling, Proc. IEEE Computer Society Trends and Applications, 1983. ,
Synthetizing constraint expression, Communication of the ACM, 1978. ,
A sufficient condition of backtrackfree search, 1982. ,
Taking advantage of stable sets of variables in constraint satisfaction problems, Proc. of IJCAI-85, pp.1076-1078, 1985. ,
A sufficient condition for backtrackbounded search, 1985. ,
Partial constraint satisfaction, Proceedings IJCAI-89, 1985. ,
Some Data Base Applications of Constraints Expressions, 1976. ,
Reduction operations for constraint satisfaction, Information Sciences, vol.14, issue.3, 1978. ,
DOI : 10.1016/0020-0255(78)90043-9
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
The second naive physics manisfesto, Theories of the Commonsense World, pp.1-36, 1985. ,
The Blackboard Architecture: A General Framework for Problem Solving?, 1983. ,
A blackboard architecture for control, Artificial Intelligence, vol.26, issue.3, pp.251-321, 1985. ,
DOI : 10.1016/0004-3702(85)90063-3
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
Causality in device behavior, Artificial Intelligence, vol.29, issue.1, pp.3-32, 1986. ,
DOI : 10.1016/0004-3702(86)90089-5
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
Formal basis for abstraction of dynamic systems, Proceedings of the AAAI 88, AAAI, 1988. ,
On the parallel complexity of some constraint satisfaction problems, Proc. AAAI-86, pp.349-353, 1986. ,
The limits of qualitative simulation, Proceedings of the Ninth International Joint Conference on Artificial Intelligence IJCAI-85, 1985. ,
Getting the envisionnement right, Proc. of IJCAI-85, pp.128-136, 1985. ,
Qualitative simulation, Intelligence, vol.29, issue.3, pp.289-338, 1986. ,
Abstraction by time-scale in qualitative simulation, Proceedings of the Seventh National Conference on Artificial Intelligence AAAI-87, pp.621-625, 1987. ,
Qualitative simulation as causal explanation, IEEE Transactions on Systems, Man and Cybernetics, 1987. ,
Knowledge Acquisition by Analysis of Verbatim Protocols, Knowledge Acquisition for Expert Systems, 1987. ,
DOI : 10.1007/978-1-4613-1823-1_3
Non-intersection of trajectories in qualitative phase space: a global constraint for qualitative simulation, Proceedings of AAAI-88, 1988. ,
Model-based monitoring of dynamic systems, Proc. IJCAI-89, IJCAI, 1989. ,
Manipulator motion along a constraint, Robotica, vol.2, issue.04, pp.247-254, 1986. ,
DOI : 10.1016/0094-114X(83)90116-7
The viewpoint consistency constraint, International Journal of Computer Vision, issue.l, pp.57-72, 1987. ,
Consitency in network of relations, Artificial Intelligence, 1977. ,
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
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. ,
Formal order-of-magnitude reasoning in process engineering, Computers and Chemical Engineering, vol.12, pp.9-10867, 1988. ,
An Outlook on Truth Maintenance Technical Report memo-551, M.I.T. -The Artificial Intelligence Laboratory, 1980. ,
The Use of Equality in Deduction and Knowledge Representation, 1980. ,
Qualitative simulation of semiconductor fabrication, Proc. AAAI-86, pp.794-799, 1986. ,
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
Good old discrete relaxation, Proceedings of ECAI 88, 1988. ,
URL : https://hal.archives-ouvertes.fr/inria-00548479
Qualitative Simulation of Dynamic Chemical Processes, 1989. ,
Networks of constraints: Fundamental properties and applications to picture processing, Information Sciences, vol.7, 1974. ,
DOI : 10.1016/0020-0255(74)90008-5
Solving Polynomial Systems Using Continuation for Engineering and Scientific Problems ,
DOI : 10.1137/1.9780898719031
Constraint equations: a concise compilable representation for quantified relational constraints in semantic networks, AAAI-84 Nat'I Conf., AAAI, 1984. ,
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
Solving constraint satisfaction problems, AI Expert, vol.4, issue.6, pp.30-35, 1989. ,
Qualitative simulation of chemical process systems: Steady-state analysis, AIChE Journal, vol.34, issue.9, pp.1441-1459, 1988. ,
DOI : 10.1002/aic.690340906
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. ,
An algorithmic view at causal ordering, Proceedings of the Second Qualitative Physics Workshop, 1988. ,
Semantic Memory, Sematic Information Processing, 1968. ,
DOI : 10.1016/B978-1-4832-1446-7.50013-3
Qualitative mathematical reasoning, Proc. of IJCAI-85, pp.137-139, 1985. ,
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
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
Knowledge-based expert systems in structural design, NASA conference on Advances in Structural Mechanisms, 1984. ,
Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis, Artificial Intelligence, vol.9, pp.135-196, 1977. ,
Problem solving about electrical circuit, Artificial Intelligence ,
The Definition and Implementation of a Computer Programming Language based on Constraints, 1980. ,
The line of curvature constraint and the interpretation of 3-d shape from parallel surface contours ,
Mathematical aspects of qualitative reasoning, Artificial Intelligence in Engineering, vol.3, issue.3, 1987. ,
DOI : 10.1016/0954-1810(88)90032-5
Multiple Representation of Structure and Function, Expert Systems in Computer Aided Design, 1987. ,
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
CONSTRAINTS -a language for expressing almost-hierarchical descriptions, Artificial Intelligence, vol.14, issue.l, p.39, 1980. ,
Generating Semantic Descriptions from Drawings of Scenes With Shadows, M.I.T. Artificial Inteligence Laboratory, 1972. ,
The use of aggregation in causal simulation, Artificial Intelligence, vol.30, issue.1, 1986. ,
Choices for comparative analysis : dq analysis or exaggeration, Artificial Intelligence in Engineering, vol.3, issue.3, pp.174-180, 1988. ,
The use of continuity in a qualitative physics, Proc. AAAI-84, 1984. ,
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
Beyond Qualitative Reasoning, Technical Report Extended Abstract, M.I.T. Artificial Intelligence Lab, 1987. ,
Extracting Qualitative Dynamics from Numerical Experiments, Technical Report Draft, M.I.T. Artificial Intelligence Lab, 1987. ,
Points and endpoints: a size/spacing constraint for dot grouping, Perception, vol.17, issue.2, pp.229-247, 1988. ,
Le Modèle de Désenfumage d'un Local Incendié, p.135 ,
Exemple de difficulté d'interprétation, p.120 ,