Junming Qiu

According to our database, Junming Qiu authored at least 7 papers between 2021 and 2024.

Collaborative distances:

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

2024

On the role of logical separability in knowledge compilation.

Junming Qiu, Wenqing Li, Liangda Fang, Quanlong Guan, Zhanhao Xiao, Zhao-Rong Lai, Qian Dong

Artif. Intell., March, 2024

Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking.

Weilin Luo, Pingjia Liang, Junming Qiu, Polong Chen, Hai Wan, Jianfeng Du, Weiyuan Fang

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

On the Logic of Theory Change Iteration of KM-Update, Revised.

Liangda Fang, Tong Zhu, Quanlong Guan, Junming Qiu, Zhao-Rong Lai, Weiqi Luo, Hai Wan

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking.

Weilin Luo, Weiyuan Fang, Junming Qiu, Hai Wan, Yanan Liu, Rongzhen Ye

Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results, 2024

2023

An Investigation of Darwiche and Pearl's Postulates for Iterated Belief Update.

Quanlong Guan, Tong Zhu, Liangda Fang, Junming Qiu, Zhao-Rong Lai, Weiqi Luo

CoRR, 2023

2022

Knowledge Compilation Meets Logical Separability.

Junming Qiu, Wenqing Li, Zhanhao Xiao, Quanlong Guan, Liangda Fang, Zhao-Rong Lai, Qian Dong

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Analysis of Mechanical Behavior of a Steel Frame - Cold-formed Thin-walled Steel Structure based on the Finite Element Method.

Caiwu Wu, Jianhua Su, Ruicong Huang, Zhengrong Jiang, Junming Qiu, Jian Cai

Proceedings of the AIAM 2021: 3rd International Conference on Artificial Intelligence and Advanced Manufacture, Manchester, United Kingdom, October 23, 2021