1 Table of Contents: “...Computing queries from prioritized default theories -- Beliefs and bilattices -- Fast termination...”

2 Table of Contents: “...Putting objects to work on a massive scale -- Approximate and commonsense reasoning: From theory...”

3 Subjects: “...Theory of Computation...”

4 Table of Contents: “... order theories with neural networks -- A way of increasing both autonomy and versatility of a KDD system...”

5 Table of Contents: “... knowledge bases consisting of first order theories -- User profiles for information retrieval -- An approach...”

6 Table of Contents: “... -- Automatic theorem generation in plane geometry -- Learning simple recursive theories -- The many faces...”

7 Table of Contents: “... information -- An interpretation for the conditional belief functionin the theory of evidence -- Artificial...”