Chia-Hsuan Lu

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Computational Properties

Guarded Fragment

Directed Acyclic Graph

Top Venues

Publications

Michael Benedikt, Chia-Hsuan Lu, Boris Motik, Tony Tan
Decidability of Graph Neural Networks via Logical Characterizations. ICALP (2024)
Michael Benedikt, Chia-Hsuan Lu, Boris Motik, Tony Tan
Decidability of Graph Neural Networks via Logical Characterizations. CoRR (2024)
Chia-Hsuan Lu, Tony Tan
On two-variable guarded fragment logic with expressive local Presburger constraints. CoRR (2022)
Ting-Wei Lin, Chia-Hsuan Lu, Tony Tan
Towards a more efficient approach for the satisfiability of two-variable logic. LICS (2021)
Ting-Wei Lin, Chia-Hsuan Lu, Tony Tan
Towards a more efficient approach for the satisfiability of two-variable logic. CoRR (2021)