Obvious Logical Inferences
Proceedings of the Seventh International Joint Conference on Artificial Intelligence. Theorem Proving. Pages 530-530.
Abstract
A precise definition is given of a class of inferences in predicate logic which it is proposed to identify with the class of "obvious" inferences. A mechanism for implementing "obvious inference" as a rule of inference in proof checking systems is discussed.
Martin Davis. 1981. Obvious Logical Inferences. In Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81. IJCAI, 530–530. https://ijcai.org/proceedings/1981/99
Davis, M. (1981). Obvious Logical Inferences. In Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81 (pp. 530–530). IJCAI. https://ijcai.org/proceedings/1981/99
@inproceedings{ijcai1981p99,
title = {Obvious Logical Inferences},
author = {Davis, Martin},
booktitle = {Proceedings of the Seventh International Joint Conference on
Artificial Intelligence, {IJCAI-81}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Roger C. Schank},
pages = {530--530},
year = {1981},
month = {8},
note = {Theorem Proving},
url = {https://ijcai.org/proceedings/1981/99},
}
TY - CPAPER TI - Obvious Logical Inferences AU - Davis, Martin T2 - Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81 PB - International Joint Conferences on Artificial Intelligence PY - 1981 SP - 530 EP - 530 UR - https://ijcai.org/proceedings/1981/99 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
