Discovery and reasoning in mathematics

Authors:
Alan Bundy
Affiliations:
Department of Artificial Intelligence, University of Edinburgh
Venue:
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Year:
1985

Citing 4
Cited 0

The computer modelling of mathematical reasoning

The computer modelling of mathematical reasoning
A Machine-Oriented Logic Based on the Resolution Principle

Journal of the ACM (JACM)
Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving
Meta-Level Inference and Program Verification

Proceedings of the 6th Conference on Automated Deduction

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present a type inference method for Prolog programs. The new idea is to describe a superset of the success set by associating a type substitution (an assignment of sets of ground terms to variables) with each head of definite clause. ...