S. Winograd
Journal of the ACM
We examine the problem of inductive inference in the domain of pointer-based data structures. We show how these data structures can be formalized as rational trees. Our main technical results concern the expressiveness of a language of rational term expressions. These results place limitations on techniques of inductive inference for this description language. The results are also relevant to implementation of negation in logic programming languages. © 1995 J.C. Baltzer AG, Science Publishers.
S. Winograd
Journal of the ACM
Daniel Karl I. Weidele, Hendrik Strobelt, et al.
SysML 2019
Barry K. Rosen
SWAT 1972
David Carmel, Haggai Roitman, et al.
ACM TIST