From the 1 of 3 linked papers with an AI index.
3 papers
Efficient Pattern Matching for Unordered Term Tree Patterns under Generalized Height-Constrained Bindings
Shintaro Matsushita, Takayoshi Shoudai, Yusuke Suzuki
The paper presents a polynomial‑time algorithm for matching unordered term tree patterns with height‑constrained variables under a generalized binding model, and validates its prac…
Efficient Pattern Matching in Unordered Term Tree Patterns with Height Constraints
Shintaro Matsushita, Takayoshi Shoudai, Yusuke Suzuki
Unordered trees appear in applications where the order among child vertices is insignificant, such as abstract syntax trees and chemical structures. To describe patterns in such tr…
Distributional Learning of Graph Languages Generated by Fixed-Interface Clause Systems
Takayoshi Shoudai, Satoshi Matsumoto, Yusuke Suzuki +1
Distributional learning provides a useful framework for studying the learnability of structured languages from positive data. In this paper, we extend this framework to graph langu…