Haoruo Zhao

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 9

Top Topics

Classification Scheme

Rolling Horizon

Top Venues

Description Logics

J. Artif. Intell. Res.

Publications

Wenbo Chen, Haoruo Zhao, Mathieu Tanneau, Pascal Van Hentenryck
Compact Optimality Verification for Optimization Proxies. CoRR (2024)
Haoruo Zhao, Hassan L. Hijazi, Haydn Jones, Juston Moore, Mathieu Tanneau, Pascal Van Hentenryck
Bound Tightening Using Rolling-Horizon Decomposition for Neural Network Verification. CPAIOR (2) (2024)
Haoruo Zhao, Bijan Parsia, Uli Sattler
Next Steps for ReAD: Modules for Classification Optimisation. Description Logics (2022)
Oliver Stover, Pranav Karve, Sankaran Mahadevan, Wenbo Chen, Haoruo Zhao, Mathieu Tanneau, Pascal Van Hentenryck
Just-In-Time Learning for Operational Risk Assessment in Power Grids. CoRR (2022)
Neil Barry, Minas Chatzos, Wenbo Chen, Dahye Han, Chaofan Huang, Roshan Joseph, Michael Klamkin, Seonho Park, Mathieu Tanneau, Pascal Van Hentenryck, Shangkun Wang, Hanyu Zhang, Haoruo Zhao
Risk-Aware Control and Optimization for High-Renewable Power Grids. CoRR (2022)
Haoruo Zhao, Bijan Parsia, Uli Sattler
ReAD: AD-Based Modular Ontology Classification. JELIA (2021)
Chiara Del Vescovo, Matthew Horridge, Bijan Parsia, Uli Sattler, Thomas Schneider, Haoruo Zhao
Modular Structures and Atomic Decomposition in Ontologies. J. Artif. Intell. Res. 69 (2020)
Haoruo Zhao, Bijan Parsia, Uli Sattler
ReAD: Delegate OWL Reasoners for Ontology Classification with Atomic Decomposition. JOWO (2020)
Haoruo Zhao, Uli Sattler, Bijan Parsia
Avoiding Subsumption Tests During Classification Using the Atomic Decomposition. Description Logics (2019)