Jinsheng Chen

According to our database, Jinsheng Chen authored at least 15 papers between 2016 and 2025.

Collaborative distances:

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

2025

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

Jinsheng Chen, Jing Dong, Pengyi Shi

Oper. Res., 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