---
title: "PRISM: A Parallel Inference System for Problem Solving"
authors:
  - "Simon Kasif"
  - "Madhur Kohli"
  - "Jack Minker"
doi: ""
url: "https://ijcai.org/proceedings/1983/130"
pdf: "https://ijcai.org/proceedings/1983/0130.pdf"
venue: "Proceedings of the Eighth International Joint Conference on Artificial Intelligence"
year: 1983
pages: "544-545"
track: "Logic Programming"
keywords:
---

# PRISM: A Parallel Inference System for Problem Solving

Simon Kasif, Madhur Kohli, Jack Minker

*Proceedings of the Eighth International Joint Conference on Artificial Intelligence*, pages 544-545.

## Abstract