Results 1 to 20 of 67
Sort by:

  • Grail

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

  • CatLog3
  • Referenced in 3 articles [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...

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

  • 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 1784 articles [sw00161]
  • Coq is a formal proof management system. It...

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

  • Maple
  • Referenced in 5040 articles [sw00545]
  • The result of over 30 years of cutting...

  • Mathematica
  • Referenced in 5883 articles [sw00554]
  • Almost any workflow involves computing results, and that...

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

  • MiniSat
  • Referenced in 531 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 1620 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...

  • ML

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

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

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

  • ELAN
  • Referenced in 108 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 70 articles [sw02905]
  • Integrity constraints in the multi-paradigm language PROGRES...