Qualitative process theory

Allen, 1981, Maintaining knowledge about temporal intervals Asbell, 1982, A constraint representation and explanation facility for renal physiology, MIT SM Thesis, Cambridge, MA Brown, 1973, A model-driven question-answering system for mixed-initiative computer-assisted instruction, IEEE Trans. Systems Man Cybernet, 3, 10.1109/TSMC.1973.4309213 Bunge, 1979 Collins, 1975, Reasoning from incomplete knowledge De Kleer, 1975, Qualitative and quantitative knowledge in classical mechanics De Kleer, 1979, Causal and teleological reasoning in circuit recognition De Kleer, 1983, Assumptions and ambiguities in mechanistic mental models De Kleer, 1978, Propagation of constraints applied to circuit synthesis, MIT AI Lab Memo No. 485 diSessa, 1983, Phenomenology and the evolution of intuition Fikes, 1971, STRIPS: A new approach to the application of theorem proving to problem solving, Artificial Intelligence, 2, 189, 10.1016/0004-3702(71)90010-5 Forbus, 1981, A study of qualitative and geometric knowledge in reasoning about motion Forbus, 1981, Using qualitative simulation to generate explanations, BBN Tech. Rept. No. 4490 1981 Forbus, 1981, A CONLAN primer, BBN Tech. Rept. No. 4491 Forbus, 1981, Qualitative reasoning about physical processes Forbus, 1982, Qualitative process theory, MIT AI Lab Memo No. 664 Forbus, 1983, Qualitative reasoning about space and motion Forbus, 1983, Measurement interpretation in qualitative process theory Forbus, 1983, Learning physical domains: Towards a theoretical framework Forrester, 1968 Hayes, 1979, The naive physics manifesto Hayes, 1979 Heise, 1975 Hendrix, 1973, Modeling simultaneous actions and continuous processes, Artificial Intelligence, 4, 145, 10.1016/0004-3702(73)90010-6 Kuipers, 1982, Getting the envisionment right Kuipers, 1983, How to discover a knowledge representation for causal reasoning by studying an expert physician Langley, 1979, Rediscovering physics with BACON.3 McClosky, 1983, Naive theories of motion McCarthy, 1969, Some philosophical problems from the standpoint of artificial intelligence, 4 McDermott, 1982, A temporal logic for reasoning about processes and plans, Cognitive Sci., 6, 10.1207/s15516709cog0602_1 McDermott, 1980, Non-monotonic logic I, Artificial Intelligence, 13, 41, 10.1016/0004-3702(80)90012-0 McDonald, 1983, Natural language generation as a computational problem: an introduction Minsky, M., Personal communication. Minsky, 1974, A framework for representing knowledge, MIT AI Lab Memo No. 306 Moore, 1975, Reasoning from incomplete knowledge in a procedural deduction system, MIT AI Lab, TR-347 Moore, 1979, Reasoning about knowledge and action, MIT Ph.D. Thesis, Cambridge, MA Pew, 1982, Evaluation of proposed control room improvements through analysis of critical operator decisions, Electric Power Research Institute Rept. NP-1982 Reiter, 1980, A logic for default reasoning, Artificial Intelligence, 13, 81, 10.1016/0004-3702(80)90014-4 Rieger, 1977, The declarative representation and procedural simulation of causality in physical mechanisms Riley, 1981 Shearer, 1967 Simmons, 1983, Representing and reasoning about change in geologic interpretation Stallman, 1977, Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis, Artificial Intelligence, 9, 135, 10.1016/0004-3702(77)90029-7 Stanfill, 1983, The decomposition of a large domain: Reasoning about machines Stansfield, 1980, Conclusions from the commodity expert project, MIT AI Lab Memo 601 Stevens, 1981, STEAMER: Advanced computer aided instruction in propulsion engineering, BBN Tech. Rept. No. 4702 Weld, 1984, Explaining complex engineered devices, BBN Tech. Rept. No. 5489 Williams, 1984, Qualitative analysis of MOS circuits, Artificial Intelligence, 24, 10.1016/0004-3702(84)90041-9 Williams, 1983, Human reasoning about a simple physical system Clement, 1983, A conceptual model discussed by Gallileo and used intuitively by physics students