In this task, you are given a part of an article. Your task is to generate headline (title) for this text. Preferred headlines are under fifteen words.
--------
Question: A BN20 network is a two level belief net in which parent interactions are modeled using the noisy-or interaction model. In this paper we discuss application of the SPI local expression language [1] to effi­ cient inference in large BN20 networks. In particular, we show that there is sig­ nificant structure which can be exploited to improve over the Quickscore result. We further describe how symbolic tech­ niques can provide information which can significantly reduce the computation required for computing all cause poste­ rior marginals. Finally, we present a novel approximation technique with pre­ liminary experimental results.

Answer: Symbolic Probabilistic Inference in large BN20 networks


Question: In this paper, we introduce a lightweight dynamic epistemic logical framework for automated planning under initial uncertainty. We reduce plan verification and conformant planning to model checking problems of our logic. We show that the model checking problem of the iteration-free fragment is PSPACE-complete. By using two non-standard (but equivalent) semantics, we give novel model checking algorithms to the full language and the iteration-free language.

Answer: A Dynamic Epistemic Framework for Conformant Planning


Question: In this paper, we empirically explore the effects of various kinds of skip connections in stacked bidirectional LSTMs for sequential tagging. We investigate three kinds of skip connections connecting to LSTM cells: (a) skip connections to the gates, (b) skip connections to the internal states and (c) skip connections to the cell outputs. We present comprehensive experiments showing that skip connections to cell outputs outperform the remaining two. Furthermore, we observe that using gated identity functions as skip mappings works pretty well. Based on this novel skip connections, we successfully train deep stacked bidirectional LSTM models and obtain state-ofthe-art results on CCG supertagging and comparable results on POS tagging.

Answer:
An Empirical Exploration of Skip Connections for Sequential Tagging