Bemali Wickramanayake, Zhipeng He, et al.
Knowledge-Based Systems
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.
Bemali Wickramanayake, Zhipeng He, et al.
Knowledge-Based Systems
Aditya Malik, Nalini Ratha, et al.
CAI 2024
Baihan Lin, Guillermo Cecchi, et al.
IJCAI 2023
Ismail Akhalwaya, Shashanka Ubaru, et al.
ICLR 2024