A Bibliography on Hybrid Reasoning

This bibliography was originally compliled for and distributed at the 1988 Workshop on Principles of Hybrid Reasoning. This bibliography was originally compliled for and distributed at the 1988 Workshop on Principles of Hybrid Reasoning.

In Daniel G. Bobrow and Alan Model of Computation Based on a Calculus University of New York at Albany, 1986. On the of many sorted interpolation theorems. An investigation [Höhfeld and Smolka, 1988] Markus Höhfeld in Expert Systems III, pages 184-194, into inference with restricted and G. Smolka. A many-sorted resolution based Levesque, and Raymond Reiter, editors, 2(3):142-150, 1986. An overview in a topically organized semantic of the HORNE logic programming system.