• WordNet

  • Referenced in 393 articles [sw01777]
  • useful tool for computational linguistics and natural language processing. WordNet superficially resembles a thesaurus...
  • word2vec

  • Referenced in 114 articles [sw14978]
  • subsequently used in many natural language processing applications and for further research. The word2vec tool ... used as features in many natural language processing and machine learning applications...
  • Magma

  • Referenced in 2917 articles [sw00540]
  • areas of mathematics which are algebraic in nature. The overview provides a summary of Magma ... help introduce new users to the Magma language. Magma is distributed by the Computational Algebra...
  • Oz

  • Referenced in 113 articles [sw06799]
  • high-level programming language combining constraint inference with concurrency. Typical application areas of Oz include ... reasoning and knowledge representation, processing of natural language, simulations, multi agent systems, and sophisticated graphical...
  • Flyspeck

  • Referenced in 112 articles [sw10277]
  • developments together. The platform supports writing natural language `narratives’ that include islands of formal text...
  • NLTK

  • Referenced in 32 articles [sw00626]
  • This book offers an introduction to Natural Language Processing (NLP). Natural language means a language ... Python programming language and the Natural Language Toolkit (NLTK), and it gives the reader...
  • GF

  • Referenced in 32 articles [sw13667]
  • Framework (GF) is a special-purpose functional language for defining grammars. It uses a Logical ... describe both formal and natural languages. The key notion of this description is a grammatical ... such as number and gender in natural languages, or precedence in formal languages. Grammatical objects...
  • BERT

  • Referenced in 36 articles [sw30756]
  • tasks, such as question answering and language inference, without substantial task-specific architecture modifications. BERT ... results on eleven natural language processing tasks, including pushing the GLUE score...
  • KLAIM

  • Referenced in 71 articles [sw09424]
  • from one computing environment to another. The language consists of a core Linda with multiple ... operators for building processes. KLAIM naturally supports programming with explicit localities. Localities are first-class ... manipulated like any other data), but the language provides coordination mechanisms to control the interaction ... programming paradigms can be naturally implemented in our kernel language. We also present a prototype...
  • ConceptNet

  • Referenced in 30 articles [sw10660]
  • freely available commonsense knowledge base and natural-language-processing tool-kit which supports many practical...
  • Z

  • Referenced in 279 articles [sw10291]
  • depth introduction to the specification language $Z$. It is primarily directed to the user ... theory is -- with the exception of the natural deduction calculus, see below -- only introduction...
  • Stanford Tagger

  • Referenced in 22 articles [sw07978]
  • software that reads text in some language and assigns parts of speech to each word ... SIGDAT Conference on Empirical Methods in Natural Language Processing and Very Large Corpora (EMNLP/VLC-2000...
  • MALLET

  • Referenced in 21 articles [sw10602]
  • Java-based package for statistical natural language processing, document classification, clustering, topic modeling, information extraction...
  • Miranda

  • Referenced in 152 articles [sw04986]
  • Miranda: A non-strict functional language with polymorphic types. The last few years have seen ... much fruitful research into the nature of functional programming. Although there are still many important ... implementations of complete and well-documented programming languages. Miranda is a functional programming language which...
  • Mozart

  • Referenced in 20 articles [sw04759]
  • Consortium. Mozart is based on the Oz language, which supports declarative programming, object-oriented programming ... assistants, as well as applications in natural language understanding and knowledge representation, in scheduling...
  • Cyc

  • Referenced in 20 articles [sw16452]
  • with a powerful reasoning engine and natural language interfaces to enable the development of novel...
  • Essence

  • Referenced in 19 articles [sw27491]
  • formal language for specifying combinatorial problems in a manner similar to natural rigorous ... specifications that use a mixture of natural language and discrete mathematics. Essence provides a high...
  • ProTDB

  • Referenced in 20 articles [sw13843]
  • obtained from the web using a natural language analysis system. We present a brief case...
  • StanfordCoreNLP

  • Referenced in 18 articles [sw19468]
  • Stanford CoreNLP provides a set of natural language analysis tools. It can give the base...
  • Naproche

  • Referenced in 12 articles [sw28307]
  • Naproche project (Natural language Proof Checking) studies the semi-formal language of mathematics from ... Naproche is to develop a controlled natural language (CNL) for mathematical texts and adapted proof...