Table Of Content

Journal of Automated Reasoning 7 (1991) 639 Author Index to Volume 7 Andrews, P. B., 285 Nutt, W., 369 Bollen, A. W., 563 Padawitz, P., 27 : Bruynooghe, M., 337 Parlamento, F., 271 - Bunder, M. W., 597 Policriti, A., 271 V's Bundy, A., 303 Powers, L., 597 Pritchard, P., 475 Cantone, D., 193, 231 Catach, L., 489 Quaife, A., 287 De Jongh, D., 537 Ramsay, A., 359 De Schreye, D., 337 Renardel de Lavalette, G. R., 537 Rich, C., 403 Feldman, Y. A., 403 Ferro, A., 169, 257 Sablon, G., 337 Schwartz, J.T., 231 Gabbay, D. M., 511 Slaney, J. K., 453 Gao Tang, T., 383 Smaill, A., 303 Socher, R., 325 Hendriks, L., 537 Stevens, R., 159, 160 Hesketh, J., 303 Stokes, T., 163 Kaufmann, M., 109 Tammet, T., 587 Kriwaczek, F., 511 Thistlewaite, P. B., 635 Lovelazd, D. W., 1 Van Harmelen, F., 303 Martens, B., 337 Wen-Tsun, W., 171 McRobbie, M. A., 447, 635 Wilding, M., 439 Meyer, R. K., 597 Wos, L., 105, 301, 435, 631 Mints, G., 587 Journal of Automated Reasoning 7 (1991) 639 Author Index to Volume 7 Andrews, P. B., 285 Nutt, W., 369 Bollen, A. W., 563 Padawitz, P., 27 : Bruynooghe, M., 337 Parlamento, F., 271 - Bunder, M. W., 597 Policriti, A., 271 V's Bundy, A., 303 Powers, L., 597 Pritchard, P., 475 Cantone, D., 193, 231 Catach, L., 489 Quaife, A., 287 De Jongh, D., 537 Ramsay, A., 359 De Schreye, D., 337 Renardel de Lavalette, G. R., 537 Rich, C., 403 Feldman, Y. A., 403 Ferro, A., 169, 257 Sablon, G., 337 Schwartz, J.T., 231 Gabbay, D. M., 511 Slaney, J. K., 453 Gao Tang, T., 383 Smaill, A., 303 Socher, R., 325 Hendriks, L., 537 Stevens, R., 159, 160 Hesketh, J., 303 Stokes, T., 163 Kaufmann, M., 109 Tammet, T., 587 Kriwaczek, F., 511 Thistlewaite, P. B., 635 Lovelazd, D. W., 1 Van Harmelen, F., 303 Martens, B., 337 Wen-Tsun, W., 171 McRobbie, M. A., 447, 635 Wilding, M., 439 Meyer, R. K., 597 Wos, L., 105, 301, 435, 631 Mints, G., 587 Journal of Automated Reasoning 7 (1991) Subject Index to Volume 7 algebraic specification, 27 induction, 27 artificial intelligence, 383 inference rule, 631 automated reasoning, 105, 287, 403, 435, 631 intermediate logics, 511 automated thecrem proving, 325, 587 intuitionistic logic, $11 imtuitionistic propositional logic, 537 backtracking, 475 pet logic programming, 1, 337, 563 case analysis, | case study, 109 Manthey and Bry’s model, 359 choice operator, 257 matching, 369 classical logic, 511 mathematical induction, 303 clausal normal form, 325 matrix models, 475 clause generation, 105 mechanical theorem discovering, 171 clause retention, 105 mechanical theorem proving, 171, 287, 537 combinator, 597 metarules, 631 combinatorial explosion, 303 modal (temporal, dynamic, epistemic) combinatory logic, 597 logics, 489 condensed detachment, 587, 597 conditionals, 563 nonmonotonic reasoning, 383 confluence, 27 number theory, 287 constraint satisfaction, 453, 475 control rules, 337 P-W, 597 paramodulation, 27 d-characteristic set, 171 pattern-directed invocation, 403 D-completeness, 597 planning, 303 decidability, 257, 271 prime implicants, 325 decision procedures, 193, 231, 489 program synthesis, 303 diagram, 537 program verification, 109, 231 discarding redundant information, 435 PROLOG, 383 proof-checking, 109 equational theories, 369 proof plans, 303 experimental results, 489 propositional calculi, 475 extended prolog, 1 reduction, 27 first-order logic, 383 reflection, 271 first-order predicate calculus, 359 relevance, 563 formulas-as-types, 597 relevance logic, 587 fragment, 537 relevant logic, 453, 597 free variables, 109 representation, 631 resolution, 27, 511, 597 generalization, 109 restart rule, 511 restriction strategy, 105 Horn logic, 27 search, 303 implication, 597 sentential constants, 453 indefinite answers, | set of support strategy, 105 642 SUBJECT INDEX set theory, 193, 231, 257 theorem proving, 193, 257, 303, 359, 489 strategy, 631 transformation, 337 subsumption, 435 truth-maintenance systems, 403 types, 597 tableaux method, 489 tactics, 303 unification, 369 temporal logic, 383 unsolved problems, 287 theorem prover, 511 unsolved research problem, 105, 435, 631 Well-Ordering-Principle, 171