Abstract
We consider Mark Stickel’s activities and accomplishments while a graduate student, with a focus on several of the results for which he became known. We report on work we did together, addressing Mark’s substantial contribution, then summarize his work on the unification problem, including the important associative-commutative unification algorithm. We close with Mark’s definition of a fuzzy four-valued logic.
Similar content being viewed by others
References
Belnap Jr, N.D.: How a computer should think. In: Ryle, G., Bergström, L. (eds.) Contemporary aspects of philosophy, oxford international symposium, pp. 30–56 (1975)
Belnap Jr, N.D.: A useful four-valued logic (summary). In: Dunn, J.M., Epstein, G. (eds.) 1975 international symposium on multiple-valued logic, Bloomington, Indiana, p. 399 (1975)
Fages, F.: Associative-commutative unification. In: Shostak, R.E. (ed.) CADE-7, LNCS, vol. 170, pp. 194–208. Springer, Heidelberg (1984)
Gelernter, H.: Machine-generated Problem-solving Graphs. Symposium on mathematical theory of automata, pp. 179–203, Polytechnic Press, Brooklyn, N.Y. (1962). Reprinted. In: Siekmann, J., Wrightson, G. (eds.) : Automation of Reasoning, vol 1, pp. 288-312. Springer, Heidelberg (1983)
Harrison, J.: Handbook of practical logic and automated reasoning. Cambridge University Press, Cambridge (2009)
Hurd, J.: An Lcf-style Interface Between HOL and First-order Logic. In: Voronkov, A. (ed.) : CADE-18, LNAI, vol. 2392, pp. 134–138. Springer, Heidelberg (2002)
Kowalski, R.A., Kuehner, D.: Linear resolution with the selection function. Artif. Intell. 2, 227–260 (1971)
Letz, R., Schumann, J., Bayerl, S., Bibel, W.: SETHEO: a High-performance theorem prover. J. Auto. Reasoning 4, 297–338 (1992)
Livesey, M., Siekmann, J.: Termination and Decidability Results for String-unification. Memo CSM-12, Univ. of Essex (1975)
Livesey, M., Siekmann, J.: Unification of sets and multisets. Technical Report, Univ. Karlsruhe (1976)
Loveland, D.W., Hodel, R.E., Sterrett, S.G.: Three views of logic: mathematics, philosophy, and computer science. Princeton Univ Press, Princeton (2014)
Loveland, D.W., Stickel, M.E.: A hole in goal trees: some guidance from resolution theory. In: 3rd IJCAI, pp. 153-161 (1973). Also in: IEEE Trans. Computers C-25(4), 335–341 (1976)
Nilsson, N.J.: Problem solving methods in artificial intelligence. McGraw-Hill, New York (1971)
Siekmann, J.H.: Universal Unification. In: Shostak, R.E. (ed.) CADE-7, LNCS, vol. 170, pp. 1–42. Springer, Heidelberg (1984)
Slagle, J.R.: Artificial intelligence: the heuristic programming approach. McGraw-Hill, New York (1971)
Slagle, J.R.: Automated Theorem-Proving with Built-In Theories Including Equality, Partial Ordering and Sets. J. ACM 19, 120–135 (1972)
Stickel, M.E.: A Complete Unification Algorithm for Associative-Commutative Functions. In: 4th IJCAI, Tbilisi, U.S.S.R., pp. 71–76 (1975)
Stickel, M.E.: Mechanical theorem proving and artificial intelligence languages. Ph.D. Thesis, Carnegie-Mellon University, Pittsburgh, Pennsylvania (1977)
Stickel. M.F.: Fuzzy four-valued logic for inconsistency and uncertainty. In: International Symposium on Multivalued Logic, pp. 91–94, IEEE Computer Society Press (1978)
Stickel, M.E.: A unification algorithm for associative commutative functions. J. ACM 28(3), 423–434 (1981)
Stickel, M.E.: A prolog technology theorem prover: implementation by an extended prolog compiler. J. Auto. Reasoning 4(4), 353–380 (1988)
Stickel, M.E.: A prolog technology theorem prover: a new exposition and implementation in prolog. Theor. Comp. Sci. 104, 109–128 (1992)
Zadeh, L.A.: Fuzzy sets. Inf. Control 8, 338–353 (1965)
Author information
Authors and Affiliations
Corresponding author
Additional information
This paper is dedicated to the memory of Mark, a wonderful friend and a major contributor to the field of automated reasoning.
Rights and permissions
About this article
Cite this article
Loveland, D.W. Mark Stickel: His Earliest Work. J Autom Reasoning 56, 99–112 (2016). https://doi.org/10.1007/s10817-015-9342-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10817-015-9342-4