Junming Qiu

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Logical Inference

Product Configuration

Knowledge Compilation

Top Venues

Publications

Weilin Luo, Weiyuan Fang, Junming Qiu, Hai Wan, Yanan Liu, Rongzhen Ye
ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking. NIER@ICSE (2024)
Junming Qiu, Wenqing Li, Liangda Fang, Quanlong Guan, Zhanhao Xiao, Zhao-Rong Lai, Qian Dong
On the role of logical separability in knowledge compilation. Artif. Intell. 328 (2024)
Quanlong Guan, Tong Zhu, Liangda Fang, Junming Qiu, Zhao-Rong Lai, Weiqi Luo
An Investigation of Darwiche and Pearl's Postulates for Iterated Belief Update. CoRR (2023)
Junming Qiu, Wenqing Li, Zhanhao Xiao, Quanlong Guan, Liangda Fang, Zhao-Rong Lai, Qian Dong
Knowledge Compilation Meets Logical Separability. AAAI (2022)
Caiwu Wu, Jianhua Su, Ruicong Huang, Zhengrong Jiang, Junming Qiu, Jian Cai
Analysis of Mechanical Behavior of a Steel Frame - Cold-formed Thin-walled Steel Structure based on the Finite Element Method. AIAM (ACM) (2021)