Jinsheng Chen

According to our database, Jinsheng Chen authored at least 20 papers between 2016 and 2026.

Collaborative distances:

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

2026

Niching Genetic Programming for Co-Joint Optimization: A Case Study on Replenishment and Transshipment Policies in Dynamic Multi-Site Inventory Management.

Meng Xu, Jinsheng Chen, Doan Ngoc Chi Nam, Joel Wei En Tay, Puay Siew Tan, Yew-Soon Ong

Memetic Comput., March, 2026

2025

Inductive Sequents for Distributive Modal Logic.

Jinsheng Chen

J. Philos. Log., December, 2025

Autonomous Plug-in Charging for Wheeled Mobile Manipulator in Unstructured Environments.

Jinsheng Chen, Peng Ye, Zixian Li, Youchun Xu, Feng Lu

J. Intell. Robotic Syst., December, 2025

Cloud Removal Method for Remote Sensing Images Based on SAR-Guided Conditional Diffusion Model and Style Adaptation.

Jinsheng Chen, Xudong Tong, Yiying Sun, Zhiheng Xiao

IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2025

Optimal Routing Under Demand Surges: The Value of Future Arrival Rates.

Jinsheng Chen, Jing Dong, Pengyi Shi

Oper. Res., 2025

CAVIARES: Corpus for Audio-Visual Expressive Voice Agent.

Jinsheng Chen, Yuki Saito, Dong Yang, Naoko Tanji, Hironori Doi, Byeongseon Park, Yuma Shirahata, Kentaro Tachibana, Hiroshi Saruwatari

Proceedings of the IEEE Automatic Speech Recognition and Understanding Workshop, 2025

2024

Managing flexibility: optimal sizing and scheduling of flexible servers.

Jinsheng Chen, Jing Dong

Queueing Syst. Theory Appl., December, 2024

Bisimulation between base argumentation and premise-conclusion argumentation.

Jinsheng Chen, Beishui Liao, Leendert van der Torre

Artif. Intell., 2024

2022

Syntactic Completeness of Proper Display Calculi.

Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis

ACM Trans. Comput. Log., 2022

Non-normal modal logics and conditional logics: Semantic analysis and proof theory.

Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis

Inf. Comput., 2022

A Labelled Sequent Calculus for Public Announcement Logic.

Hao Wu, Hans van Ditmarsch, Jinsheng Chen

CoRR, 2022

Anomaly Detection Method of Urban Rail Vehicle Timing Data Driven by KNN Algorithm.

Jinsheng Chen

Proceedings of the Tenth International Conference on Applications and Techniques in Cyber Intelligence (ICATCI 2022), 2022

2021

Neighbourhood semantics for graded modal logic.

Jinsheng Chen, Hans van Ditmarsch, Giuseppe Greco, Apostolos Tzimoulis

CoRR, 2021

Base Argumentation as an Abstraction of Deductive Argumentation.

Jinsheng Chen, Beishui Liao, Leendert van der Torre

Proceedings of the Logic and Argumentation - 4th International Conference, 2021

2020

A survey on skill-based routing with applications to service operations management.

Jinsheng Chen, Jing Dong, Pengyi Shi

Queueing Syst. Theory Appl., 2020

2019

Sequent Calculi for Global Modal Consequence Relations.

Minghui Ma, Jinsheng Chen

Stud Logica, 2019

Non Normal Logics: Semantic Analysis and Proof Theory.

Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis

Proceedings of the Logic, Language, Information, and Computation, 2019

2017

Labelled Sequent Calculus for Inquisitive Logic.

Jinsheng Chen, Minghui Ma

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

A Minimal Temporal Logic with Multiple Fuzzy Truth-Values.

Xinyu Li, Xudong Luo, Jinsheng Chen

Proceedings of the Knowledge Management in Organizations - 12th International Conference, 2017

2016

A Multi-linguistic-Valued Modal Logic.

Jinsheng Chen, Xudong Luo

Proceedings of the AI 2016: Advances in Artificial Intelligence, 2016