| On the speed of constraint propagation and the time complexity of arc consistency testing | Mar 28, 2013 | ARC | —Unverified | 0 |
| Stochastic Simulation of Bayesian Belief Networks | Mar 27, 2013 | ARC | —Unverified | 0 |
| Interval Influence Diagrams | Mar 27, 2013 | ARCSensitivity | —Unverified | 0 |
| Evidence Absorption and Propagation through Evidence Reversals | Mar 27, 2013 | ARC | —Unverified | 0 |
| Kutato: An Entropy-Driven System for Construction of Probabilistic Expert Systems from Databases | Mar 27, 2013 | ARC | —Unverified | 0 |
| Towards a theory of good SAT representations | Feb 18, 2013 | ARC | —Unverified | 0 |
| Training Deterministic Parsers with Non-Deterministic Oracles | Jan 1, 2013 | ARCvalid | —Unverified | 0 |
| Joint Arc-factored Parsing of Syntactic and Semantic Dependencies | Jan 1, 2013 | ARCDependency Parsing | —Unverified | 0 |
| Efficient Stacked Dependency Parsing by Forest Reranking | Jan 1, 2013 | ARCDependency Parsing | —Unverified | 0 |
| Efficient Parsing for Head-Split Dependency Trees | Jan 1, 2013 | ARCDependency Parsing | —Unverified | 0 |
