期刊： JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2020; 69 ()
An abduction-based diagnosis technique for a class of discrete-event systems (DESs), called deep DESs (DDESs), is presented. A DDES has a tree structu......
期刊： JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2020; 69 ()
Performing efficient inference on high dimensional discrete Bayesian Networks (BNs) is challenging. When using exact inference methods the space compl......
期刊： JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2019; 64 ()
A logic program with function symbols is called finitely ground if there is a finite propositional logic program whose stable models are exactly the s......
期刊： JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2019; 64 ()
Recent research on dense captioning based on the recurrent neural network and the convolutional neural network has made a great progress. However, map......
期刊： JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2019; 64 ()
AGM contraction and revision assume an underlying logic that contains propositional logic. Consequently, this assumption excludes many useful logics s......
期刊： JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2019; 66 ()
Traditional machine learning methods share a common hypothesis: training and testing datasets must be in a common feature space with the same distribu......
期刊： JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2019; 66 ()
As one of fundamental properties to characterize inconsistency measures for knowledge bases, the property of free formula independence well captures t......
期刊： JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2019; 66 ()
Charge prediction which aims to determine appropriate charges for criminal cases based on textual fact descriptions, is an important technology in the......
期刊： JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2018; 62 ()
We consider the problem of detecting norm violations in open multi-agent systems (MAS). We show how, using ideas from scrip systems, we can design mec......
期刊： JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2018; 63 ()
Character-based and word-based methods are two different solutions for Chinese word segmentation, the former exploiting sequence labeling models over ......
期刊： JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2017; 58 ( )
We identify two families of canonical knowledge compilation languages. Both families augment ROBDD with conjunctive decomposition bounded by an intege......
期刊： JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2017; 58 ( )
The Minimum Weight Dominating Set (MWDS) problem is an important generalization of the Minimum Dominating Set (MDS) problem with extensive application......
期刊： JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2017; 58 ( )
We propose a neural probabilistic structured-prediction method for transition-based natural language processing, which integrates beam search and cont......
期刊： JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2017; 59 ( )
We study the problem of self-interested planning under uncertainty in settings shared with more than a thousand other agents, each of which plans at i......
期刊： JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2017; 59 ( )
In this work, we design and evaluate a computational learning model that enables a human-robot team to co-develop joint strategies for performing nove......
