Journal of Automated Reasoning 1994: Vol 13 Index

3 Pages·1994·0.23 MB·English

Journal of Automated Reasoning 13 (1994)
Author Index to Volume 13
Astrachan, O., 283 Lorenz, S., 375
Baumgartner, P., 339 Mayr, K., 297
Bonacina, M. P., 1 Miglioli, P., 361
Bonatti, P. A., 35 Minker, J., 117
Moscato, U., 361
d’ Agostino, M., 243
Ornaghi, M., 361
Fernandez, J. A., 117
Fitting, M., 175 PliuSkevitius, R., 391
Furbach, U., 339
Risch, V., 223
Gabbay, D. M., 243
Goller, C., 297 Sakama, C., 145
Schmitt, P. H., 211
Hihnle, R., 211 Schumann J., 409
Hsiang, J., 1 Schwind, C. B., 223
Stickel, M. E., 189
Inoue, K., 145
Wrightson, G., 173
Johnson, C. A., 83
Yahya, A., 117
Letz, R., 297 Yuan, L.-Y., 69

Journal of Automated Reasoning 13 (1994)
Subject Index to Volume 13
abduction, 189 logic programming, 175, 339
abductive frameworks, 35
analytic deduction, 243 mechanical theorem proving, 211
analytic tableaux, 243 meta-interpretation, 189
autoepistemic logic, 69 model elimination, 189, 283, 297, 339
automated theorem provers, 411 model generation procedure, 145
caching, 189 nonmonotonic logic, 223, 375
clause graphs, 83 nonmonotonic reasoning, 69
closed world assumption, 145
connection method, 297 ordered model trees, 117
contraction, |
contrapositives, 339 parallel theorem proving, 1
controlled derivation, 243 possible model semantics, 145
cut rule, 297 possible world semantics, 243
Proflog, 175
default logic, 223 proof theory of linear temporal logic, 393
default logic and logic programming, 69 PTTP-technique, 339
disjunctive deductive database, 117 purity, 83
disjunctive logic programs, 145
distrubuted deduction, | refutation systems, 361
domain minization, 375 resolution, 83
duplications, 361 resource logics, 243
entailment, 375 sequent and tableau systems, 393
extension of SLDNF-resolution, 35 substructural logics, 243
supervaluations, 175
first-order logic, 297
formal integration of heterogeneous program tableau, 175
modules, 35 tableau-based provers, 411
high-performance computing, 283 tableau calculus, 211
tableau prover, 375
idefinite information, 117 tableaux, 223, 297
intuitionistic logic, 361 termination, 83
theorem proving, 283, 297
knowledge representation, 69
Kripke models, 361 unifying frameworks for logic programming, 35
labelled deductive systems, 243 3-valued autoepitemic logic and its proof-theory,
lemmata, 297 35