paula

On Normalising Disjunctive Intermediate Logics

Speaker: Prof. Jonathan Seldin, University of Lethbridge, Canada Abstract: In this talk it is shown that every intermediate logic obtained from intuitionistic logic by adding a disjunction can be normalized. However, the normalisation procedure is not as complete as that for intuitionistic and minimal logic because some results which usually follow from normalisation fail, including … On Normalising Disjunctive Intermediate Logics

Jacob Eisenstein: Interactive Topic Visualization for Exploratory Text Analysis

Abstract: Large text document collections are increasingly important in a variety of domains; examples of such collections include news articles, streaming social media, scientific research papers, and digitized literary documents. Existing methods for searching and exploring these collections focus on surface-level matches to user queries, ignoring higher-level thematic structure. Probabilistic topic models are a machine … Jacob Eisenstein: Interactive Topic Visualization for Exploratory Text Analysis