Results 1 to 20 of 78
Sort by:

  • arenar
  • Referenced in 1 article [sw35218]
  • start the server with XAI (Explainable Artificial Intelligence) plots to be generated on-demand...

  • AI Explainability 360
  • Referenced in 2 articles [sw35201]
  • explainability 360: An extensible toolkit for understanding data and machine learning models. As artificial intelligence ... from multiple stakeholders for these algorithms to explain their outputs. To make matters more challenging...

  • HERBY
  • Referenced in 6 articles [sw21545]
  • most interesting area in Artificial Intelligence: automated theorem proving. In particular, it is about ... subject of the Chapter 1. Chapter 2 explains how to write a theorem...

  • STATEX
  • Referenced in 1 article [sw14063]
  • system, which is one section of Artificial Intelligence, has been discussed and developed in many ... necessarily enough functions for acquiring knowledge and explaining the process of inference. Moreover, we must...

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

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

  • R
  • Referenced in 8309 articles [sw00771]
  • R is a language and environment for statistical...

  • MPTP 0.2
  • Referenced in 44 articles [sw02589]
  • MPTP 0.2: Design, implementation, and initial experiments. This...

  • LSTM
  • Referenced in 24 articles [sw03373]
  • The human brain is a recurrent neural network...

  • UCI-ml
  • Referenced in 3041 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...

  • SPSS
  • Referenced in 624 articles [sw04269]
  • SPSS is a computer program used for survey...

  • CRAN
  • Referenced in 455 articles [sw04351]
  • R is ‘GNU S’, a freely available language...

  • alr3
  • Referenced in 270 articles [sw04474]
  • alr3: Data to accompany Applied Linear Regression 3rd...

  • kknn
  • Referenced in 15 articles [sw04563]
  • R package kknn: Weighted k-Nearest Neighbors , Weighted...

  • SAS
  • Referenced in 1463 articles [sw06377]
  • SAS (Statistical Analysis System) is an integrated system...

  • WEKA
  • Referenced in 287 articles [sw06435]
  • WEKA: Waikato Environment for Knowledge Analysis. WEKA is...

  • CP-logic
  • Referenced in 17 articles [sw06947]
  • CP-logic: A language of causal probabilistic events...

  • arulesViz
  • Referenced in 4 articles [sw07326]
  • arulesViz: Visualizing Association Rules and Frequent Itemsets Various...

  • arules
  • Referenced in 18 articles [sw07327]
  • R package arules: Mining Association Rules and Frequent...