*search
Publications+A step from probabilistic programming to cognitive architectures+author
Publications+A Probabilistic Dependent Type System based on Non-Deterministic Beta Reduction+tag
Publications+A Probabilistic Dependent Type System based on Non-Deterministic Beta Reduction+author
Publications+Dependent Type Networks: A Probabilistic Logic via the Curry-Howard Correspondence+tag
Publications+Dependent Type Networks: A Probabilistic Logic via the Curry-Howard Correspondence+author
Dependent Type Networks: A Probabilistic Logic via the Curry-Howard Correspondence
Publications+Differentiable Probabilistic Logic Networks+tag
Publications+Differentiable Probabilistic Logic Networks+author
Publications+Lojban Plus Plus+display_title
Publications+Lojban Plus Plus+tag
Publications+Latent Semantic Search and Information Extraction Architecture+tag
Publications+Unsupervised Tokenization Learning+tag
Publications+Learning Language from a Large (Unannotated) Corpus+tag
Publications+Interpretable natural language segmentation based on link grammar+tag
Publications+Controlled Language and Baby Turing Test for General Conversational Intelligence+tag
Publications+Natural Language Generation Using Link Grammar for General Conversational Intelligence+tag
Publications+Lojban Plus Plus+author
Publications+Latent Semantic Search and Information Extraction Architecture+author
Publications+Unsupervised Tokenization Learning+author
Publications+Learning Language from a Large (Unannotated) Corpus+author