C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Junming Qiu
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 4
Top Topics
Logical Inference
Product Configuration
Belief Update
Knowledge Compilation
Top Venues
CoRR
AIAM (ACM)
Artif. Intell.
AAAI
</>
Publications
</>
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)