Madhur Kohli

Learn More
1. Introduction PRISM (a Parallel Inference System), for parallel execution of problems, has been implemented on ZMOB (Rieger [1980]). PRISM is an experimental tool for the development of distributed AI problem solvers and is based on logic programming. Familiarity with logic programming (Kowalski [1979]) is assumed. In conventional programming systems the(More)
Speculative query evaluation is the process of answering queries over databases containing objects that serve as compact representations for very large search spaces. Such objects occur naturally in scheduling, planning and engineering applications. The basic idea behind efficient evaluation of speculative queries is the ability to construct a subset of the(More)