{"type":"ScholarlyArticle","title":"PRISM: A Parallel Inference System for Problem Solving","authors":[{"name":"Simon Kasif","slug":"simon-kasif","given":"Simon","family":"Kasif","affiliation":""},{"name":"Madhur Kohli","slug":"madhur-kohli","given":"Madhur","family":"Kohli","affiliation":""},{"name":"Jack Minker","slug":"jack-minker","given":"Jack","family":"Minker","affiliation":""}],"abstract":"","doi":null,"url":"https://ijcai.org/proceedings/1983/130","pdf":"https://ijcai.org/proceedings/1983/0130.pdf","markdown":"https://ijcai.org/proceedings/1983/130.md","bibtex":"https://ijcai.org/proceedings/1983/bibtex/130","volume":{"slug":"1983","title":"Proceedings of the Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1983","url":"https://ijcai.org/proceedings/1983/","year":1983,"location":"Karlsruhe, West Germany","dates":"","editors":"Alan Bundy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Logic Programming","track":"Logic Programming","number":130,"pages":{"first":544,"last":545},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}