A Language for Implementing Arbitrary Logics
Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Logic Programming. Pages 839-843.
Abstract
SEQUEL is a new-generation functional programming language, which allows the specification of types in a notation based on the sequent calculus. The sequent calculus notation suffices for the construction of types for type checking and for the specification of arbitrary logics. Compilation techniques derived from both functional and logic programming are used to derive high-performance ATPs from these specifications.
Mark Tarver. 1993. A Language for Implementing Arbitrary Logics. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93. IJCAI, 839–843. https://ijcai.org/proceedings/1993/115
Tarver, M. (1993). A Language for Implementing Arbitrary Logics. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93 (pp. 839–843). IJCAI. https://ijcai.org/proceedings/1993/115
@inproceedings{ijcai1993p115,
title = {A Language for Implementing Arbitrary Logics},
author = {Tarver, Mark},
booktitle = {Proceedings of the Thirteenth International Joint Conference on
Artificial Intelligence, {IJCAI-93}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Ruzena Bajcsy},
pages = {839--843},
year = {1993},
note = {Logic Programming},
url = {https://ijcai.org/proceedings/1993/115},
}
TY - CPAPER TI - A Language for Implementing Arbitrary Logics AU - Tarver, Mark T2 - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93 PB - International Joint Conferences on Artificial Intelligence PY - 1993 SP - 839 EP - 843 UR - https://ijcai.org/proceedings/1993/115 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
