Search Results for author:
Found 7 papers, 1 papers with code
Variants of Tagged Sentential Decision Diagrams
The standard ones minimize the size of sentential decision diagrams (SDDs) while the zero-suppressed trimming rules have the same objective as the standard ones but for zero-suppressed sentential decision diagrams (ZSDDs).
An Investigation of Darwiche and Pearl's Postulates for Iterated Belief Update
Firstly, we present a modification of the original KM postulates based on belief states.
VSRQ: Quantitative Assessment Method for Safety Risk of Vehicle Intelligent Connected System
We evaluate the model on OpenPilot and experimentally demonstrate the effectiveness of the VSRQ model in identifying the safety of vehicle intelligent connected systems.
A Mask-Based Adversarial Defense Scheme
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-based Adversarial Defense scheme (MAD) for DNNs to mitigate the negative effect from adversarial attacks.
Reweighted Price Relative Tracking System for Automatic Portfolio Optimization
In the portfolio optimizing stage, a novel tracking system with a generalized increasing factor is proposed to maximize the future wealth of next period.
Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting -- Application to Belief Update and Conservative Extension
Dependence is an important concept for many tasks in artificial intelligence.
Knowledge Compilation in Multi-Agent Epistemic Logics
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 epistemic logics in automatic planning.
