Amy Lin, Sujit Roy, et al.
AGU 2024
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.
Amy Lin, Sujit Roy, et al.
AGU 2024
Yidi Wu, Thomas Bohnstingl, et al.
ICML 2025
Baihan Lin, Guillermo Cecchi, et al.
IJCAI 2023
Simona Rabinovici-Cohen, Naomi Fridman, et al.
Cancers