• WordNet

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

  • Referenced in 199 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 3366 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...
  • Flyspeck

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

  • Referenced in 119 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...
  • Oz

  • Referenced in 117 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...
  • NLTK

  • Referenced in 42 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 34 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...
  • Transformers

  • Referenced in 28 articles [sw30739]
  • RoBERTa, XLM, DistilBert, XLNet, CTRL...) for Natural Language Understanding (NLU) and Natural Language Generation...
  • ConceptNet

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

  • Referenced in 28 articles [sw06941]
  • FlexPDE scripting language is a ”naturallanguage. It allows the user to describe the mathematics...
  • KLAIM

  • Referenced in 72 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...
  • Z

  • Referenced in 286 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...
  • ELIZA

  • Referenced in 20 articles [sw42047]
  • computer program for the study of natural language communication between man and machine (1966). ELIZA ... which makes certain kinds of natural language conversation between man and computer possible. Input sentences...
  • Stanford Tagger

  • Referenced in 25 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...
  • StanfordCoreNLP

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

  • Referenced in 22 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...
  • MALLET

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

  • Referenced in 153 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...