Results 1 to 17 of 17
Sort by:

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