10 citations · 10 across the 6 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2023★ 10 cited
VSRQ: Quantitative Assessment Method for Safety Risk of Vehicle Intelligent Connected System
Tian Zhang, Wenshan Guan, Hao Miao +6
The field of intelligent connected in modern vehicles continues to expand, and the functions of vehicles become more and more complex with the development of the times. This has al…
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…