Alert button
Picture for Liangda Fang

Liangda Fang

Alert button

Variants of Tagged Sentential Decision Diagrams

Nov 16, 2023
Deyuan Zhong, Mingwei Zhang, Quanlong Guan, Liangda Fang, Zhaorong Lai, Yong Lai

Viaarxiv icon

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

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

Viaarxiv icon

VSRQ: Quantitative Assessment Method for Safety Risk of Vehicle Intelligent Connected System

May 03, 2023
Tian Zhang, Wenshan Guan, Hao Miao, Xiujie Huang, Zhiquan Liu, Chaonan Wang, Quanlong Guan, Liangda Fang, Zhifei Duan

Figure 1 for VSRQ: Quantitative Assessment Method for Safety Risk of Vehicle Intelligent Connected System
Figure 2 for VSRQ: Quantitative Assessment Method for Safety Risk of Vehicle Intelligent Connected System
Figure 3 for VSRQ: Quantitative Assessment Method for Safety Risk of Vehicle Intelligent Connected System
Figure 4 for VSRQ: Quantitative Assessment Method for Safety Risk of Vehicle Intelligent Connected System
Viaarxiv icon

A Mask-Based Adversarial Defense Scheme

Apr 21, 2022
Weizhen Xu, Chenyi Zhang, Fangzhen Zhao, Liangda Fang

Figure 1 for A Mask-Based Adversarial Defense Scheme
Figure 2 for A Mask-Based Adversarial Defense Scheme
Figure 3 for A Mask-Based Adversarial Defense Scheme
Figure 4 for A Mask-Based Adversarial Defense Scheme
Viaarxiv icon

Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting -- Application to Belief Update and Conservative Extension

Jun 29, 2018
Liangda Fang, Hai Wan, Xianqiao Liu, Biqing Fang, Zhaorong Lai

Figure 1 for Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting -- Application to Belief Update and Conservative Extension
Viaarxiv icon

Knowledge Compilation in Multi-Agent Epistemic Logics

Jun 28, 2018
Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen

Figure 1 for Knowledge Compilation in Multi-Agent Epistemic Logics
Figure 2 for Knowledge Compilation in Multi-Agent Epistemic Logics
Figure 3 for Knowledge Compilation in Multi-Agent Epistemic Logics
Viaarxiv icon