Abstract Theorem Proving
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.
Cite
Text
Giunchiglia and Walsh. "Abstract Theorem Proving." International Joint Conference on Artificial Intelligence, 1989.Markdown
[Giunchiglia and Walsh. "Abstract Theorem Proving." International Joint Conference on Artificial Intelligence, 1989.](https://mlanthology.org/ijcai/1989/giunchiglia1989ijcai-abstract/)BibTeX
@inproceedings{giunchiglia1989ijcai-abstract,
title = {{Abstract Theorem Proving}},
author = {Giunchiglia, Fausto and Walsh, Toby},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1989},
pages = {372-377},
url = {https://mlanthology.org/ijcai/1989/giunchiglia1989ijcai-abstract/}
}