Jinqiang Yu

According to our database, Jinqiang Yu authored at least 17 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Formal Explanations for Neuro-Symbolic AI.

Sushmita Paul, Jinqiang Yu, Jip J. Dekker, Alexey Ignatiev, Peter J. Stuckey

CoRR, 2024

Anytime Approximate Formal Feature Attribution.

Jinqiang Yu, Graham Farr, Alexey Ignatiev, Peter J. Stuckey

Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

2023

On Formal Feature Attribution and Its Approximation.

Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey

CoRR, 2023

Physics-Guided Graph Convolutional Network for Modeling Car-Following Behaviors Under Distributional Shift.

Htet Naing, Wentong Cai, Jinqiang Yu, Tiantian Wu, Liang Yu

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

From Formal Boosted Tree Explanations to Interpretable Rule Sets.

Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations.

Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, João Marques-Silva

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

A cold-start-free reinforcement learning approach for traffic signal control.

Nan Xiao, Liang Yu, Jinqiang Yu, Peng Chen, Yuehu Liu

J. Intell. Transp. Syst., 2022

Eliminating The Impossible, Whatever Remains Must Be True.

Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, João Marques-Silva

CoRR, 2022

2021

Learning Optimal Decision Sets and Lists with SAT.

Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic

J. Artif. Intell. Res., 2021

2020

Optimal Decision Lists using SAT.

Jinqiang Yu, Alexey Ignatiev, Pierre Le Bodic, Peter J. Stuckey

CoRR, 2020

Computing Optimal Decision Sets with SAT.

Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic

Proceedings of the Principles and Practice of Constraint Programming, 2020

2019

Large Scale Traffic Signal Network Optimization - A Paradigm Shift Driven by Big Data.

Liang Yu, Jinqiang Yu, Maolei Zhang, Xin Zhang, Yuehu Liu, Hui Zhang, Wanli Min

Proceedings of the 35th IEEE International Conference on Data Engineering, 2019

2017

A Network Resource Management Framework for Wireless Mesh Networks.

Jinqiang Yu, Wai-Choong Wong

Wirel. Pers. Commun., 2017

2015

Optimal Association in Wireless Mesh Networks.

Jinqiang Yu, Wai-Choong Wong

IEEE Trans. Veh. Technol., 2015

2014

Utility fairness via association control in wireless mesh networks.

Jinqiang Yu, Wai-Choong Wong

Proceedings of the IEEE International Conference on Communication Systems, 2014

2013

Mobility-Aware Reassociation control in Wireless Mesh Networks.

Jinqiang Yu, Wai-Choong Wong

Proceedings of the 24th IEEE Annual International Symposium on Personal, 2013

2012

Network resource aware association control in Wireless Mesh Networks.

Jinqiang Yu, Wai-Choong Wong

Proceedings of the IEEE International Conference on Communication Systems, 2012