Semantic Scholar uses AI to extract papers important to this topic.
Recent work has demonstrated that deep neural networks are vulnerable to adversarial examples---inputs that are almost… Expand Publisher Summary First-order modal logics are modal logics in which the underlying propositional logic is replaced by a first… Expand A review of the literature suggests that few studies use formative indicator measurement models, even though they should… Expand We present and compare various methods for computing word alignments using statistical or heuristic models. We consider the five… Expand We discuss a multilinear generalization of the singular value decomposition. There is a strong analogy between several properties… Expand The long-anticipated revision of this #1 selling book offers the most comprehensive, state of the art introduction to the theory… Expand Publisher Summary This chapter discusses temporal and modal logic. The chapter describes a multiaxis classification of systems of… Expand It has often been noted that the performance of existing learning systems is strongly biased by the vocabulary provided in the… Expand Abstract A computer program capable of acting intelligently in the world must have a general representation of the world in terms… Expand Sentences in first-order predicate logic can be usefully interpreted as programs. In this paper the operational and fixpoint… Expand