Ximing Wen

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 10

Top Topics

Knowledge Compilation

Universally Quantified

Top Venues

Publications

Darryl Hannan, Steven C. Nesbit, Ximing Wen, Glen Smith, Qiao Zhang, Alberto Goffi, Vincent Chan, Michael J. Morris, John C. Hunninghake, Nicholas E. Villalobos, Edward Kim, Rosina O. Weber, Christopher J. MacLellan
Interpretable Models for Detecting and Monitoring Elevated Intracranial Pressure. CoRR (2024)
Ximing Wen, Rosina O. Weber, Anik Sen, Darryl Hannan, Steven C. Nesbit, Vincent Chan, Alberto Goffi, Michael J. Morris, John C. Hunninghake, Nicholas E. Villalobos, Edward Kim, Christopher J. MacLellan
The Impact of an XAI-Augmented Approach on Binary Classification with Scarce Data. CoRR (2024)
Darryl Hannan, Steven C. Nesbit, Ximing Wen, Glen Smith, Qiao Zhang, Alberto Goffi, Vincent Chan, Michael J. Morris, John C. Hunninghake, Nicholas E. Villalobos, Edward Kim, Rosina O. Weber, Christopher J. MacLellan
MobilePTX: Sparse Coding for Pneumothorax Detection Given Limited Training Examples. AAAI (2023)
Darryl Hannan, Steven C. Nesbit, Ximing Wen, Glen Smith, Qiao Zhang, Alberto Goffi, Vincent Chan, Michael J. Morris, John C. Hunninghake, Nicholas E. Villalobos, Edward Kim, Rosina O. Weber, Christopher J. MacLellan
MobilePTX: Sparse Coding for Pneumothorax Detection Given Limited Training Examples. CoRR (2022)
Zhilan Zhou, Ximing Wen, Yue Wang, David Gotz
Modeling and Leveraging Analytic Focus During Exploratory Visual Analysis. CHI (2021)
Zhilan Zhou, Ximing Wen, Yue Wang, David Gotz
Modeling and Leveraging Analytic Focus During Exploratory Visual Analysis. CoRR (2021)
Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen
Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability. AAAI (2019)
Ximing Wen, Liangda Fang, Quan Yu, Liang Chang, Ju Wang
多智能体模态逻辑系统KD45n中的知识遗忘 (Knowledge Forgetting in Multi-agent Modal Logic System KD45n). 计算机科学 46 (7) (2019)
Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen
Knowledge Compilation in Multi-Agent Epistemic Logics. CoRR (2018)
Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen
Knowledge Compilation in the Multi-Agent Epistemic Logic Kn. KR (2018)
Liangda Fang, Yongmei Liu, Ximing Wen
On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus. IJCAI (2015)
Quan Yu, Ximing Wen, Yongmei Liu
Multi-Agent Epistemic Explanatory Diagnosis via Reasoning about Actions. IJCAI (2013)
Yongmei Liu, Ximing Wen
On the Progression of Knowledge in the Situation Calculus. IJCAI (2011)