• Grail

  • Referenced in 5 articles [sw24229]
  • Grail: An automated proof assistant for categorial grammar logics. The Grail system is a tool ... development and prototyping of grammar fragments for categorial logics. Grail is an automated theorem prover...
  • CCGbank

  • Referenced in 4 articles [sw08022]
  • Treebank into a corpus of combinatory categorial grammar (CCG) derivations augmented with local and long...
  • CatLog3

  • Referenced in 1 article [sw29641]
  • line Prolog parser/theorem-prover for logical categorial grammar. In such logical categorial grammar syntax is universal ... grammar is reduced to logic: an expression is grammatical if and only if an associated ... logic of the calculus, logical categorial grammar is purely lexicalist and a particular language model...
  • AspCcgTk

  • Referenced in 1 article [sw09896]
  • AspCcgTk - the Answer Set Programming Combinatory Categorial Grammar Toolkit. AspCcgTk is a parser based ... Combinatory Categorial Grammar (CGC) developed using declarative programming paradigm -- Answer Set Programming. It implements wide ... generic tool for encoding different CCG category and rule sets in a declarative and straightforward...
  • CDG LAB

  • Referenced in 2 articles [sw14626]
  • grammars and treebanks. It uses the Categorial Dependency Grammars (CDG) as a formal model...
  • Coq

  • Referenced in 1502 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Grail

  • Referenced in 17 articles [sw00374]
  • Grail is a symbolic computation environment for finite...
  • Maple

  • Referenced in 4663 articles [sw00545]
  • The result of over 30 years of cutting...
  • Matlab

  • Referenced in 10365 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 483 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • PLUMP

  • Referenced in 14 articles [sw00718]
  • The joint CSCS-ETH/NEC collaboration in parallel...
  • SageMath

  • Referenced in 1248 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • ML

  • Referenced in 478 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • ALGOL 68

  • Referenced in 259 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...
  • HiLog

  • Referenced in 43 articles [sw01580]
  • HiLog: A foundation for higher-order logic programming...
  • ELAN

  • Referenced in 100 articles [sw02179]
  • The ELAN system provides an environment for specifying...
  • DACTL

  • Referenced in 28 articles [sw02871]
  • A generalized computational model based on graph rewriting...
  • PROGRES

  • Referenced in 68 articles [sw02905]
  • Integrity constraints in the multi-paradigm language PROGRES...
  • SPIN

  • Referenced in 666 articles [sw03455]
  • Spin is a popular open-source software tool...