Ximing Wen

According to our database, Ximing Wen authored at least 10 papers between 2011 and 2024.

Collaborative distances:

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

2024

Interpretable Models for Detecting and Monitoring Elevated Intracranial Pressure.

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

CoRR, 2024

2023

MobilePTX: Sparse Coding for Pneumothorax Detection Given Limited Training Examples.

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

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2021

Modeling and Leveraging Analytic Focus During Exploratory Visual Analysis.

Zhilan Zhou, Ximing Wen, Yue Wang, David Gotz

Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

2019

多智能体模态逻辑系统KD45n中的知识遗忘 (Knowledge Forgetting in Multi-agent Modal Logic System KD45n).

Ximing Wen, Liangda Fang, Quan Yu, Liang Chang, Ju Wang

计算机科学, 2019

Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability.

Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Knowledge Compilation in Multi-Agent Epistemic Logics.

Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen

CoRR, 2018

Knowledge Compilation in the Multi-Agent Epistemic Logic Kn.

Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2015

On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus.

Liangda Fang, Yongmei Liu, Ximing Wen

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2013

Multi-Agent Epistemic Explanatory Diagnosis via Reasoning about Actions.

Quan Yu, Ximing Wen, Yongmei Liu

Proceedings of the IJCAI 2013, 2013

2011

On the Progression of Knowledge in the Situation Calculus.

Yongmei Liu, Ximing Wen

Proceedings of the IJCAI 2011, 2011