{"type":"ScholarlyArticle","title":"On the Solution of Schubert's Steamroller in Many-Sorted Logic","authors":[{"name":"Anthony G. Cohn","slug":"anthony-g-cohn","given":"Anthony G.","family":"Cohn","affiliation":""}],"abstract":"A challenge problern for automated theorem provers posed in 1978 by Schubert has recently been solved with the Karlsruhe MKRP-system by formulating the problern in many sorted logic. It is shown here that a further improvement is possible by using a more sophisticated, polymorphic many sorted logic . The problern and its solution are discussed and the differences between the different formulations are analysed .","doi":null,"url":"https://ijcai.org/proceedings/1985/237","pdf":"https://ijcai.org/proceedings/1985/0237.pdf","markdown":"https://ijcai.org/proceedings/1985/237.md","bibtex":"https://ijcai.org/proceedings/1985/bibtex/237","volume":{"slug":"1985","title":"Proceedings of the Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1985","url":"https://ijcai.org/proceedings/1985/","year":1985,"location":"Los Angeles, California, USA","dates":"","editors":"Aravind Joshi","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Theorem Proving","track":"Theorem Proving","number":237,"pages":{"first":1169,"last":1173},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}