Cooperation of Heterogeneous Provers

@inproceedings{Denzinger1999CooperationOH,
  title={Cooperation of Heterogeneous Provers},
  author={J{\"o}rg Denzinger and Dirk Fuchs},
  booktitle={IJCAI},
  year={1999}
}
We present a methodology for achieving cooperation between already existing theorem provers employing different proof paradigms and/or different search controls, and using dif­ ferent but related logics. Cooperation between the provers is achieved by periodically inter­ changing clauses which are selected by so-called referees. By employing referees both on the side of a sending prover and a receiving prover the communication is both successand demanddriven, which results in a rather small… CONTINUE READING
Highly Cited
This paper has 35 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Similar Papers

Loading similar papers…