3 papers
cs.LG2022
A Mask-Based Adversarial Defense Scheme
Weizhen Xu, Chenyi Zhang, Fangzhen Zhao +1
Adversarial attacks hamper the functionality and accuracy of Deep Neural Networks (DNNs) by meddling with subtle perturbations to their inputs.In this work, we propose a new Mask-b…
cs.AI2018
Knowledge Compilation in Multi-Agent Epistemic Logics
Liangda Fang, Kewen Wang, Zhe Wang +1
Epistemic logics are a primary formalism for multi-agent systems but major reasoning tasks in such epistemic logics are intractable, which impedes applications of multi-agent epist…
cs.AI2018
Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting -- Application to Belief Update and Conservative Extension
Liangda Fang, Hai Wan, Xianqiao Liu +2
Dependence is an important concept for many tasks in artificial intelligence. A task can be executed more efficiently by discarding something independent from the task. In this pap…