Abstract Theorem Proving

Giunchiglia, Fausto; Walsh, Toby

Abstract Theorem Proving

Download BibTeX Cite

Proceedings of the Eleventh International Joint Conference on Artificial Intelligence. Automated Deduction. Pages 372-376.

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.

Fausto Giunchiglia, and Toby Walsh. 1989. Abstract Theorem Proving. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89. IJCAI, 372–376. https://ijcai.org/proceedings/1989/59

@inproceedings{ijcai1989p59,
  title     = {Abstract Theorem Proving},
  author    = {Giunchiglia, Fausto and Walsh, Toby},
  booktitle = {Proceedings of the Eleventh International Joint Conference on
               Artificial Intelligence, {IJCAI-89}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {N. S. Sridharan},
  pages     = {372--376},
  year      = {1989},
  month     = {8},
  note      = {Automated Deduction},
  url       = {https://ijcai.org/proceedings/1989/59},
}

TY  - CPAPER
TI  - Abstract Theorem Proving
AU  - Giunchiglia, Fausto
AU  - Walsh, Toby
T2  - Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1989
SP  - 372
EP  - 376
UR  - https://ijcai.org/proceedings/1989/59
ER  -