Jinsheng Chen

21 papers C 2Journal 14Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Niching Genetic Programming for Co-Joint Optimization: A Case Study on Replenishment and Transshipment Policies in Dynamic Multi-Site Inventory Management.
Memetic Comput.
Meng Xu, Jinsheng Chen, Doan Ngoc Chi Nam, Joel Wei En Tay, Puay Siew Tan, Yew-Soon Ong
2025 J jnl
Autonomous Plug-in Charging for Wheeled Mobile Manipulator in Unstructured Environments.
J. Intell. Robotic Syst.
Jinsheng Chen, Peng Ye, Zixian Li, Youchun Xu, Feng Lu
2025 C conf
CAVIARES: Corpus for Audio-Visual Expressive Voice Agent.
ASRU
Jinsheng Chen, Yuki Saito, Dong Yang, Naoko Tanji, Hironori Doi, Byeongseon Park, Yuma Shirahata, Kentaro Tachibana, Hiroshi Saruwatari
2025 J jnl
Cloud Removal Method for Remote Sensing Images Based on SAR-Guided Conditional Diffusion Model and Style Adaptation.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.
Jinsheng Chen, Xudong Tong, Yiying Sun, Zhiheng Xiao
2025 J jnl
Inductive Sequents for Distributive Modal Logic.
J. Philos. Log.
Jinsheng Chen
2025 J jnl
Optimal Routing Under Demand Surges: The Value of Future Arrival Rates.
Oper. Res.
Jinsheng Chen, Jing Dong, Pengyi Shi
2024 J jnl
Bisimulation between base argumentation and premise-conclusion argumentation.
Artif. Intell.
Jinsheng Chen, Beishui Liao, Leendert van der Torre
2024 J jnl
Managing flexibility: optimal sizing and scheduling of flexible servers.
Queueing Syst. Theory Appl.
Jinsheng Chen, Jing Dong
2022 J jnl
A Labelled Sequent Calculus for Public Announcement Logic.
CoRR
Hao Wu, Hans van Ditmarsch, Jinsheng Chen
2022 — conf
Anomaly Detection Method of Urban Rail Vehicle Timing Data Driven by KNN Algorithm.
ICATCI (1)
Jinsheng Chen
2022 J jnl
Non-normal modal logics and conditional logics: Semantic analysis and proof theory.
Inf. Comput.
Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis
2022 J jnl
Syntactic Completeness of Proper Display Calculi.
ACM Trans. Comput. Log.
Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis
2021 — conf
Base Argumentation as an Abstraction of Deductive Argumentation.
CLAR
Jinsheng Chen, Beishui Liao, Leendert van der Torre
2021 J jnl
Neighbourhood semantics for graded modal logic.
CoRR
Jinsheng Chen, Hans van Ditmarsch, Giuseppe Greco, Apostolos Tzimoulis
2021 J jnl
Syntactic completeness of proper display calculi.
CoRR
Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis
2020 J jnl
A survey on skill-based routing with applications to service operations management.
Queueing Syst. Theory Appl.
Jinsheng Chen, Jing Dong, Pengyi Shi
2019 C conf
Non Normal Logics: Semantic Analysis and Proof Theory.
WoLLIC
Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis
2019 J jnl
Sequent Calculi for Global Modal Consequence Relations.
Stud Logica
Minghui Ma, Jinsheng Chen
2017 — conf
A Minimal Temporal Logic with Multiple Fuzzy Truth-Values.
KMO
Xinyu Li, Xudong Luo, Jinsheng Chen
2017 — conf
Labelled Sequent Calculus for Inquisitive Logic.
LORI
Jinsheng Chen, Minghui Ma
2016 — conf
A Multi-linguistic-Valued Modal Logic.
Australasian Conference on Artificial Intelligence
Jinsheng Chen, Xudong Luo