{"type":"ScholarlyArticle","title":"Abstract Theorem Proving","authors":[{"name":"Fausto Giunchiglia","slug":"fausto-giunchiglia","given":"Fausto","family":"Giunchiglia","affiliation":""},{"name":"Toby Walsh","slug":"toby-walsh","given":"Toby","family":"Walsh","affiliation":""}],"abstract":"Informally, abstraction can be described as the process of mapping a representation of a problem into a new representation. The aim of the paper is to propose a theory of abstraction. The generality of the framework is tested by formalizing and analyzing some work done in the past; its efficacy by giving a procedure which solves the \"false proof problem by avoiding the use of inconsistent abstract spaces.","doi":null,"url":"https://ijcai.org/proceedings/1989/59","pdf":"https://ijcai.org/proceedings/1989/0059.pdf","markdown":"https://ijcai.org/proceedings/1989/59.md","bibtex":"https://ijcai.org/proceedings/1989/bibtex/59","volume":{"slug":"1989","title":"Proceedings of the Eleventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1989","url":"https://ijcai.org/proceedings/1989/","year":1989,"location":"Detroit, Michigan, USA","dates":"August 20-25 1989","editors":"N. S. Sridharan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automated Deduction","track":"Automated Deduction","number":59,"pages":{"first":372,"last":376},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}