• WordNet

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

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

  • Referenced in 90 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...
  • 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 109 articles [sw10277]
  • developments together. The platform supports writing natural language `narratives’ that include islands of formal text...
  • NLTK

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

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

  • Referenced in 26 articles [sw10660]
  • freely available commonsense knowledge base and natural-language-processing tool-kit which supports many practical...
  • 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 22 articles [sw10602]
  • Java-based package for statistical natural language processing, document classification, clustering, topic modeling, information extraction...
  • Miranda

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

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

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

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

  • Referenced in 10 articles [sw21659]
  • wide coverage necessary for robust natural language processing and the precision parses and semantic representations ... necessary for natural language understanding...
  • Naproche

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