Title index to volume 17

365

TITLE INDEX TO VOLUME 17

And-Or Parallelism sors, 59 Circumscribing ifications), Commonsense

on Shared-Memory

Multiproces-

Embedded Implications (Without Strat323 Axiomatizations for Logic Programs, 161

Family of Stable

Models,

Reasoning

Overview of Nonmonotonic gramming, An, 95 Proof Method of Partial pleteness for Normal

with

Logic

Reasoning

Programming,

and Logic Pro-

Correctness and Weak Logic Programs, 265

Com-

The, 197

Goal-Oriented Approach to Computing Founded Semantics, A, 279 Lower Bounds

Non-Monotonic 227

for the Lengths

of Refutations,

the

Well-

31

Representing 301

Action

and Change

by Logic Programs,

Success and Failure for Hereditary Harrop Formulae, 1 Survey of Complexity Results for Non-monotonic Logits, A, 127