Associative-Commutative Rewriting
Proceedings of the Eighth International Joint Conference on Artificial Intelligence. Theorem Proving. Pages 940-943.
Abstract
We are currently extending the rewrite system laboratory REVE to ha ndle associative-commutative operators. In particul ar, we arc incorporating a set of rules for Boolean algebra that provides a refutationally-complete theorem prov er and a new progr a mming paradigm. To that end, we describe m et hods for proving termination of associativecommutativ e systems.
Nachum Dershowitz, Jieh Hsiang, N. Alan Josephson, and David A. Plaisted. 1983. Associative-Commutative Rewriting. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83. IJCAI, 940–943. https://ijcai.org/proceedings/1983/222
Dershowitz, N., Hsiang, J., Josephson, N. A., & Plaisted, D. A. (1983). Associative-Commutative Rewriting. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83 (pp. 940–943). IJCAI. https://ijcai.org/proceedings/1983/222
@inproceedings{ijcai1983p222,
title = {Associative-Commutative Rewriting},
author = {Dershowitz, Nachum and Hsiang, Jieh and Josephson, N. Alan and Plaisted, David A.},
booktitle = {Proceedings of the Eighth International Joint Conference on
Artificial Intelligence, {IJCAI-83}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Alan Bundy},
pages = {940--943},
year = {1983},
note = {Theorem Proving},
url = {https://ijcai.org/proceedings/1983/222},
}
TY - CPAPER TI - Associative-Commutative Rewriting AU - Dershowitz, Nachum AU - Hsiang, Jieh AU - Josephson, N. Alan AU - Plaisted, David A. T2 - Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83 PB - International Joint Conferences on Artificial Intelligence PY - 1983 SP - 940 EP - 943 UR - https://ijcai.org/proceedings/1983/222 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
