• DLV-EX

  • Referenced in 16 articles [sw04642]
  • External sources of knowledge and value invention in logic programming The issue of value invention ... This work introduces a framework embedding value invention in a general context. The class ... identified, and the class of `value invention restricted’ programs is introduced. Value invention restricted programs ... made about the nature of invented values (while this latter is the case...
  • OPTPDE

  • Referenced in 9 articles [sw12599]
  • literature available, and without the need of inventing new test problems that may only slightly ... also collect numerical results to provide reference values for those working on similar problems...
  • MCCEFF

  • Referenced in 5 articles [sw06179]
  • with homogenization-oriented FEM code MCCEFF is invented to provide probabilistic analysis of the homogenized ... methodology is independent of the boundary value problem considered and may be useful for general...
  • Mathematica

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

  • Referenced in 149 articles [sw00961]
  • The software system Theorema provides a uniform logic...
  • CASL

  • Referenced in 174 articles [sw02235]
  • The specification language developed by CoFI is called...
  • Darwin

  • Referenced in 26 articles [sw04175]
  • Darwin is an automated theorem prover for first...
  • DLV

  • Referenced in 33 articles [sw04640]
  • DLV is a deductive database system, based on...
  • foaf

  • Referenced in 15 articles [sw04641]
  • The Friend of a Friend (FOAF) project is...
  • SQPlab

  • Referenced in 179 articles [sw05161]
  • The SQPlab (pronounce S-Q-P-lab) software...
  • LCF

  • Referenced in 158 articles [sw08360]
  • Edinburgh LCF. A mechanized logic of computation. From...
  • MGNet

  • Referenced in 4 articles [sw09670]
  • This is a repository for information related to...
  • ismev

  • Referenced in 407 articles [sw11209]
  • R package ismev: An Introduction to Statistical Modeling...
  • Datalog

  • Referenced in 292 articles [sw20023]
  • Datalog is a declarative logic programming language that...
  • PRMLT

  • Referenced in 1190 articles [sw42125]
  • PRMLT: Pattern Recognition and Machine Learning Toolbox. This...